274 search results - page 29 / 55 » Variants of the Event Calculus |
129
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
118
click to vote
EPK
2006
15 years 3 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
126
click to vote
AAAI
1996
15 years 3 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
150
click to vote
ESOP
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
111
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...