3891 search results - page 252 / 779 » A logic for strategic reasoning |
212
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
185
click to vote
DLOG
2011
14 years 10 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
157
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
190
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
187
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...