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 BibTeX
@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 BibTeX
- Helmut Horacek, Hermann Kaindl, Marcus Wagner:
Probabilities in Game-Playing: Possible Meanings and Applications.
12-23 BibTeX
- Wolfgang Nejdl:
The RQA/FQI Strategy: Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.
24-34 BibTeX
- S. Zsolnai, Harald Trost:
Towards Automatic Semantic Classification for a Natural Language Understanding System.
35-48 BibTeX
- Georg Dorffner, Stanley C. Kwasny, Robert F. Port:
Parsing Phonetic Segments into Syllables.
49-63 BibTeX
- Herbert Groiss, Werner Staringer:
Knowledge Engineering mit KNOPF.
64-71 BibTeX
- Franz Barachini:
PAMELA: Eine deklarative Programmiersprache für Echtzeit-Anwendungen.
72-81 BibTeX
- Paul Tavolato, Werner Horn:
Ein Werkzeug zum Wissenserwerb.
82-91 BibTeX
- H.-P. Beiche:
Lst-1: Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleiches.
92-103 BibTeX
- Gerhard Friedrich, Wolfgang Nejdl, Johannes Retti:
Wissensbasierte Fehlererkennung mit Hilfe eines objektorientierten Modells in ARTEX.
104-113 BibTeX
- Hans Chalupsky:
Caching and Consistency, a Solution in RLL-1.
114-124 BibTeX
- Andreas Krall, eva Kühn:
VIP: Eine integrierte Programmierumgebung für Prolog.
125-132 BibTeX
- Christoph Beierle, Udo Pletat:
On the Integration of Equality, Sorts, and Logic Programming.
133-144 BibTeX
- Igor Varsek:
Taxonomical Reasoning in Logic Programming.
145-156 BibTeX
- Nadya Tareb, Yves Kodratoff:
Synthesis of Specifications from Programs.
157-167 BibTeX
- Thomas Käufl:
Reasoning about Theories with a Finite Model.
168-175 BibTeX
- Matthias Baaz:
Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.
176-181 BibTeX
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Copyright © Sat May 16 23:31:51 2009
by Michael Ley (ley@uni-trier.de)