Orn Clause Logic 1992.

Wilfried Hodges

Published in: ALPUK (1992)

Keyphrases

horn clauses
logic programming
theorem prover
modal logic
propositional variables
artificial intelligence
deontic logic
search space
predicate logic
automated reasoning
asynchronous circuits
classical logic
databases
computational properties
digital circuits
database
computational complexity
neural network