NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
Christian AngerKathrin KonczakThomas LinkePublished in: LPNMR (2001)
Keyphrases
- answer set semantics
- logic programs
- answer sets
- logic programming
- answer set programming
- propositional logic
- extended logic programs
- abductive logic programming
- normal logic programs
- ontology languages
- fixpoint
- strong equivalence
- dl programs
- stable models
- propositional theories
- machine learning
- programming language
- nonmonotonic logics
- semi automatic
- natural language