First Page | Document Content | |
---|---|---|
Date: 2012-02-03 06:11:00Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula | A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczyAdd to Reading ListSource URL: www.ida.liu.seDownload Document from Source WebsiteFile Size: 175,20 KBShare Document on Facebook |