Autoepistemic Expansions with Incomplete Belief Introspection.
Jürgen KalinskiPublished in: Nonmonotonic and Inductive Logic (1990)
Keyphrases
- autoepistemic logic
- truth maintenance systems
- default logic
- nonmonotonic reasoning
- belief revision
- classical logic
- default theories
- modal logic
- logic programs
- nonmonotonic logics
- uncertain information
- belief functions
- logic programming
- missing values
- incomplete data
- default reasoning
- modal operators
- incomplete knowledge
- data sets
- imprecise probabilities
- expected utility
- noisy data
- missing data
- knowledge representation
- probabilistic model
- database systems
- neural network
- databases