Interoperating Logic Engines.

Paul Tarau Arun K. Majumdar

Published in: PADL (2009)

Keyphrases

classical logic
modal logic
automated reasoning
neural network
computational properties
defeasible logic
sound and complete axiomatization
data sets
computer vision
decision making
database systems
digital circuits
formal theory
epistemic logic
delay insensitive