Revisiting Explicit Negation in Answer Set Programming.
Felicidad AguadoPedro CabalarJorge FandinnoDavid PearceGilberto PérezConcepción VidalPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- answer set programming
- logic programming
- logic programs
- stable model semantics
- answer sets
- stable models
- answer set semantics
- constraint logic programming
- reasoning tasks
- causal theories
- deductive databases
- answer set programs
- nonmonotonic reasoning
- knowledge representation
- fixpoint
- haplotype inference
- programming language
- strong equivalence
- inductive logic programming
- default logic
- background knowledge
- disjunctive logic programming
- event calculus
- general purpose