A Behavioral Hierarchy of Strategy Logic.

Fabio Mogavero Aniello Murano Luigi Sauro

Published in: CLIMA (2014)

Keyphrases

machine learning
logic programming
databases
information retrieval
predicate logic
database
artificial intelligence
search engine
social networks
decision making
decision trees
case study
multi agent systems
selection strategy
classical logic