Automated Reasoning to Infer all Minimal Keys.

Pablo Cordero Manuel Enciso Angel Mora

Published in: IJCAI (2013)

Keyphrases

neural network
automated reasoning
reasoning systems
knowledge representation
probabilistic reasoning
theorem prover
theorem proving
reasoning tasks
prime implicants
decision procedures
automated verification
knowledge representation and reasoning
fuzzy logic
distributed systems
special case
logic programming