Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.
Franz BaaderMarcel LippmannHongkai LiuPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- description logics
- causal relationships
- knowledge representation formalisms
- reasoning tasks
- computational properties
- knowledge representation
- action theories
- reasoning about actions
- reasoning problems
- situation calculus
- knowledge base
- knowledge representation systems
- logic programming
- reasoning services
- model theoretic
- bayesian networks
- data mining
- causal models
- dl lite
- influence diagrams
- semantic web
- temporal reasoning
- computing least common subsumers
- answer set programming
- concept descriptions
- fuzzy description logics
- representing knowledge
- real world
- classical logic
- nonmonotonic reasoning
- ontology languages
- dynamic programming