Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation (Englisch)
Nationallizenz
- Neue Suche nach: Richter, Michael M.
- Neue Suche nach: Richter, Michael M.
In:
Annals of Mathematics and Artificial Intelligence
;
28
, 1
;
31-33
;
2000
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation
-
Beteiligte:Richter, Michael M. ( Autor:in )
-
Erschienen in:Annals of Mathematics and Artificial Intelligence ; 28, 1 ; 31-33
-
Verlag:
- Neue Suche nach: Kluwer Academic Publishers
-
Erscheinungsort:Dordrecht
-
Erscheinungsdatum:01.10.2000
-
Format / Umfang:3 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 28, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Editor's remarks| 2000
- 3
-
Artificial intelligence: Retrospective/prospectiveDershowitz, Nachum et al. | 2000
- 7
-
Some interesting research directions in satisfiabilityFranco, John et al. | 2000
- 17
-
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem provingGreenberg, Harvey J. et al. | 2000
- 21
-
Combining assisted and automated deductionKirchner, Hélène et al. | 2000
- 27
-
Deep Blue's contribution to AINewborn, Monty et al. | 2000
- 31
-
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximationRichter, Michael M. et al. | 2000
- 35
-
Compute‐intensive methods in artificial intelligenceSelman, Bart et al. | 2000
- 39
-
Natural language processing and intelligent interfacesStock, Oliviero et al. | 2000
- 43
-
Remarks on computational learning theoryTurán, György et al. | 2000
- 47
-
Temporal representation and reasoning in artificial intelligence: Issues and approachesChittaro, Luca / Montanari, Angelo et al. | 2000
- 107
-
Higher order generalization and its application in program verificationLu, Jianguo / Mylopoulos, John / Harao, Masateru / Hagiya, Masami et al. | 2000
- 127
-
Foundations of distributed interaction systemsFayzullin, Marat / Nanni, Mirco / Pedreschi, Dino / Subrahmanian, V.S. et al. | 2000
- 169
-
Bayes networks for estimating the number of solutions of constraint networksMeisels, Amnon / Shimony, Solomon Eyal / Solotorevsky, Gadi et al. | 2000
- 187
-
Exploiting focal points among alternative solutions: Two approachesKraus, Sarit / Rosenschein, Jeffrey S. / Fenster, Maier et al. | 2000
- 259
-
Relevance sensitive belief structuresChopra, Samir / Parikh, Rohit et al. | 2000
- 287
-
Probabilities of causation: Bounds and identificationTian, Jin / Pearl, Judea et al. | 2000
- 315
-
The logic of eventsShafer, Glenn / Gillett, Peter R. / Scherl, Richard et al. | 2000