Reasoning about Conditions in STIT Logic.
Matthias ArmgardtEmiliano LoriniGiovanni SartorPublished in: DEON (2018)
Keyphrases
- logical framework
- multi agent systems
- coalition logic
- inference rules
- formal theory
- sufficient conditions
- reasoning tasks
- belief revision
- logic programming
- modal logic
- model checking
- causal reasoning
- knowledge base
- dynamic programming
- bayesian networks
- argumentation frameworks
- multi valued
- qualitative reasoning
- spatial reasoning
- propositional logic
- artificial intelligence