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