878 search results - page 84 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
193
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
155
click to vote
CEC
2007
IEEE
16 years 21 days ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
177
click to vote
LPAR
1999
Springer
15 years 10 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
171
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤...
166
click to vote
JAPLL
2007
15 years 6 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...