Action Synthesis for Branching Time Logic: Theory and Applications.
Michal KnapikArtur MeskiWojciech PenczekPublished in: ACSD (2014)
Keyphrases
- formal theory
- action theories
- epistemic logic
- logic synthesis
- theoretical framework
- temporal logic
- computer algebra
- proof theory
- deductive reasoning
- probability theory
- set theory
- transition systems
- causal reasoning
- classical logic
- situation calculus
- temporal reasoning
- mathematical theory
- knowledge representation
- logic programming