A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.
Marcello BalducciniPublished in: Correct Reasoning (2012)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- function symbols
- constraint logic programming
- reasoning tasks
- stable model semantics
- causal theories
- answer set programs
- background knowledge
- stable models
- inductive logic programming
- haplotype inference
- nonmonotonic reasoning
- fixpoint
- qualitative spatial and temporal reasoning
- deductive databases
- update semantics
- first order logic
- knowledge representation
- knowledge base