3515 search results - page 285 / 703 » On the semantics of Strategy Logic |
447
click to vote
FSKD
2011
Springer
14 years 7 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
229
click to vote
DLOG
1998
15 years 9 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
204
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
206
click to vote
LORI
2009
Springer
16 years 4 days ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
235
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....