575 search results - page 21 / 115 » A Calculus for Interaction Nets |
123
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
134
click to vote
LOGCOM
2010
15 years 5 days ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
104
Voted
DEBS
2009
ACM
15 years 8 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
114
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...