8228 search results - page 171 / 1646 » Structural Logical Relations |
135
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
116
Voted
GEOS
2005
Springer
15 years 8 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
120
Voted
FTRTFT
1994
Springer
15 years 6 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
133
Voted
SIS
2007
15 years 4 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
COLING
1992
15 years 3 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...