504 search results - page 41 / 101 » Reasoning about local properties in modal logic |
136
click to vote
TPLP
2002
15 years 1 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
98
Voted
AIEDAM
1999
15 years 1 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
125
click to vote
AAAI
1996
15 years 3 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
119
Voted
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
113
Voted
JAPLL
2007
15 years 1 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...