<--- Back to Details
| 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 |
Add to Reading List |
| 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 |
Add to Reading List |
A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy