A Well-Founded Semantics with Disjunction.
João F. L. AlcântaraCarlos Viegas DamásioLuís Moniz PereiraPublished in: ICLP (2005)
Keyphrases
- fixpoint semantics
- logic programs
- fixpoint
- semantics of logic programs
- logic programming
- deductive databases
- general logic programs
- normal logic programs
- defeasible logic
- model theoretic
- datalog programs
- stable models
- nonmonotonic reasoning
- evolutionary algorithm
- artificial intelligence
- knowledge representation and reasoning
- databases
- data complexity
- autoepistemic logic
- first order logic
- open world
- decision trees
- semantics for logic programs