Action Synthesis for Branching Time Logic: Theory and Applications.
Michal KnapikArtur MeskiWojciech PenczekPublished in: ACM Trans. Embed. Comput. Syst. (2015)
Keyphrases
- epistemic logic
- formal theory
- proof theory
- modal logic
- logical framework
- set theory
- causal knowledge
- computer algebra
- boolean algebra
- probability theory
- proof theoretic
- deductive reasoning
- commonsense reasoning
- action theories
- mathematical theory
- reasoning about actions
- general theory
- temporal reasoning
- temporal logic
- theoretical framework
- logic programming
- computational properties
- speech acts
- model checking
- asynchronous circuits
- algebraic structure
- computational model
- multi agent systems
- multi agent
- neural network
- functional programs
- data sets