366 search results - page 17 / 74 » Reasoning about relational granulation in modal logics |
152
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
200
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
172
click to vote
ATAL
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...