A Declarative Characterization of Disjunctive Paraconsistent Answer Sets.
João F. L. AlcântaraCarlos Viegas DamásioLuís Moniz PereiraPublished in: ECAI (2004)
Keyphrases
- answer sets
- logic programming
- logic programs
- knowledge representation
- answer set programming
- answer set semantics
- extended logic programs
- deductive databases
- reasoning tasks
- normal logic programs
- answer set programs
- nonmonotonic reasoning
- programming language
- counter examples
- high level
- default logic
- logic program updates
- truth maintenance systems
- classical logic
- fixpoint
- knowledge base
- expert systems
- database systems
- artificial intelligence