A Tableaux Prover for Domain Minimization.

Published in: J. Autom. Reason. (1994)

Keyphrases

case study
theorem prover
knowledge base
domain specific
theorem proving
artificial intelligence
computer vision
website
objective function
expert systems
data sets
multi agent
integrity constraints
decision procedures