Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1994

Knowledge Representation and Reasoning Under Uncertainty

Logic at Work

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)

Conference series link(s): LaW: International Conference on Logic at Work

Conference proceedings info: Logic at Work 1992.

Sections

Buy it now

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

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

Table of contents (14 papers)

  1. Front Matter

    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

  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

  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

    PDF
Back to top

Other Volumes

  1. Knowledge Representation and Reasoning Under Uncertainty

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation