Skip to main content
SpringerLink
Log in
Book cover

Knowledge Representation and Reasoning Under Uncertainty

Logic at Work

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Michael Masuch
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. László Pólos
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 808)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: Logic at Work 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. The role of expectations in reasoning

    • Peter Gärdenfors
    Pages 1-16

  3. On logics of approximate reasoning

    • Petr Hájek
    Pages 17-29

  4. Gentzen sequent calculus for possibilistic reasoning

    • Churn Jung Liau, Bertrand I -Peng Lin
    Pages 31-40

  5. A model of inductive reasoning

    • Peter A. Flach
    Pages 41-56

  6. Automated reasoning with uncertainties

    • Flávio S. Corrêa da Silva, Dave S. Robertson, Jane Hesketh
    Pages 57-79

  7. An axiomatic approach to systems of prior distributions in inexact reasoning

    • Jonathan Lawry, George M. Wilmers
    Pages 81-89

  8. Contradiction removal semantics with explicit negation

    • Luís Moniz Pereira, José J. Alferes, Joaquim N. Aparício
    Pages 91-105

  9. Logic programming for non-monotonic reasoning

    • Luís Moniz Pereira, Joaquim N. Aparício, José J. Alferes
    Pages 107-121

  10. Agent oriented programming: An overview of the framework and summary of recent research

    • Yoav Shoham
    Pages 123-129

  11. An application of temporal logic for representation and reasoning about design

    • Keiichi Nakata
    Pages 131-145

  12. Knowledge theoretic properties of topological spaces

    • Konstantinos Georgatos
    Pages 147-159

  13. Rough logic for multi-agent systems

    • Cecylia M. Rauszer
    Pages 161-181

  14. A logical approach to multi-sources reasoning

    • Laurence Cholvy
    Pages 183-196

  15. Situation theory and social structure

    • Keith Devlin
    Pages 197-237

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Knowledge Representation and Reasoning Under Uncertainty

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation