5198 search results - page 382 / 1040 » A Logic of Agent Programs |
168
Voted
ACTA
1998
15 years 6 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
180
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
162
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
185
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
203
click to vote
CCGRID
2003
IEEE
16 years 8 hour ago
2003
IEEE
Peer-to-Peer (p2p), as an emerging technology, is exerting huge influence on various application scenarios. Meanwhile, agents, assisting applications in traditional paradigm with...