A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.
Marc DeneckerKristof Van BelleghemGuy DuchateletFrank PiessensDanny De SchreyePublished in: JICSLP (1996)
Keyphrases
- event calculus
- knowledge representation
- protocol specification
- commonsense reasoning
- reasoning tasks
- situation calculus
- deductive databases
- temporal reasoning
- partially ordered
- logic programming
- automated reasoning
- communication protocols
- domain specific knowledge
- description logics
- artificial intelligence
- knowledge base
- answer set programming
- knowledge based systems
- formal specification
- probabilistic reasoning
- transitive closure
- formal methods
- knowledge acquisition
- directed acyclic graph
- temporal information
- domain independent
- expert systems
- database