Resource Separation in Dynamic Logic of Propositional Assignments.
Joseph BoudouAndreas HerzigNicolas TroquardPublished in: DaLí (2019)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- modal logic
- propositional logic
- reasoning about actions
- resource constraints
- resource allocation
- information resources
- machine learning
- agent programming
- propositional dynamic logic
- resource management
- imperative programs
- multi valued
- modal operators
- business processes
- expert systems