Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"qualitative spatial reasoning"”.
-
Qualitative Spatial Reasoning With Super-Intuitionistic Logics
… that may benefit from the automation of spatial reasoning, notably in geographic information systems and in graphics. Reasoning about topology is known to be intrinsically complex, and difficult to be dealt with by a machine. Qualitative formalisms for spatial reasoning, region-based …
-
Generating Relation Algebras for Qualitative Spatial Reasoning
… which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological …
-
Modal and Relevance Logics for Qualitative Spatial Reasoning
Qualitative Spatial Reasoning (QSR) is an alternative technique to represent spatial relations without using numbers. Regions and their relationships are used as qualitative terms. Mostly peer qualitative spatial reasonings has two aspect: (a) the first aspect is based on inclusion and it focuses …
-
Propositional and activity monitoring using qualitative spatial reasoning
… primitive semantic relationships known as qualitative spatial relations (QSRs). These primitives are then combined to estimate the state of the world in the same language used by most planners, planning domain definition language (PDDL) propositions. Both the primitives and propositions are …
-
Evaluation and Enhancement of Qualitative Spatial Reasoning in LLMs via Symbolic Fine-Tuning
… σε σύγχρονα Μοντέλα Μεγάλης Συλλογιστικής (Large Reasoning Models- LRMs). Παρά την εντυπωσιακή πρόοδο των Μεγάλων Γλωσσικών Μοντέλων (LLMs), η ικανότητά τους να εκτελούν τυπική συμβολική λογική σε αυστηρά γεωχωρικά πλαίσια παραμένει μια σημαντική πρόκληση. Η έρευνα επικεντρώνεται στο μοντέλο …
-
Domain-Independent Mode Estimation for Human-Robot Collaboration
… recognition, where the goal is to estimate qualitative, symbolic human-object interaction states in real time. Robust human activity recognition is essential for collaborative and assistive robotics, particularly in dynamic or safety-critical environments. The core solution presented in this …
-
Conceptual Requirement Validation for Architecture Design Systems
… represent architectural design at a low level of spatial abstraction. While this representation model allows CAAD programs to capture the precise spatial characteristics of a design, it means that CAAD programs lack the underlying computational apparatus necessary to reason about design at a …
-
VRCC-3D+: Qualitative spatial and temporal reasoning in 3 dimensions
<p>"Qualitative Spatial Reasoning (QSR) has varying applications in Geographic Information Systems (GIS), visual programming language semantics, and digital image analysis. Systems for spatial reasoning over a set of objects have evolved in both expressive power and complexity, but implementations …
-
Real-Time Event Centric Data Integration
… each task. We utilize ideas from semantic web, qualitative spatial reasoning, fuzzy set and structural alignment similarities in order to define local similarity measures. Then we address the global similarity by treating the problem as a relational learning problem and use machine learning to …