2272 search results - page 297 / 455 » A Calculus for |
154
Voted
DLOG
2010
15 years 2 months ago
2010
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...
143
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
149
click to vote
ICDCSW
2009
IEEE
15 years 1 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
123
Voted
FSS
2010
15 years 1 months ago
2010
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...
129
click to vote
IJIS
2010
15 years 1 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...