2035 search results - page 115 / 407 » On the complexity of stratified logics |
190
click to vote
JAIR
2010
15 years 4 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
166
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
162
click to vote
LPAR
2007
Springer
16 years 14 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
166
click to vote
LORI
2009
Springer
15 years 11 months 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...
174
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...