3515 search results - page 122 / 703 » On the semantics of Strategy Logic |
237
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
192
click to vote
DAS
2004
Springer
16 years 16 days ago
2004
Springer
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
162
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
340
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
228
click to vote
TOSEM
2002
15 years 6 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...