2022 search results - page 311 / 405 » Natural-Language Semantics for Associations |
166
click to vote
ARGMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
157
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
165
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
149
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
137
click to vote
FSTTCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...