Weakest preconditions in fibrations.
Alejandro AguirreShin-ya KatsumataSatoshi KuraPublished in: Math. Struct. Comput. Sci. (2022)
Keyphrases
- explanation based learning
- inference rules
- situation calculus
- action models
- data sets
- information retrieval
- social networks
- decision making
- initial state
- data mining
- spatio temporal
- object recognition
- semi supervised
- multi agent
- reinforcement learning
- image sequences
- support vector
- data structure
- feature extraction
- partially observable
- image segmentation