Research Catalog
Knowledge representation and reasoning under uncertainty : logic at work
- Title
- Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos, (eds.).
- Publication
- Berlin ; New York : Springer-Verlag, ©1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | Q387 .K563 1994 | Off-site |
Details
- Additional Authors
- Description
- 237 pages : illustrations; 24 cm
- Summary
- "This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty."--PUBLISHER'S WEBSITE.
- Series Statement
- Lecture notes in computer science ; 808. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 808.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Bibliography (note)
- Includes bibliographical references.
- Contents
- Role of Expectations in Reasoning / Peter Gardenfors -- On Logics of Approximate Reasoning / Petr Hajek -- Gentzen Sequent Calculus for Possibilistic Reasoning / Churn Jung Liau and Bertrand I-Peng Lin -- Model of Inductive Reasoning / Peter A. Flach -- Automated Reasoning with Uncertainties / Flavio S. Correa da Silva, Dave S. Robertson and Jane Hesketh -- Axiomatic Approach to Systems of Prior Distributions in Inexact Reasoning / Jonathan Lawry and George M. Wilmers -- Contradiction Removal Semantics with Explicit Negation / Luis Moniz Pereira, Jose J. Alferes and Joaquim N. Aparicio -- Logic Programming for Non-Monotonic Reasoning / Luis Moniz Pereira, Joaquim N. Aparicio and Jose J. Alferes -- Agent Oriented Programming / Yoav Shoham -- Application of Temporal Logic for Representation and Reasoning About Design / Keiichi Nakata -- Knowledge Theoretic Properties of Topological Spaces / Konstantinos Georgatos -- Rough Logic for Multi-Agent Systems / Cecylia M. Rauszer -- Logical Approach to Multi-Sources Reasoning / Laurence Cholvy -- Situation Theory and Social Structure / Keith Devlin.
- ISBN
- 3540580956
- 9783540580959
- 0387580956
- 9780387580951
- LCCN
- 94020068
- OCLC
- ocm30474674
- 30474674
- SCSB-9151557
- Owning Institutions
- Princeton University Library