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
Krister Segerberg: The Delta Operator at Three Levels of Analysis. 63-78

Belief Change

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

Conditionals and Non-Monotonicity

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

Non-Classical Logic and Logic Programming

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