Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007866401/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b10892070.
- catalog created "1998.".
- catalog date "1998".
- catalog date "1998.".
- catalog dateCopyrighted "1998.".
- catalog description "Includes bibliographical references.".
- catalog description "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.".
- catalog description "The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives.".
- catalog extent "xi, 159 p. :".
- catalog identifier "3540645152 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1409. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1409.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1998".
- catalog issued "1998.".
- catalog language "eng".
- catalog publisher "New York : Springer,".
- catalog subject "006.3/33 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Automatic theorem proving.".
- catalog subject "Computer science.".
- catalog subject "QA76.9.A96 S42 1997".
- catalog tableOfContents "The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives.".
- catalog title "The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub.".
- catalog type "text".