The automation of reasoning with incomplete information [electronic resource] : from semantic foundations to efficient computation / Torsten Schaub.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
1997.
|
| Series: | Lecture notes in computer science ;
1409. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b8758446 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 020205s1997 gw a fob 000 0 eng d | ||
| 005 | 20240418142150.7 | ||
| 019 | |a 436652522 |a 729898679 |a 769771520 |a 851798824 |a 874665833 |a 912384181 | ||
| 020 | |a 9783540697930 |q (electronic bk.) | ||
| 020 | |a 3540697934 |q (electronic bk.) | ||
| 020 | |a 3540645152 |q (pbk. ; |q alk. paper) | ||
| 020 | |a 9783540645153 |q (pbk. ; |q alk. paper) | ||
| 035 | |a (OCoLC)spr48934153 | ||
| 035 | |a (OCoLC)48934153 |z (OCoLC)436652522 |z (OCoLC)729898679 |z (OCoLC)769771520 |z (OCoLC)851798824 |z (OCoLC)874665833 |z (OCoLC)912384181 | ||
| 037 | |a spr10.1007/BFb0054963 | ||
| 040 | |a EYM |b eng |e pn |c EYM |d OCLCQ |d OCL |d OCLCQ |d COO |d DKDLA |d OCLCQ |d GW5XE |d OCLCA |d OCLCF |d OCLCQ |d AU@ |d YNG |d OCLCQ |d NUI |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.A96 | |
| 100 | 1 | |a Schaub, Torsten. |0 http://id.loc.gov/authorities/names/nr96040354 |1 http://isni.org/isni/0000000116260729. | |
| 245 | 1 | 4 | |a The automation of reasoning with incomplete information |h [electronic resource] : |b from semantic foundations to efficient computation / |c Torsten Schaub. |
| 260 | |a Berlin ; |a New York : |b Springer, |c 1997. | ||
| 300 | |a 1 online resource (xi, 159 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1409. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Automatic theorem proving. |0 http://id.loc.gov/authorities/subjects/sh85010111. | |
| 650 | 7 | |a Automatic theorem proving. |2 fast |0 (OCoLC)fst00822777. | |
| 776 | 0 | |a Schaub, Torsten. |t Automation of reasoning with incomplete information : from semantic foundations to efficient computation. |w (OCoLC)187469860. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1409. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/BFb0054963 |z Full Text (via Springer) |
| 907 | |a .b87584463 |b 05-04-22 |c 08-16-16 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 4 |i 1 | ||
| 907 | |a .b87584463 |b 07-02-19 |c 08-16-16 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b87584463 |b 07-06-17 |c 08-16-16 | ||
| 907 | |a .b87584463 |b 05-23-17 |c 08-16-16 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i ac67108d-befd-501d-aad2-c6089239b78c |s 8f844877-5192-5999-9235-2dfb5d91e864 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.A96 |h Library of Congress classification |i Ebooks, Prospector |n 1 |