4290 search results - page 127 / 858 » Formal Approaches to Teamwork |
125
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
198
click to vote
AO
2005
15 years 6 months ago
2005
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
153
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
186
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
168
click to vote
ARESEC
2011
14 years 6 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...