Logic Engines as Interactors.

Published in: ICLP (2008)

Keyphrases

modal logic
classical logic
defeasible logic
asynchronous circuits
logic programming
automated reasoning
digital circuits
deontic logic
proof theory
genetic algorithm
artificial intelligence
formal language
deductive reasoning