On the Restricted Equivalence Subclasses of Propositional Logic.
Andreas FlögelHans Kleine BüningTheodor LettmannPublished in: RAIRO Theor. Informatics Appl. (1993)
Keyphrases
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- lattice theory
- answer set semantics
- possibilistic logic
- satisfiability testing
- expressive power
- propositional variables
- horn logic
- machine learning
- davis putnam
- propositional satisfiability
- computational properties
- belief change
- artificial intelligence