Login / Signup
Automated Deduction in an Uncertain and Inconsistent Data Basis.
Béatrice Duval
Yves Kodratoff
Published in:
ECAI (1986)
Keyphrases
</>
automated deduction
theorem proving
theorem prover
inference rules
data sets
logic programming
deductive databases
databases
machine learning
data structure
evolutionary algorithm
model checking