3515 search results - page 262 / 703 » On the semantics of Strategy Logic |
255
click to vote
AGP
2010
IEEE
15 years 5 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
239
click to vote
DLOG
2009
15 years 5 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
197
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
187
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper briefly reviews the recent literature on consistent query answering, an approach to handle database inconsistency in a systematic and logical manner based on the notio...
231
Voted
FM
2003
Springer
16 years 22 days ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...