Implicit proofs

Published in: Electron. Colloquium Comput. Complex. (2003)

Keyphrases

artificial intelligence
theorem proving
databases
multi agent
explicit knowledge
formal proof
data sets
knowledge base
optimal solution
computational complexity
decision procedures
formal proofs
equational theories