2 papers
cs.AI2020
Orthologics for Cones
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
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 unstruct…
cs.AI2016
A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Frank Dylla, Jae Hee Lee, Till Mossakowski +4
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR technique…