Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics.
Christoph BeierlePublished in: SAC (2019)
Keyphrases
- normal form
- conditional logic
- knowledge base
- belief revision
- nonmonotonic reasoning
- default reasoning
- modal logic
- knowledge representation and reasoning
- prime implicates
- higher order logic
- description logics
- logic programming
- database design
- relational databases
- functional dependencies
- nonmonotonic inference
- nested relations
- data dependencies
- knowledge representation
- formal definitions
- propositional logic
- belief change
- higher order
- expert systems
- relational database theory
- temporal logic
- default logic
- relational model
- artificial intelligence
- machine learning
- integrity constraints
- user defined
- case study