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 André Fuhrmann and Hans Rott.
- Publication
- Berlin ; New York : W. de Gruyter, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | BC135 .L574 1996 | Off-site |
Details
- Additional Authors
- Description
- x, 476 pages : illustrations; 24 cm
- Alternative Title
- Logic, action, information
- Subject
- Logic, Symbolic and mathematical > Congresses
- Information science > Congresses
- Artificial intelligence > Congresses
- Act (Philosophy) > Congresses
- Belief and doubt > Congresses
- Conditionals (Logic) > Congresses
- Act (Philosophy)
- Artificial intelligence
- Belief and doubt
- Conditionals (Logic)
- Information science
- Logic, Symbolic and mathematical
- Künstliche Intelligenz
- Logik
- Logica
- Kunstmatige intelligentie
- Konstanz <1992>
- Genre/Form
- Conference papers and proceedings.
- Note
- Based on a meeting held in autumn 1992 in Konstanz, Germany.
- Bibliography (note)
- Includes bibliographical references and index.
- 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
- 9783110139945
- LCCN
- 95041499
- OCLC
- ocm33209649
- 33209649
- SCSB-2078217
- Owning Institutions
- Princeton University Library