5243 search results - page 52 / 1049 » Reasoning About Strategies |
104
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
115
click to vote
LANMR
2004
15 years 1 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
101
click to vote
APAL
2010
15 years 19 days ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
117
Voted
ATAL
2011
Springer
14 years 14 days ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...