Handling Polymorphism in Automated Deduction.

Jean-François Couchot Stéphane Lescuyer

Published in: CADE (2007)

Keyphrases

automated deduction
theorem proving
logic programming
inference rules
theorem prover
artificial intelligence
deductive databases
data mining
decision trees
high level
bayesian networks
general purpose
dimensionality reduction
integrity constraints