3. Österreichische Artificial-Intelligence-Tagung
Springer Berlin (Verlag)
978-3-540-18384-6 (ISBN)
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.
Erscheint lt. Verlag | 9.9.1987 |
---|---|
Reihe/Serie | Informatik-Fachberichte | Subreihe Künstliche Intelligenz |
Zusatzinfo | VIII, 181 S. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 170 x 244 mm |
Gewicht | 340 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Beweisen • Expertensystem • Logik • Logisches Programmieren • Modellierung • Natürliche Sprache • Problemlösen • PROLOG • Wissen • Wissensbank • Wissensbasiertes System • Wissensdatenbank |
ISBN-10 | 3-540-18384-1 / 3540183841 |
ISBN-13 | 978-3-540-18384-6 / 9783540183846 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich