1699 search results - page 15 / 340 » A timed semantics of Orc |
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
JOLLI
2002
13 years 8 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
SEMWEB
2010
Springer
13 years 6 months ago
2010
Springer
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...
DALT
2009
Springer
14 years 5 days ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...