A logic with revocable and refinable strategies.

Christophe Chareton Julien Brunel David Chemouil

Published in: Inf. Comput. (2015)

Keyphrases

learning algorithm
logic programming
modal logic
neural network
real world
machine learning
data mining
artificial intelligence
information systems
image processing
situation calculus
multi valued
logical framework