Login / Signup

Algorithms for generating arguments and counterarguments in propositional logic.

Vasiliki EfstathiouAnthony Hunter
Published in: Int. J. Approx. Reason. (2011)
Keyphrases
  • propositional logic
  • possibilistic logic
  • constraint satisfaction
  • satisfiability testing
  • orders of magnitude
  • propositional satisfiability
  • automated reasoning