Logic, Action, and Information 1996

André Fuhrmann, Hans Rott (Eds.): Logic, Action, and Information - Essays on Logic in Philosophy and Artificial Intelligence. Walter de Gruyter, Berlin, New York, 1996 (Based on a meeting held in autumn 1992 in Konstanz, Germany)

Action

Janusz Czelakowski: Elements of Formal Action Theory. 3-62 BibTeX
Krister Segerberg: The Delta Operator at Three Levels of Analysis. 63-78 BibTeX

Belief Change

Sven Ove Hansson: Hidden Structures of Belief. 79-100 BibTeX
Wlodzimierz Rabinowicz: Stable Revision, or Is Preservation Worth Preserving? 101-128 BibTeX
Mark Ryan: Belief Revision and Ordered Theory Presentations. 129-151 BibTeX
Emil Weydert: Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief. 152-172 BibTeX

Conditionals and Non-Monotonicity

Gabriella Crocco, Luis Fariñas del Cerro: Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. 173-188 BibTeX
Luis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. 189-207 BibTeX
Sten Lindström: The Ramsey Test and the Indexicality of Conditionals: A Proposed Resolution of Gärdenfors' Paradox. 208-228 BibTeX
Karl Schlechta: Some Completeness Results for Classical Preferential Models. 229-240 BibTeX

Non-Classical Logic and Logic Programming

Jürgen Dix: Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. 241-327 BibTeX
Dov M. Gabbay, Heinrich Wansing: What is Negation in a System? Negation in Structured Consequence Relations. 328-350 BibTeX
Ewa Orlowska: Relational Environment for Semigroup Logics. 351-391 BibTeX
David Pearce: Answer Sets and Constructive Logic. Part 1: Monotonic Databases. 392-414 BibTeX
Gerd Wagner: Logics Based on Knowledge Representation Systems. 415-446 BibTeX
Cees Witteveen: Belief Revision in Truth Maintenance. 447-470 BibTeX