1912 search results - page 73 / 383 » GOAL as a Planning Formalism |
137
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
171
click to vote
LOGCOM
2002
15 years 5 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
181
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
263
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
186
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...