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...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Schaub, Torsten
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:	Automatic theorem proving.