Temporalised Description Logics for Monitoring Partially Observable Events.
Marcel LippmannPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- description logics
- partially observable
- decision problems
- state space
- markov decision processes
- dynamical systems
- knowledge base
- reinforcement learning
- knowledge representation
- knowledge representation and reasoning
- defeasible logic
- reasoning tasks
- dl lite
- infinite horizon
- reasoning systems
- computing least common subsumers
- belief state
- semantic web
- orders of magnitude
- utility function
- first order logic
- optimal policy
- learning algorithm
- heuristic search
- planning domains
- logic programming
- decision makers
- dynamic programming
- computational complexity