APN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
AISC
2006
Springer
13 years 10 months ago
2006
Springer
AIMSA
2006
Springer
13 years 10 months ago
2006
Springer
AIME
2005
Springer
13 years 10 months ago
2005
Springer
In recent years, a few researchers have challenged past dogma and suggested methods (such as the IC algorithm) for inferring causal relationship among variables using steady state ...
AIME
2005
Springer
13 years 10 months ago
2005
Springer
AIME
2005
Springer
13 years 10 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between rep...
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...