2722 search results - page 13 / 545 » The Model Evolution Calculus |
120
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
165
click to vote
FORTE
2009
15 years 21 days ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
126
click to vote
ENTCS
2008
15 years 3 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
116
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
122
Voted
PDSE
2000
15 years 4 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...