Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

Publisher Summary The study of the process of belief revision, which gave rise to an exciting
research area with the same name, can be traced back to the early 1980s. The framework …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Change, Choice and Inference develops logical theories that are necessary both for the
understanding of adaptable human reasoning and for the design of intelligent systems. The …

Orthodoxy has it that counterfactuals cannot be treated as strict conditionals. But there is a
loophole: if the strictness is a function of context then maybe they can be so treated. I argue …

Coherentism is a central position in the longstanding debate about the structure of epistemic
justification. Coherence is also a main topic in the new, emerging, field of formal …

Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …

The main subject and objective of this book are logical foundations of non monotonic
reasoning. This bears a presumption that there is such a thing as a general theory of non …

Prioritized bases, ie, weakly ordered sets of sentences, have been used for specifying an
agent's 'basic'or 'explicit'beliefs, or alternatively for compactly encoding an agent's belief …

Sven Ove Hansson (born 1951) is a Swedish philosopher. He is a professor of philosophy
and chair of the Department of Philosophy and History of Technology at the Royal Institute of …