Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic.
Gerhard LakemeyerPublished in: Description Logics (2019)
Keyphrases
- situation calculus
- description logics
- agent programming
- reasoning tasks
- exptime complete
- action theories
- function symbols
- event calculus
- knowledge base
- initial state
- reasoning problems
- knowledge representation
- fluent calculus
- modal logic
- dl lite
- reasoning about actions
- logic programming language
- integrity constraints
- model checking
- model theoretic
- ontology languages
- knowledge representation and reasoning
- semantic web
- modal operators
- dynamic logic
- tight complexity bounds
- owl dl
- inference rules