3717 search results - page 10 / 744 » Representing Multiple Theories |
ER
2005
Springer
14 years 1 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
IJCAI
1993
13 years 9 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
TCS
2008
13 years 7 months ago
2008
This paper studies shapes (curves and surfaces) which can be described by (piecewise) polynomial support functions. The class of these shapes is closed under convolutions, offsett...
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...