The Automation of Reasoning with Incomplete Information

From Semantic Foundations to Efficient Computation

  • Authors
  • Torsten┬áSchaub

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

About this book


Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.


Automated Reasoning Context-Based Reasoning Default Logic Nonmonotonic Logic Uncertainty automation logic semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64515-3
  • Online ISBN 978-3-540-69793-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book