| |
|
| Artikel-Nr.: 5667A-9783540183846 Herst.-Nr.: 9783540183846 EAN/GTIN: 9783540183846 |
| |
|
| | |
| Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.- The RQA/FQI Strategy -- Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.- Natürlichsprachige Systeme.- Towards Automatic Semantic Classification for a Natural Language Understanding System.- Parsing Phonetic Segments into Syllables.- Knowledge Engineering.- Knowledge Engineering mit KNOPF.- PAMELA -- Eine deklarative Programmiersprache für Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 -- Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs.- Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX.- Caching and Consistency, a Solution in RLL-1.- Logic & Programming.- VIP -- Eine integrierte Programmierumgebung für Prolog.- On the Integration of Equality, Sorts, and Logic Programming.- Taxonomical Reasoning in Logic Programming.- Synthesis of Specifications from Programs.- Reasoning about Theories with a Finite Model.- Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können. Weitere Informationen: | | Author: | Ernst Buchberger; Johannes Retti | Verlag: | Springer Berlin | Sprache: | ger |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - deutschsprachig, allgemeine informatikbücher, Beweisen, Expertensystem, Logik, Modellierung, Problemlösen, Prolog, Wissen, Wissensbank, Wissensdatenbank, logisches Programmieren, natürliche Sprache |
| | |
| |