913 search results - page 30 / 183 » Formal Agent Development: Framework to System |
127
click to vote
ECEASST
2006
15 years 1 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
112
click to vote
ICPADS
1996
IEEE
15 years 6 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
AAAI
2000
15 years 3 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
109
click to vote
SAFECOMP
1999
Springer
15 years 6 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
116
click to vote
MAGS
2008
15 years 1 months ago
2008
Embodied Conversational Agents (ECAs) are computer generated life-like characters that interact with human users in face-to-face conversations. To achieve natural multi-modal conve...