3239 search results - page 152 / 648 » A Logical Process Calculus |
86
Voted
JLP
2002
15 years 15 days ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
105
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
82
Voted
AI
2005
Springer
15 years 22 days ago
2005
Springer
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
153
click to vote
TOCL
2012
13 years 3 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
136
Voted
AIML
2000
15 years 2 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...