Sign in

Towards an Updatable Strategy Logic

Christophe CharetonJulien BrunelDavid 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