Research Catalog

Logic, action, and information : essays on logic in philosophy and artificial intelligence

Title: Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott.
Publication: New York : W. de Gruyter, 1995.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	BC135 .L574 1995	Off-site

Additional Authors

Description

x, 476 pages : illustrations; 24 cm

Subject

Note

Bibliography (note)

Contents

Elements of Formal Action Theory / Janusz Czelakowski -- The Delta Operator at Three Levels of Analysis / Krister Segerberg -- Hidden Structures of Belief / Sven Ove Hansson -- Stable Revision, or Is Preservation Worth Preserving? / Wlodzimierz Rabinowicz -- Belief Revision and Ordered Theory Presentations / Mark D. Ryan -- Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief / Emil Weydert -- Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems / Gabriella Crocco and Luis Farinas del Cerro -- Revisions, Updates, and Interference / Luis Farinas del Cerro and Andreas Herzig -- The Ramsey Test and the Indexicality of Conditionals: A Proposed Resolution of Gardenfors' Paradox / Sten Lindstrom -- Some Completeness Results for Classical Preferential Models / Karl Schlechta -- Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview / Jurgen Dix --
What is Negation in a System? Negation in Structured Consequence Relations / Dov M. Gabbay and Heinrich Wansing -- Relational Environment for Semigroup Logics / Ewa Orlowska -- Answer Sets and Constructive Logic. Part I: Monotonic Databases / David Pearce -- Logics Based on Knowledge Representation Systems / Gerd Wagner -- Belief Revision in Truth Maintenance / Cees Witteveen.

ISBN

3110139944

LCCN

95041499

OCLC

Owning Institutions

Columbia University Libraries