Login / Signup
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Philippe Besnard
Torsten Schaub
Hans Tompits
Stefan Woltran
Published in:
Paraconsistent Computational Logic (2002)
Keyphrases
</>
quantified boolean formulas
evolutionary algorithm
learning algorithm
knowledge base
lower bound
expert systems
propositional logic
reasoning tasks