DAGSTUHL 2007 | Sciweavers

15

DAGSTUHL
2007

100views Software Engineering» more DAGSTUHL 2007»

Measuring Ranks via the Complete Laws of Iterated Contraction

13 years 6 months ago

: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of t...

Wolfgang Spohn

claim paper

Read More »

11

click to vote

DAGSTUHL
2007

113views Software Engineering» more DAGSTUHL 2007»

07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents

13 years 6 months ago

Download drops.dagstuhl.de

Giacomo Bonanno, James P. Delgrande, Jér&oc...

claim paper

Read More »

11

click to vote

DAGSTUHL
2007

87views Software Engineering» more DAGSTUHL 2007»

Premise Independence in Judgment Aggregation

13 years 6 months ago

Download www.pigozzi.org

Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impos...

Gabriella Pigozzi, Leendert van der Torre

claim paper

Read More »

6

click to vote

DAGSTUHL
2007

76views Software Engineering» more DAGSTUHL 2007»

Common Foundations for belief revision, belief merging and voting

13 years 6 months ago

Download www.pigozzi.org

Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigu...

claim paper

Read More »

14

click to vote

DAGSTUHL
2007

110views Software Engineering» more DAGSTUHL 2007»

Two-Dimensional Belief Change

13 years 6 months ago

Download www.fil.lu.se

ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...

Hans Rott

claim paper

Read More »

17

click to vote

DAGSTUHL
2007

122views Software Engineering» more DAGSTUHL 2007»

Semantic structures for one-stage and iterated belief revision

13 years 6 months ago

Download drops.dagstuhl.de

Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...

Giacomo Bonanno

claim paper

Read More »

14

click to vote

DAGSTUHL
2007

99views Software Engineering» more DAGSTUHL 2007»

A logical formalism for the subjective approach in a multi-agent setting

13 years 6 months ago

Download drops.dagstuhl.de

Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...

Guillaume Aucher

claim paper

Read More »

11

click to vote

DAGSTUHL
2007

99views Software Engineering» more DAGSTUHL 2007»

Dynamic Interactions Between Goals and Beliefs

13 years 6 months ago

Download www.informatik.uni-leipzig.de

Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...

Steven Shapiro, Gerhard Brewka

claim paper

Read More »

6

click to vote

DAGSTUHL
2007

83views Software Engineering» more DAGSTUHL 2007»

Ranking Revision Reloaded

13 years 6 months ago

Download drops.dagstuhl.de

Emil Weydert

claim paper