


default search action
3rd ÖGAI 1987: Wien, Austria
- Ernst Buchberger

, Johannes Retti:
3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987. Informatik-Fachberichte 151, Springer 1987 - Thomas Rist, Gerd Herzog, Elisabeth André:

Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse. 1-11 - Helmut Horacek, Hermann Kaindl, Marcus Wagner:

Probabilities in Game-Playing: Possible Meanings and Applications. 12-23 - Wolfgang Nejdl:

The RQA/FQI Strategy: Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems. 24-34 - S. Zsolnai, Harald Trost:

Towards Automatic Semantic Classification for a Natural Language Understanding System. 35-48 - Georg Dorffner, Stanley C. Kwasny, Robert F. Port:

Parsing Phonetic Segments into Syllables. 49-63 - Herbert Groiss, Werner Staringer:

Knowledge Engineering mit KNOPF. 64-71 - Franz Barachini:

PAMELA: Eine deklarative Programmiersprache für Echtzeit-Anwendungen. 72-81 - Paul Tavolato, Werner Horn:

Ein Werkzeug zum Wissenserwerb. 82-91 - H.-P. Beiche:

Lst-1: Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleiches. 92-103 - Gerhard Friedrich, Wolfgang Nejdl, Johannes Retti:

Wissensbasierte Fehlererkennung mit Hilfe eines objektorientierten Modells in ARTEX. 104-113 - Hans Chalupsky:

Caching and Consistency, a Solution in RLL-1. 114-124 - Andreas Krall, Eva Kühn:

VIP: Eine integrierte Programmierumgebung für Prolog. 125-132 - Christoph Beierle, Udo Pletat:

On the Integration of Equality, Sorts, and Logic Programming. 133-144 - Igor Varsek:

Taxonomical Reasoning in Logic Programming. 145-156 - Nadya Tareb, Yves Kodratoff:

Synthesis of Specifications from Programs. 157-167 - Thomas Käufl:

Reasoning about Theories with a Finite Model. 168-175 - Matthias Baaz:

Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können. 176-181

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














