4595 search results - page 63 / 919 » Reasoning about Plans |
136
click to vote
CAISE
2010
Springer
15 years 5 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...
143
click to vote
AAAI
2000
15 years 5 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...
135
click to vote
APAL
2010
15 years 4 months 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...
155
click to vote
ATAL
2011
Springer
14 years 4 months 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...
125
click to vote
SBIA
2004
Springer
15 years 10 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...