Extending the event calculus for tracking epidemic spread.
Hervé ChaudetPublished in: Artif. Intell. Medicine (2006)
Keyphrases
- event calculus
- commonsense reasoning
- situation calculus
- reasoning about actions and change
- deductive databases
- temporal reasoning
- reasoning tasks
- domain specific knowledge
- partially ordered
- infectious disease
- transitive closure
- databases
- directed acyclic graph
- partial order
- action theories
- random variables
- artificial intelligence