Login / Signup
An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra.
Eduardo E. Zurek
Mayra Zurbarán
Margarita Gamarra
Pedro M. Wightman
Published in:
Polibits (2015)
Keyphrases
</>
propositional logic
valued logic
first order logic
quantified boolean formulae
belief revision
propositional satisfiability
propositional formulas
horn logic
machine learning
data model
davis putnam
lattice theory
satisfiability testing
constraint satisfaction problems