Knowledge representation and reasoning under uncertainty : logic at work /
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Series: | Lecture notes in computer science ;
808. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- The 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
- A Model of Inductive Reasoning / Peter A. Flach
- Automated Reasoning with Uncertainties / Flavio S. Correa da Silva, Dave S. Robertson and Jane Hesketh
- An 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
- An 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
- A Logical Approach to Multi-Sources Reasoning / Laurence Cholvy
- Situation Theory and Social Structure / Keith Devlin.