-institutions and the deduction-detachment property.

George Voutsadakis

Published in: Math. Log. Q. (2005)

Keyphrases

global consistency
inference rules
theorem proving
databases
neural network
real time
knowledge base
expert systems
theorem prover