Extended Graded Modalities in Strategy Logic.
Benjamin AminofVadim MalvoneAniello MuranoSasha RubinPublished in: SR (2016)
Keyphrases
- alternating time temporal logic
- derivation rules
- selection strategy
- data sets
- optimal strategy
- logical framework
- website
- similarity measure
- reinforcement learning
- search algorithm
- search strategy
- inference rules
- real time
- defeasible logic
- predicate logic
- epistemic logic
- genetic algorithm
- sound and complete axiomatization