A Transformation of Propositional Prolog Programs into Classical Logic.
Robert F. StärkPublished in: LPNMR (1995)
Keyphrases
- classical logic
- prolog programs
- logic programs
- logic programming
- default logic
- strong equivalence
- autoepistemic logic
- general logic programs
- answer set programming
- horn clauses
- propositional logic
- valued logic
- modal logic
- answer sets
- possibilistic logic
- fixpoint
- default theories
- stable models
- nonmonotonic reasoning
- first order logic
- intuitionistic logic
- computer science and artificial intelligence
- model theoretic
- probabilistic logic
- object oriented