1 Buch
Wissenschaftliche LiteraturDeduktionInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Matthias Fuchs
Learning Search Heuristics for Automated Deduction
Forschungsergebnisse zur Informatik
Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten…
AIArtificial IntelligenceAutomated DeductionAutomatische DeduktionHeuristische SucheInformatikKIKünstliche IntelligenzMaschinelles LernenMenschliches VerhaltenProblemlöseverhaltenSuchheuristikSuchmethoden