Logics Modulo Theories: a logical framework for multi-agent systems.
Lito Perez CruzJohn Newsome CrossleyPublished in: Log. J. IGPL (2015)
Keyphrases
- logical framework
- coalition logic
- modulo theories
- answer set programming
- reasoning tasks
- inference rules
- belief revision
- epistemic logic
- normative systems
- logic programming
- stable model semantics
- higher order logic
- answer sets
- linear logic
- satisfiability modulo theories
- logic programs
- multi agent systems
- automated reasoning
- machine learning
- search space