2272 search results - page 221 / 455 » A Calculus for |
147
click to vote
KI
2007
Springer
15 years 12 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
150
click to vote
LFCS
2007
Springer
15 years 12 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
122
click to vote
SEMWEB
2007
Springer
15 years 12 months ago
2007
Springer
The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between diffe...
130
click to vote
TGC
2007
Springer
15 years 12 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
135
click to vote
TGC
2007
Springer
15 years 12 months ago
2007
Springer
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...