On Combining 01X-Logic and QBF.

Marc Herbstritt Bernd Becker

Published in: EUROCAST (2007)

Keyphrases

logic programming
modal logic
classical logic
artificial intelligence
search algorithm
combining multiple
logical framework
defeasible logic
epistemic logic
proof theory