Conjunctive Normal Forms in Three-Valued Propositional Logics.
Andreas PolymérisPublished in: J. Log. Comput. (1994)
Keyphrases
- normal form
- nonmonotonic logics
- prime implicates
- modal logic
- default logic
- propositional logic
- valued semantics
- inference rules
- disjunctive normal form
- first order logic
- multi valued
- propositional formulas
- expressive power
- relational databases
- classical first order logic
- database design
- knowledge compilation
- functional dependencies
- logic programming
- temporal logic
- nested relations
- nonmonotonic reasoning
- default reasoning
- propositional variables
- default theories
- coalition logic
- functional and multivalued dependencies
- belief change
- linearly ordered
- database theory
- horn clauses
- relational algebra
- belief revision
- databases
- formal definitions
- data dependencies
- desirable properties
- computational properties
- answer set programming
- information content
- relational database theory
- knowledge base