A Semantics for Open Normal Defaults via a Modified Preferential Approach.
Franz BaaderKarl SchlechtaPublished in: ECSQARU (1993)
Keyphrases
- default reasoning
- default theories
- default rules
- nonmonotonic logics
- logic programming
- formal semantics
- default logic
- expressive power
- modal operators
- autoepistemic logic
- open systems
- open world
- possibility theory
- nonmonotonic reasoning
- desirable properties
- belief revision
- owl ontologies
- logic programs
- operational semantics
- transformation rules
- knowledge representation
- model theoretic
- relational databases
- high level
- search engine
- data mining
- data sets