Cover Image

Belief Change /

Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more g...

Full description

Bibliographic Details
Main Author:	Dubois, Didier
Corporate Author:	SpringerLink (Online service)
Other Authors:	Prade, Henri M.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1998.
Series:	Handbook of defeasible reasoning and uncertainty management systems ; 3.
Subjects:	Philosophy (General) Logic. Artificial intelligence. Logic, Symbolic and mathematical. Distribution (Probability theory) Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Bridging the Gap: Philosophy, Mathematics, and Physics : Lectures on the Foundations of Science /
by: Corsi, Giovanna
Published: (1993)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

The Foundational Debate : Complexity and Constructivity in Mathematics and Physics /
by: DePauli-Schimanovich, Werner
Published: (1995)

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)

Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)

Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /
by: Bibel, Wolfgang
Published: (1998)

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /
by: Murawski, Roman
Published: (1999)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

On Science, Inference, Information and Decision-Making : Selected Essays in the Philosophy of Science /
by: Szaniawski, Klemens
Published: (1998)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)