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...
Shranjeno v:
| Glavni avtor: | Schaub, Torsten |
|---|---|
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science. Lecture notes in artificial intelligence
1409 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The automation of reasoning with incomplete information, from semantic foundations to efficient computation, Torsten Schaub, 1998, New York, Springer, 1 vol. (XI-159 p.), Lecture notes in computer science, 3-540-64515-2 • The Automation of Reasoning with Incomplete Information, Texte imprimé, 9783662173008 |
Podobne knjige/članki
-
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
(Livre numérique)
Gabbay, Dov M., 1945- - Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings (Livre numérique)
-
Theory reasoning in connection calculi
(Livre numérique)
Baumgartner, Peter, 1953- -
Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
(Livre numérique)
Galmiche, Didier, 1958- - Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers (Livre numérique)

