Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.
Lunjin LuPeter GreenfieldPublished in: ICCL (1992)
Keyphrases
- logic programs
- fixpoint semantics
- procedural semantics
- logic programming
- fixpoint
- background knowledge
- stable models
- answer sets
- answer set programming
- deductive databases
- model theoretic
- declarative semantics
- general logic programs
- normal logic programs
- inductive logic programming
- high level
- autoepistemic logic
- strong equivalence
- horn clauses
- datalog programs
- logic programming language
- programming language