Pages that link to "Item:Q1583487"
From MaRDI portal
The following pages link to An application of lattice theory to knowledge representation (Q1583487):
Displaying 9 items.
- Fixed points without completeness (Q674192) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Concept lattices and conceptual knowledge systems (Q1202663) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- A dimension-related metric on the lattice of knowledge spaces (Q1961775) (← links)
- Distributive Lattice-Structured Ontologies (Q2888493) (← links)
- (Q4706869) (← links)
- Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs (Q5748179) (← links)