Login / Signup
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach.
Vasiliki Efstathiou
Anthony Hunter
Published in:
FoIKS (2008)
Keyphrases
</>
propositional logic
orders of magnitude
computational complexity
propositional satisfiability
first order logic
lattice theory
expert systems
combinatorial optimization
possibilistic logic
satisfiability testing