Infinitary Action Logic with Exponentiation.
Stepan L. KuznetsovStanislav O. SperanskiPublished in: CoRR (2020)
Keyphrases
- reasoning about actions
- transition systems
- modal logic
- multi valued
- predicate logic
- classical logic
- logic programming
- delay insensitive
- defeasible logic
- computational properties
- automated reasoning
- database
- action selection
- genetic algorithm
- temporal logic
- nonmonotonic logics
- machine learning
- action theories
- data sets
- proof theory
- causal knowledge
- spatio temporal
- real time