3. ÖGAI 1987: Wien, Austria

@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