Negation as a Resource: a Novel View on Answer Set Semantics.
Stefania CostantiniAndrea FormisanoPublished in: Fundam. Informaticae (2015)
Keyphrases
- answer set semantics
- logic programs
- answer sets
- logic programming
- extended logic programs
- answer set programming
- normal logic programs
- ontology languages
- propositional logic
- semantics of logic programs
- abductive logic programming
- fixpoint
- stable models
- semantic web
- deductive databases
- incomplete information
- strong equivalence
- nonmonotonic reasoning
- stable model semantics
- conflict resolution
- horn clauses
- knowledge base
- reasoning tasks
- machine learning
- default logic
- data types
- orders of magnitude
- semantics for logic programs
- programming language