Non-distributive description logic
From MaRDI portal
Publication:6541145
DOI10.1007/978-3-031-43513-3_4MaRDI QIDQ6541145
Alessandra Palmigiano, Ineke van der Berg, Andrea de Domenico, Giuseppe Greco, Krishna Manoorkar, [[Person:5884969|Author name not available (Why is that?)]]
Publication date: 17 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic characterization of rational closure: from propositional logic to description logics
- Algorithmic correspondence and canonicity for non-distributive logics
- Language-theoretic and finite relation models for the (full) Lambek calculus
- Categories: How I Learned to Stop Worrying and Love Two Sorts
- An Introduction to Description Logic
- Unified correspondence as a proof-theoretic tool
- Constructive Description Logics Hybrid-Style
- Non-distributive logics: from semantics to meaning
- Fuzzy Description Logics – A Survey
- A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
- Concept Lattices
- Rough concepts
- Labelled calculi for the logics of rough concepts
This page was built for publication: Non-distributive description logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541145)
