Belief Revision in Non-Classical Logics

Preface.- Introduction.- Consequence.- Logics.- Classical Belief Revision.- AGM Contraction in Non-Classical Logics.- AGM Revision in Logics without Negation.- Base Revision in Logics without Negation.- Algorithms for Belief Bases.- Conclusion.- Index.

[1]  Renata Wassermann.  Resource Bounded Belief Revision , 1999 .

[2]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[3]  Gabriele Kern-Isberner,et al.  On the Logic of Theory Change: Relations Between Incision and Selection Functions , 2006, ECAI.

[4]  Sven Ove Hansson,et al.  Semi-Revision (invited paper) , 1997, J. Appl. Non Class. Logics.

[5]  Renata Wassermann,et al.  First Steps Towards Revising Ontologies , 2006, WONTO.

[6]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[7]  Grigoris Antoniou,et al.  On Generalizing the AGM Postulates , 2006, STAIRS.

[8]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[9]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[10]  André Fuhrmann.  An Essay on Contraction , 1996 .

[11]  Renata Wassermann,et al.  Base Revision for Ontology Debugging , 2009, J. Log. Comput..

[12]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .

[13]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[14]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[15]  G. Harman,et al.  Change in View: Principles of Reasoning. , 1988 .

[16]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[17]  Renata Wassermann.  An Algorithm for Belief Revision , 2000, KR.

[18]  Sven Ove Hansson,et al.  Belief contraction without recovery , 1991, Stud Logica.

[19]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..

[20]  Reinhard Niederée.  Multiple contraction. A further case against Gärdenfors' principle of recovery , 1989, The Logic of Theory Change.

[21]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[22]  Balázs Szörényi,et al.  Horn Complements: Towards Horn-to-Horn Belief Revision , 2008, AAAI.

[23]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[24]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[25]  Renata Wassermann,et al.  More About AGM Revision in Description Logics , 2011 .

[26]  Grigoris Antoniou,et al.  On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.

[27]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[28]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[29]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[30]  Isaac Levi,et al.  The Fixation of Belief and its Undoing: Changing Beliefs through Inquiry , 1991 .