Sciweavers

286 search results - page 1 / 58
» Reasoning about multiple related abstractions with MultiStar
Sort
View
OOPSLA
2010
Springer
13 years 2 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
MIDDLEWARE
2007
Springer
13 years 9 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
ECOOP
2007
Springer
13 years 9 months ago
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
Stephanie Balzer, Thomas R. Gross, Patrick Eugster
TABLEAUX
2009
Springer
13 years 10 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...
COSIT
1999
Springer
148views GIS» more  COSIT 1999»
13 years 8 months ago
Representation and Reasoning about Shapes: Cognitive and Computational Studies in Visual Reasoning in Design
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
John S. Gero