On the Relation between Weak Completion Semantics and Answer Set Semantics.
Emmanuelle-Anna Dietz SaldanhaJorge FandinnoPublished in: CoRR (2019)
Keyphrases
- answer set semantics
- answer sets
- logic programs
- logic programming
- loop formulas
- answer set programming
- normal logic programs
- extended logic programs
- strong equivalence
- semantics of logic programs
- propositional logic
- description logic programs
- stable models
- ontology languages
- stable model semantics
- reasoning tasks
- dl programs
- knowledge representation
- fixpoint
- computational properties
- semantic web
- nonmonotonic reasoning
- programming language
- propositional theories
- formal semantics
- machine learning
- deductive databases
- data management
- description logics
- information systems
- artificial intelligence