Using simplified event calculus in digital investigation.
Svein Yngvar WillassenPublished in: SAC (2008)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- partially ordered
- reasoning tasks
- commonsense reasoning
- domain specific knowledge
- temporal reasoning
- deductive databases
- transitive closure
- general theory
- domain knowledge
- databases
- query evaluation
- post processing
- logic programming
- indirect effects
- high level