Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads.
Hugo PaquetPhilip SavillePublished in: LICS (2024)
Keyphrases
- formal semantics
- logic programming
- reinforcement learning
- special case
- operational semantics
- semantic information
- intended meaning
- real world
- hierarchical reinforcement learning
- proof theory
- mutual exclusion
- active rules
- logical framework
- logic programs
- description logics
- programming language
- website
- genetic algorithm