Decision Problems for Linear Logic with Least and Greatest Fixed Points.
Anupam DasAbhishek DeAlexis SaurinPublished in: FSCD (2022)
Keyphrases
- linear logic
- decision problems
- fixed point
- influence diagrams
- computational complexity
- sequent calculus
- optimal policy
- sufficient conditions
- utility function
- dynamical systems
- np hard
- logic programming
- decision processes
- belief propagation
- logical framework
- partially observable
- temporal difference learning
- special case
- default logic
- machine learning
- approximate value iteration