Pages that link to "Item:Q1931353"
From MaRDI portal
The following pages link to Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353):
Displaying 8 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Formal Modelling for Cooking Assistance (Q5256360) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
