813 search results - page 107 / 163 » Correctness Properties for Multiagent Systems |
136
Voted
APBC
2003
15 years 5 months ago
2003
Predicting the three dimensional structure of proteins is a difficult task. In the last years several approaches have been proposed for performing this task taking into account d...
116
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
132
Voted
JAPLL
2010
15 years 2 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
108
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
127
Voted
GI
2010
Springer
15 years 1 months ago
2010
Springer
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...