Extending SROIQ with Constraint Networks and Grounded Circumscription.
Arjun BhardwajPublished in: CoRR (2015)
Keyphrases
- constraint networks
- description logics
- expressive description logics
- temporal reasoning
- tree decomposition
- constraint satisfaction problems
- constraint satisfaction
- path consistency
- knowledge base
- arc consistency
- default logic
- constraint programming
- knowledge representation
- logic programs
- reasoning tasks
- situation calculus
- logic programming
- computational properties
- answer sets
- theorem prover
- temporal constraints
- dynamic programming
- reasoning problems
- machine learning