Stability, Supportedness, Minimality and Kleene Answer Set Programs.
Patrick DohertyAndrzej SzalasPublished in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Keyphrases
- answer set programs
- answer set semantics
- answer sets
- normal logic programs
- logic programs
- stable models
- propositional logic
- answer set programming
- dl programs
- logic programming
- fixpoint
- stable model semantics
- regular expressions
- belief change
- belief revision
- general purpose
- first order logic
- knowledge base
- update operators
- nonmonotonic logics
- reasoning tasks
- machine learning
- integrity constraints
- deductive databases
- partial order