100 search results - page 5 / 20 » Belief and contextual acceptance |
ASP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
KR
1998
Springer
14 years 12 hour ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
AI
2007
Springer
13 years 8 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we present an analysis of different approaches relative to the correction of belief functions based on the results given by a confusion matrix. Three different mecha...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...