Towards an Updatable Strategy Logic

Christophe Chareton Julien Brunel David Chemouil

Published in: SR (2013)

Keyphrases

active rules
neural network
logic programming
multi valued
computational properties
learning algorithm
website
database systems
data structure
search space
modal logic
classical logic
proof theory