3. ÖGAI 1987:
Wien,
Austria
Ernst Buchberger, Johannes Retti (Eds.):
3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987.
Informatik-Fachberichte 151 Springer 1987 
@proceedings{DBLP:conf/ogai/1987,
editor = {Ernst Buchberger and
Johannes Retti},
title = {3. {\"O}sterreichische Artificial Intelligence-Tagung, Wien,
22.-25. September 1987},
booktitle = {{\"O}GAI},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {151},
year = {1987},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- 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
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Last update Fri May 25 08:30:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
