972 search results - page 88 / 195 » Reasoning with Conditional Time-Intervals |
107
click to vote
AAAI
1993
15 years 4 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
122
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
140
click to vote
CSE
2009
IEEE
15 years 20 days ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
128
click to vote
PODC
1999
ACM
15 years 7 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
121
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...