Hochschulschrift
A connectionist approach for learning search control heuristics for automated deduction systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896012067
3896012061
- Maße
-
21 cm
- Umfang
-
XIII, 136 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 206
- Schlagwort
-
Automatisches Beweisverfahren
Suchverfahren
Heuristik
Maschinelles Lernen
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
Infix
- (wann)
-
1999
- Urheber
-
Goller, Christoph
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Goller, Christoph
- Infix
Entstanden
- 1999
Ähnliche Objekte (12)
Incremental partial deduction
Learning search heuristics for automated deduction
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Metadata based middleware for integrating information systems
Extending the stratification approach for deductive database systems
Automatic termination analysis for functional and imperative programs
Knowledge management for intelligent sales support in electronic commerce
Logic based representation and reasoning for user modeling shell systems
Qualitative scene descriptions from images for integrated speech and image understanding
Local search algorithms for combinatorial problems : analysis, improvements, and new applications
A temporal reasoning and abstraction framework for model based diagnosis systems
Incremental partial deduction
Learning search heuristics for automated deduction
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Metadata based middleware for integrating information systems
Extending the stratification approach for deductive database systems
Automatic termination analysis for functional and imperative programs
Knowledge management for intelligent sales support in electronic commerce
Logic based representation and reasoning for user modeling shell systems
Qualitative scene descriptions from images for integrated speech and image understanding
Local search algorithms for combinatorial problems : analysis, improvements, and new applications
A temporal reasoning and abstraction framework for model based diagnosis systems
Incremental partial deduction
Learning search heuristics for automated deduction
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Metadata based middleware for integrating information systems
Extending the stratification approach for deductive database systems
Automatic termination analysis for functional and imperative programs
Knowledge management for intelligent sales support in electronic commerce
Logic based representation and reasoning for user modeling shell systems
Qualitative scene descriptions from images for integrated speech and image understanding
Local search algorithms for combinatorial problems : analysis, improvements, and new applications