Pages that link to "Item:Q1863751"
From MaRDI portal
The following pages link to ML systems: A proof theory for contexts (Q1863751):
Displaying 7 items.
- Comparing formal theories of context in AI (Q814585) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Distributed first order logic (Q1686336) (← links)
- Context-dependent abduction and relevance (Q2499286) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- (Q3459922) (← links)
- Proof-producing synthesis of ML from higher-order logic (Q5168887) (← links)