A Domain Reasoner for Propositional Logic.
Josje LodderBastiaan HeerenJohan JeuringPublished in: J. Univers. Comput. Sci. (2016)
Keyphrases
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- possibilistic logic
- lattice theory
- knowledge base
- domain independent
- propositional satisfiability
- horn logic
- satisfiability testing
- davis putnam
- proof procedure
- propositional formulas
- belief change
- nonmonotonic reasoning
- relational databases