Searching for "A logic of categorization." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A formal approach to ontology-based semantic match of skills descriptions
- …, for a given skill request best match, also if not identical, and vice versa. In particular we logically…
- Cited by 10 (5 self) – Add To MetaCart
-
A Derivation System for Uniqueness Typing
- … more closely to affine logic, see [7]. A logical/categorical proposal for a related combination appears…
- Cited by 4 (1 self) – Add To MetaCart
-
Uniqueness Typing for Functional Languages with Graph Rewriting Semantics
- … more closely to affine logic, see Blass (1992). A logical/categorical proposal for a related…
- Cited by 28 (3 self) – Add To MetaCart
-
Study of a Man Diagnosed with Early Onset Alzheimer’s Disease
- … one “contextual milieu” to another suggest a fluidity of context, and yet, based on a logical…
- Cited by 6 (0 self) – Add To MetaCart
-
Jim Funk US WEST Clint Hamilton (Chair) Bellcore Professional Services
- … by the subteam to provide a logical categorization of potential AIN reliability issues. The areas were as follows…
- Add To MetaCart
-
A Categorical Account of Two-Level Languages
- … variations of) two-level languages in terms of modal and temporal logic. In this paper we give a categorical…
- Cited by 20 (5 self) – Add To MetaCart
Showing 1 through 6.
