An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.
Johannes OetschJörg PührerHans TompitsPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- answer set semantics
- answer sets
- logic programs
- stable model semantics
- answer set programming
- logic programming
- normal logic programs
- strong equivalence
- stable models
- anti monotone
- propositional theories
- loop formulas
- fixpoint
- answer set programs
- abductive logic programming
- reasoning tasks
- high level
- dl programs
- knowledge base
- propositional logic
- nonmonotonic reasoning
- deductive databases
- ontology languages
- semantics of logic programs
- databases
- description logic programs
- knowledge representation
- data structure
- orders of magnitude
- object oriented
- artificial intelligence