Qualitative Simulation in Parallel Logic Programming.
Hayato OhwadaFumio MizoguchiPublished in: SLP (1987)
Keyphrases
- logic programming
- qualitative simulation
- qualitative reasoning
- logic programs
- dynamical systems
- logic programming language
- programming language
- deductive databases
- nonmonotonic reasoning
- answer set programming
- answer sets
- inference process
- knowledge representation
- computational logic
- default logic
- stable models
- inductive logic programming
- causal reasoning
- constraint logic programming
- knowledge base
- dynamic systems
- qualitative models
- reasoning about actions
- disjunctive logic programming
- inference rules
- query language