504 search results - page 11 / 101 » Reasoning about local properties in modal logic |
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
103
click to vote
IJCAI
1997
15 years 1 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
107
click to vote
DLOG
2009
14 years 9 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...
109
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...