A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas.
E. LastresR. MorenoPublished in: APPIA-GULP-PRODE (1998)
Keyphrases
- semantics for logic programs
- horn clauses
- fixpoint
- logic programs
- answer sets
- logic programming
- stable models
- first order logic
- open world
- normal logic programs
- propositional logic
- inference rules
- model theoretic
- answer set programming
- database
- inductive logic programming
- incomplete information
- artificial intelligence