A Unification-Based Approach to Quantifier Scoping.

Dale Gerdemann Erhard W. Hinrichs

Published in: ECAI (1990)

Keyphrases

real world
data sets
artificial intelligence
neural network
machine learning
three dimensional
high level
cooperative
pattern recognition
higher order
rough sets
theorem prover
theorem proving
automated theorem proving