Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models.
Zoran MajkicPublished in: WLP (2006)
Keyphrases
- logic programming
- logic programs
- fixpoint semantics
- deductive databases
- declarative semantics
- stable models
- fixpoint
- answer set programming
- nonmonotonic reasoning
- semantics for logic programs
- answer sets
- inductive logic programming
- knowledge representation and reasoning
- logic programming language
- knowledge representation
- default logic
- background knowledge
- knowledge base
- model theoretic
- programming language
- general purpose
- truth values
- normal logic programs
- automated reasoning
- horn clauses
- software engineering