Search Results for author:
Found 3 papers, 0 papers with code
Orthologics for Cones
In applications that use knowledge representation (KR) techniques, in particular those that combine data-driven and logic methods, the domain of objects is not an abstract unstructured domain, but it exhibits a dedicated, deep structure of geometric objects.
A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains.
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
