A Note on Assumptions about Skolem Functions.

Hans Jürgen Ohlbach Christoph Weidenbach

Published in: J. Autom. Reason. (1995)

Keyphrases

first order logic
e learning
multi agent
cooperative
artificial neural networks
mathematical functions
database
data sets
artificial intelligence
social networks
image processing
computational complexity
user interface
statistical inference