Zum Inhalt springen

Annual review in automatic programming / 2

1961

Erschienen als: International tracts in computer science and technology and their application 6; 2 - ; 6
Simon, Lothar [ HerausgeberIn ] ; Workshop Hypertext und KI 4 1992 München

4. Workshop "Hypertext & Künstliche Intelligenz" Einsatzgebiet Wissensakquisition

Erlangen [u.a.], 1993

Erschienen als: Report Bayerisches Forschungszentrum für Wissensbasierte Systeme 1993,5; Erlangen u.a.
Strohmaier, Antje [ VerfasserIn ]

Logisches Schließen mit massiv parallelen Methoden

1997
Gräfe, Gunter [ VerfasserIn ]

Möglichkeiten der Wissensrepräsentation beim Umgang mit großen Datenbanken

Dresden: Technische Univ., Fak. Wirtschaftswiss., Lehrstuhl Wirtschaftsinformatik, insbesondere Informationssysteme in Industrie und Handel, 1992

Erschienen als: Arbeitspapier Technische Universität Dresden, Fakultät Wirtschaftswissenschaft, Lehrstuhl Wirtschaftsinformatik, insbesondere Informationssysteme in Industrie und Handel 5; 5
Hutter, Dieter [ VerfasserIn ]

Mustergesteuerte Strategien für das Beweisen von Gleichungen

1991
Mayr, Klaus [ VerfasserIn ]

Verfeinerungen und Erweiterungen des Modelleliminationskalküls

1995
Gelfond, Michael [ VerfasserIn ]; Kahl, Yulia [ VerfasserIn ]

Knowledge representation, reasoning, and the design of intelligent agents : the answer-set programming approach

New York: Cambridge University Press, 2014
Freitag, Burkhard [ VerfasserIn ]

Module und hypothetisches Schließen in deduktiven Datenbanken

1991
Müller, Heinz Jürgen [ VerfasserIn ]

Theorembeweisen mit Rewrite-Techniken : Methode, Strategien und Vergleiche

1988
Flügge, Sebastian [ VerfasserIn ]; Zimmer, Sandra [ VerfasserIn ]; Petersohn, Uwe [ VerfasserIn ] ; Technische Universität Dresden Fakultät für Informatik

Wissensrepräsentation und diagnostische Inferenz mittels Bayesscher Netze im medizinischen Diskursbereich

Dresden: Technische Universität Dresden, Faculty of Computer Science, Institute of Artificial Intelligence, April 2019

Erschienen als: Technische Berichte Technische Universität Dresden, Fakultät Informatik 19-02; 19-02
Herbrich, Ralf [ VerfasserIn ]

Learning linear classifiers : theory and algorithms

2001
Reitz, Thomas [ VerfasserIn ]; Petersohn, Uwe [ VerfasserIn ]; Oertel, Wolfgang [ VerfasserIn ]

Semantische Schnittstellen zwischen Wissensrepräsentationsmodellen : Arbeitsbericht - [ Als Ms. gedr. ]

Dresden: Techn. Univ., Inst. für Datenbanken u. Künstliche Intelligenz, 1991
Sanchez, Elie [ HerausgeberIn ]

Approximate reasoning in intelligent systems, decision and control - [ Repr. d. Ausg. von 1987 ]

Oxford [u.a.]: Pergamon Pr., 1988
Pearl, Judea [ VerfasserIn ]

Probabilistic reasoning in intelligent systems : networks of plausible inference - [ rev. 2nd print. ]

San Mateo, Calif.: Morgan Kaufmann, 1991
Mitchell, Tom M. [ VerfasserIn ]

Machine learning - [ Nachdr. ]

New York [u.a.]: McGraw-Hill, [1998]
Li, Wanlin [ VerfasserIn ]

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Bern; Frankfurt am Main; New York; Paris: Lang, 1991

Erschienen als: Europäische Hochschulschriften Reihe 41, Informatik 6; 6
Fagin, Ronald [ Sonstige Person, Familie und Körperschaft ]

Reasoning about knowledge - [ 1. MIT paperback ed. ]

Cambridge, Mass. [u.a.]: MIT Press, 2003
Jin, Yi [ VerfasserIn ]

Belief change in reasoning agents : axiomatizations, semantics and computations

2007
Apolloni, Bruno [ VerfasserIn ]; Malchiodi, Dario [ VerfasserIn ]; Gaito, Sabrina [ VerfasserIn ]

Algorithmic inference in machine learning

Magill, Adelaide: Advanced Knowledge Internat., 2003

Erschienen als: International series on advanced intelligence 5; 5
Lopes, Noel [ VerfasserIn ]; Ribeiro, Bernardete [ VerfasserIn ]

Machine learning for adaptive many-core machines - a practical approach

Cham; Heidelberg [u.a.]: Springer, 2015

Erschienen als: Studies in big data Vol. 7; 7

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Zum Inhalt springen

Annual review in automatic programming / 2

4. Workshop "Hypertext & Künstliche Intelligenz" Einsatzgebiet Wissensakquisition

Logisches Schließen mit massiv parallelen Methoden

Möglichkeiten der Wissensrepräsentation beim Umgang mit großen Datenbanken

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Verfeinerungen und Erweiterungen des Modelleliminationskalküls

Knowledge representation, reasoning, and the design of intelligent agents : the answer-set programming approach

Module und hypothetisches Schließen in deduktiven Datenbanken

Theorembeweisen mit Rewrite-Techniken : Methode, Strategien und Vergleiche

Wissensrepräsentation und diagnostische Inferenz mittels Bayesscher Netze im medizinischen Diskursbereich

Learning linear classifiers : theory and algorithms

Semantische Schnittstellen zwischen Wissensrepräsentationsmodellen : Arbeitsbericht - [ Als Ms. gedr. ]

Approximate reasoning in intelligent systems, decision and control - [ Repr. d. Ausg. von 1987 ]

Probabilistic reasoning in intelligent systems : networks of plausible inference - [ rev. 2nd print. ]

Machine learning - [ Nachdr. ]

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Reasoning about knowledge - [ 1. MIT paperback ed. ]

Belief change in reasoning agents : axiomatizations, semantics and computations

Algorithmic inference in machine learning

Machine learning for adaptive many-core machines - a practical approach

Sie haben das Gesuchte nicht gefunden?

Suchergebnisse filtern

Zugang

Medientyp

Erscheinungsjahr

Verfügbarkeit

Standort

Sprache

Fachgebiet

Person/Institution

Kollektion

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr