The Logic of Theory Change - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

3540535675

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the modal logic of theory change

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018425 ◽

2005 ◽

pp. 259-281 ◽

Author(s):

André Fuhrmann

Keyword(s):

Modal Logic ◽

Theory Change ◽

Logic Of Theory Change

Download Full-text

Some results on theory revision

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018417 ◽

2005 ◽

pp. 72-92

Author(s):

Karl Schlechta

Keyword(s):

Theory Revision

Download Full-text

Belief revision in a framework for default reasoning

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018422 ◽

2005 ◽

pp. 206-222 ◽

Author(s):

Gerhard Brewka

Keyword(s):

Belief Revision ◽

Default Reasoning

Download Full-text

Discourse representation theory and belief dynamics

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018426 ◽

2005 ◽

pp. 282-321 ◽

Author(s):

Nicholas Asher

Keyword(s):

Representation Theory ◽

Discourse Representation ◽

Discourse Representation Theory ◽

Belief Dynamics

Download Full-text

Epistemic entrenchment with incomparabilities and relational belief revision

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018418 ◽

2005 ◽

pp. 93-126 ◽

Author(s):

Sten Lindström ◽

Wlodzimierz Rabinowicz

Keyword(s):

Belief Revision ◽

Epistemic Entrenchment ◽

Relational Belief

Download Full-text

The negative Ramsey test: Another triviality result

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018419 ◽

2005 ◽

pp. 127-134 ◽

Author(s):

Peter Gärdenfors ◽

Sten Lindström ◽

Michael Morreau ◽

Wlodzimierz Rabinowicz

Keyword(s):

Download Full-text

Propositional logic based on the dynamics of disbelief

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018424 ◽

2005 ◽

pp. 241-258

Author(s):

David Pearce ◽

Wolfgang Rautenberg

Keyword(s):

Propositional Logic

Download Full-text

Preferential cumulative reasoning and nonmonotonic semantic nets

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018423 ◽

2005 ◽

pp. 223-240

Author(s):

Klaus U. Schulz

Download Full-text

Relations between the logic of theory change and nonmonotonic logic

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018421 ◽

2005 ◽

pp. 183-205 ◽

Author(s):

David Makinson ◽

Peter Gärdenfors

Keyword(s):

Theory Change ◽

Nonmonotonic Logic ◽

Logic Of Theory Change

Download Full-text

Multiple contraction a further case against gärdenfors' principle of recovery

The Logic of Theory Change - Lecture Notes in Computer Science ◽

10.1007/bfb0018427 ◽

2005 ◽

pp. 322-334 ◽

Author(s):

Reinhard Niederée

Keyword(s):

Multiple Contraction

Download Full-text