575 search results - page 21 / 115 » A Calculus for Interaction Nets |
HUC
2004
Springer
14 years 2 months ago
2004
Springer
AMAI
2004
Springer
13 years 8 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. ...
LOGCOM
2010
13 years 7 months 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 ...
DEBS
2009
ACM
14 years 3 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...
BPM
2006
Springer
13 years 10 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 ...