An Empirical Study of the 4-valued Kripke-Kleene and 4-valued Well-Founded Semantics in Random Propositional Logic Programs.
Chris GiannellaJohn S. SchlipfPublished in: Ann. Math. Artif. Intell. (1999)
Keyphrases
- logic programs
- logic programming
- general logic programs
- valued logic
- propositional logic
- strong equivalence
- normal logic programs
- logic programs with negation
- fixpoint
- answer sets
- loop formulas
- answer set programming
- stable models
- answer set programs
- horn clauses
- default logic
- background knowledge
- multi valued
- propositional theories
- autoepistemic logic
- stable model semantics
- answer set semantics
- fixpoint semantics
- refinement operators
- computational properties
- desirable properties
- inductive logic programming
- minimal models
- first order logic
- model checking
- reasoning tasks
- partial deduction
- term rewriting systems
- model theoretic
- nonmonotonic reasoning
- finite state machines
- temporal logic
- data model