Search results

...ult logic]] in [[Knowledge representation formalisms and methods]], [[Horn clause]]s in [[logic programming]], and [[description logic]].

...etation of the [[Establishment Clause of the First Amendment|Establishment Clause]]. In an 1802 letter to the Danbury, Baptist Association, he wrote: *Horn, James P. P. Jan Ellen Lewis, and Peter S. Onuf, eds. ''The Revolution of 1