![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.