Skolem Functions and Equality in Automated Deduction.

Published in: AAAI (1990)

Keyphrases

automated deduction
theorem proving
first order logic
theorem prover
inference rules
deductive databases
logic programming
multiscale
case study
information systems
artificial intelligence
learning algorithm
database
decision trees
neural network
data sets
function symbols
real time