The Automation of Reasoning with Incomplete Information From Semantic Foundations to Efficient Computation /
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...
| Main Author: | Schaub, Torsten (Author, http://id.loc.gov/vocabulary/relators/aut) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1997.
|
| Edition: | 1st ed. 1997. |
| Series: | Lecture Notes in Artificial Intelligence ;
1409 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
Published: (1998) -
Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Published: (2001) -
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Published: (1997) -
Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents /
by: Kern-Isberner, Gabriele, et al.
Published: (2001) -
Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Published: (1997)