Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic

Federico Aschieri Margherita Zorzi

Published in: CL&C (2012)

Keyphrases

first order logic
user interaction
interactive learning
genetic algorithm
databases
information retrieval
bayesian networks
multi agent
artificial neural networks
computer graphics
basis functions
user friendly
graphical interface
arithmetic operations