Hochschulschrift
A connectionist approach for learning search control heuristics for automated deduction systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896012067
3896012061
- Dimensions
-
21 cm
- Extent
-
XIII, 136 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 206
- Keyword
-
Automatisches Beweisverfahren
Suchverfahren
Heuristik
Maschinelles Lernen
- Event
-
Veröffentlichung
- (where)
-
Sankt Augustin
- (who)
-
Infix
- (when)
-
1999
- Creator
-
Goller, Christoph
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Goller, Christoph
- Infix
Time of origin
- 1999
Other Objects (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