tascpl: TAS Solver for Classical Propositional Logic.
Manuel Ojeda-AciegoAgustín ValverdePublished in: JELIA (2004)
Keyphrases
- propositional logic
- horn logic
- belief revision
- first order logic
- valued logic
- quantified boolean formulae
- lattice theory
- possibilistic logic
- proof procedure
- propositional satisfiability
- belief change
- quantified boolean formulas
- knowledge base
- artificial intelligence
- propositional formulas
- machine learning
- solving hard
- search algorithm