Qualitative Simulation with Answer Set Programming.
Timothy WileyClaude SammutIvan BratkoPublished in: ECAI (2014)
Keyphrases
- qualitative simulation
- answer set programming
- qualitative reasoning
- logic programming
- logic programs
- dynamical systems
- answer sets
- constraint logic programming
- causal theories
- answer set programs
- qualitative description
- stable model semantics
- inference process
- dynamic systems
- qualitative models
- stable models
- modulo theories
- causal reasoning
- haplotype inference
- conceptual design
- knowledge base
- databases