Search dblp for Publications

export results for "stream:streams/conf/ogai:"

 download as .bib file

@inproceedings{DBLP:conf/ki/AnastassakisRP01,
  author    = {George Anastassakis and
               Tim Ritchings and
               Themis Panayiotopoulos},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Multi-agent Systems as Intelligent Virtual Environments},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {381--395},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_27},
  doi       = {10.1007/3-540-45422-5\_27},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/AnastassakisRP01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BadeaT01,
  author    = {Liviu Badea and
               Doina Tilivea},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Abductive Partial Order Planning with Dependent Fluents},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {63--77},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_6},
  doi       = {10.1007/3-540-45422-5\_6},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BadeaT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BechhoferHGS01,
  author    = {Sean Bechhofer and
               Ian Horrocks and
               Carole A. Goble and
               Robert Stevens},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {OilEd: {A} Reason-able Ontology Editor for the Semantic Web},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {396--408},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_28},
  doi       = {10.1007/3-540-45422-5\_28},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BechhoferHGS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BelkerB01,
  author    = {Thorsten Belker and
               Michael Beetz},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Learning to Execute Navigation Plans},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {425--439},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_30},
  doi       = {10.1007/3-540-45422-5\_30},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BelkerB01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BennewitzBT01,
  author    = {Maren Bennewitz and
               Wolfram Burgard and
               Sebastian Thrun},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Constraint-Based Optimization of Priority Schemes for Decoupled Path
               Planning Techniques},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {78--93},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_7},
  doi       = {10.1007/3-540-45422-5\_7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BennewitzBT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BenzmullerJKS01,
  author    = {Christoph Benzm{\"{u}}ller and
               Mateja Jamnik and
               Manfred Kerber and
               Volker Sorge},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Experiments with an Agent-Oriented Reasoning System},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {409--424},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_29},
  doi       = {10.1007/3-540-45422-5\_29},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BenzmullerJKS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Bochman01,
  author    = {Alexander Bochman},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Possible Worlds Semantics for Credulous and Contraction Inference},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {94--105},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_8},
  doi       = {10.1007/3-540-45422-5\_8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Bochman01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Broxvall01,
  author    = {Mathias Broxvall},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {The Point Algebra for Branching Time Revisited},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {106--121},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_9},
  doi       = {10.1007/3-540-45422-5\_9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Broxvall01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Bruning01,
  author    = {Stefan Br{\"{u}}ning},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Exploiting Conditional Equivalences in Connection Calculi},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {122--137},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_10},
  doi       = {10.1007/3-540-45422-5\_10},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Bruning01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DegtyarevF01,
  author    = {Anatoli Degtyarev and
               Michael Fisher},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Towards First-Order Temporal Resolution},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {18--32},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_3},
  doi       = {10.1007/3-540-45422-5\_3},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/DegtyarevF01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EastT01,
  author    = {Deborah East and
               Miroslaw Truszczynski},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Propositional Satisfiability in Answer-Set Programming},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {138--153},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_11},
  doi       = {10.1007/3-540-45422-5\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/EastT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp01,
  author    = {Stefan Edelkamp},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Prediction of Regular Search Tree Growth by Spectral Analysis},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {154--168},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_12},
  doi       = {10.1007/3-540-45422-5\_12},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Edelkamp01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampM01,
  author    = {Stefan Edelkamp and
               Ulrich Meyer},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Theory and Practice of Time-Space Trade-Offs in Memory Limited Search},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {169--184},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_13},
  doi       = {10.1007/3-540-45422-5\_13},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/EdelkampM01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FelfernigFJSZ01,
  author    = {Alexander Felfernig and
               Gerhard Friedrich and
               Dietmar Jannach and
               Markus Stumptner and
               Markus Zanker},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Hierarchical Diagnosis of Large Configurator Knowledge Bases},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {185--197},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_14},
  doi       = {10.1007/3-540-45422-5\_14},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/FelfernigFJSZ01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FelfernigFJZ01,
  author    = {Alexander Felfernig and
               Gerhard Friedrich and
               Dietmar Jannach and
               Markus Zanker},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Towards Distributed Configuration},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {198--212},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_15},
  doi       = {10.1007/3-540-45422-5\_15},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/FelfernigFJZ01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Fleischanderl01,
  author    = {Gerhard Fleischanderl},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Constraints Applied to Configurations},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {455--458},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_32},
  doi       = {10.1007/3-540-45422-5\_32},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Fleischanderl01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FleischanderlHSSW01,
  author    = {Gerhard Fleischanderl and
               Thomas Havelka and
               Herwig Schreiner and
               Markus Stumptner and
               Franz Wotawa},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {DiKe - {A} Model-Based Diagnosis Kernel and Its Application},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {440--454},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_31},
  doi       = {10.1007/3-540-45422-5\_31},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/FleischanderlHSSW01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GrosskreutzL01,
  author    = {Henrik Grosskreutz and
               Gerhard Lakemeyer},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Belief Update in the pGOLOG Framework},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {213--228},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_16},
  doi       = {10.1007/3-540-45422-5\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/GrosskreutzL01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HuffnerEFN01,
  author    = {Falk H{\"{u}}ffner and
               Stefan Edelkamp and
               Henning Fernau and
               Rolf Niedermeier},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Finding Optimal Solutions to Atomix},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {229--243},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_17},
  doi       = {10.1007/3-540-45422-5\_17},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/HuffnerEFN01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Iwan01,
  author    = {Gero Iwan},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {History-Based Diagnosis Templates in the Framework of the Situation
               Calculus},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {244--259},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_18},
  doi       = {10.1007/3-540-45422-5\_18},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Iwan01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Jamroga01,
  author    = {Wojciech Jamroga},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {A Defense Model for Games with Incomplete Information},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {260--274},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_19},
  doi       = {10.1007/3-540-45422-5\_19},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Jamroga01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kearns01,
  author    = {Michael J. Kearns},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Computational Game Theory and {AI}},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {1},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_1},
  doi       = {10.1007/3-540-45422-5\_1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Kearns01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KiziltanFH01,
  author    = {Zeynep Kiziltan and
               Pierre Flener and
               Brahim Hnich},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Towards Inferring Labelling Heuristics for {CSP} Application Domains},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {275--289},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_20},
  doi       = {10.1007/3-540-45422-5\_20},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/KiziltanFH01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Koehler01,
  author    = {Jana Koehler},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {From Theory to Practice: {AI} Planning for High Performance Elevator
               Control},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {459--462},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_33},
  doi       = {10.1007/3-540-45422-5\_33},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Koehler01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KustersM01,
  author    = {Ralf K{\"{u}}sters and
               Ralf Molitor},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Approximating Most Specific Concepts in Description Logics with Existential
               Restrictions},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {33--47},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_4},
  doi       = {10.1007/3-540-45422-5\_4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/KustersM01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Lebeth01,
  author    = {Kai Lebeth},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Semantic Networks in a Knowledge Management Portal},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {463--466},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_34},
  doi       = {10.1007/3-540-45422-5\_34},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Lebeth01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MartinT01,
  author    = {Yves Martin and
               Michael Thielscher},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Addressing the Qualification Problem in {FLUX}},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {290--304},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_21},
  doi       = {10.1007/3-540-45422-5\_21},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/MartinT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/OzcanSG01,
  author    = {Fatma Ozcan and
               V. S. Subrahmanian and
               Leana Golubchik},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Optimal Agent Selection},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {2--17},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_2},
  doi       = {10.1007/3-540-45422-5\_2},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/OzcanSG01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Ragg01,
  author    = {Thomas Ragg},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Bayesian Learning and Evolutionary Parameter Optimization},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {48--62},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_5},
  doi       = {10.1007/3-540-45422-5\_5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Ragg01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchonherrCHC01,
  author    = {Frank Sch{\"{o}}nherr and
               Mihaela Cistelecan and
               Joachim Hertzberg and
               Thomas Christaller},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Extracting Situation Facts from Activation Value Histories in Behavior-Based
               Robots},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {305--319},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_22},
  doi       = {10.1007/3-540-45422-5\_22},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/SchonherrCHC01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schulz01,
  author    = {Stephan Schulz},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Learning Search Control Knowledge for Equational Theorem Proving},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {320--334},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_23},
  doi       = {10.1007/3-540-45422-5\_23},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Schulz01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StummeTBPL01,
  author    = {Gerd Stumme and
               Rafik Taouil and
               Yves Bastide and
               Nicolas Pasquier and
               Lotfi Lakhal},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Intelligent Structuring and Reducing of Association Rules with Formal
               Concept Analysis},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {335--350},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_24},
  doi       = {10.1007/3-540-45422-5\_24},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/StummeTBPL01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StumptnerWW01,
  author    = {Markus Stumptner and
               Dominik Wieland and
               Franz Wotawa},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Comparing Two Models for Software Debugging},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {351--365},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_25},
  doi       = {10.1007/3-540-45422-5\_25},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/StumptnerWW01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Sundermeyer01,
  author    = {Kurt Sundermeyer},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Collaborative Supply Net Management},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {467--470},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_35},
  doi       = {10.1007/3-540-45422-5\_35},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Sundermeyer01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Thielscher01,
  author    = {Michael Thielscher},
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {Inferring Implicit State Knowledge and Plans with Sensing Actions},
  booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {366--380},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5\_26},
  doi       = {10.1007/3-540-45422-5\_26},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Thielscher01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2001,
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45422-5},
  doi       = {10.1007/3-540-45422-5},
  isbn      = {3-540-42612-4},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/2001.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Arigoni93,
  author    = {Anio O. Arigoni},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Typicality of Concept Instances: {A} Semiotic Way for Its Evaluation},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {3--15},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_3},
  doi       = {10.1007/3-540-56920-0\_3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Arigoni93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Blochl93,
  author    = {Bernhard Bl{\"{o}}chl},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Control in Real-time for Vision Guided Autonomous Mobile Robots},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {114--125},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_13},
  doi       = {10.1007/3-540-56920-0\_13},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Blochl93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Born93,
  author    = {Rainer P. Born},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Karl Menger, Fuzzy Logic and Artificial Intelligence - An Experiment
               in Reflection},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {188},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_20},
  doi       = {10.1007/3-540-56920-0\_20},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Born93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Ezhkova93,
  author    = {Irina V. Ezhkova},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {A Contextual Approach for {AI} Systems Development},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {2},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_2},
  doi       = {10.1007/3-540-56920-0\_2},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Ezhkova93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FodorK93,
  author    = {J{\'{a}}nos C. Fodor and
               Tibor Keresztfalvi},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Non-Conventional Conjunctions and Implications in Fuzzy Logic},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {16--26},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_4},
  doi       = {10.1007/3-540-56920-0\_4},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FodorK93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/GamperM93,
  author    = {Johann Gamper and
               Bernhard Moser},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Workshop for Doctoral students in Fuzzy-Based Systems},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {189},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_21},
  doi       = {10.1007/3-540-56920-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/GamperM93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Geyer-SchulzK93,
  author    = {Andreas Geyer{-}Schulz and
               Peter Kotauczek},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Industrial and Commercial Applications of Fuzzy Logic},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {190--191},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_22},
  doi       = {10.1007/3-540-56920-0\_22},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Geyer-SchulzK93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/GioveNZ93,
  author    = {Silvio Giove and
               Maurizio Nordio and
               Alessandro Zorat},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {An Adaptive Fuzzy Control Module for Automatic Dialysis},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {146--156},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_16},
  doi       = {10.1007/3-540-56920-0\_16},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/GioveNZ93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HajekH93,
  author    = {Petr H{\'{a}}jek and
               Dagmar Harmancov{\'{a}}},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {A Comparative Fuzzy Modal Logic},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {27--34},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_5},
  doi       = {10.1007/3-540-56920-0\_5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HajekH93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kerr93,
  author    = {Roger M. Kerr},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Scheduling Systems},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {192},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_23},
  doi       = {10.1007/3-540-56920-0\_23},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kerr93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Koskinen93,
  author    = {Harri Koskinen},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Control Schemes for Active Magnetic Bearings},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {137--145},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_15},
  doi       = {10.1007/3-540-56920-0\_15},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Koskinen93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KunchevaZNG93,
  author    = {Ludmila Kuncheva and
               Roumen Z. Zlatev and
               Snezhana N. Neshkova and
               Johann Gamper},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {A combination Scheme of Artificial Intelligence and Fuzzy Pattern
               Recognition in Medical Diagnosis},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {157--164},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_17},
  doi       = {10.1007/3-540-56920-0\_17},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KunchevaZNG93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/MichFG93,
  author    = {Luisa Mich and
               Mario Fedrizzi and
               Loris Gaio},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Approximate Reasoning in the Modeling of Consensus in Group Decisions},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {91--102},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_11},
  doi       = {10.1007/3-540-56920-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/MichFG93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Mundemann93,
  author    = {Friedhelm M{\"{u}}ndemann},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Concepts for Predicting the Behaviour of Other Drivers on a
               Highway},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {165--173},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_18},
  doi       = {10.1007/3-540-56920-0\_18},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Mundemann93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/NauckKK93,
  author    = {Detlef D. Nauck and
               Frank Klawonn and
               Rudolf Kruse},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Combining Neural Networks and Fuzzy Controllers},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {35--46},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_6},
  doi       = {10.1007/3-540-56920-0\_6},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/NauckKK93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/NoweV93,
  author    = {Ann Now{\'{e}} and
               Ranjan Vepa},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {A Reinforcement Learning Algorithm based on "Safety"},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {47--58},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_7},
  doi       = {10.1007/3-540-56920-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/NoweV93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/QuafafouN93,
  author    = {Mohamed Quafafou and
               Mohammed Nafia},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {{GAITS:} Fuzzy Set-Based Algorithms for Computing Strategies Using
               Genetic Algorithms},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {59--67},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_8},
  doi       = {10.1007/3-540-56920-0\_8},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/QuafafouN93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Rommelfanger93,
  author    = {Heinrich J. Rommelfanger},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Logic-Based Processing of Expert Rules Used for Checking the
               Creditability of Small Business Firms},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {103--113},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_12},
  doi       = {10.1007/3-540-56920-0\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Rommelfanger93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/TakagiL93,
  author    = {Hideyuki Takagi and
               Michael A. Lee},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Neural Networks and Genetic Algorithm Approaches to Auto-Design of
               Fuzzy Systems},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {68--79},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_9},
  doi       = {10.1007/3-540-56920-0\_9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/TakagiL93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Weidmann93,
  author    = {Alexandra Weidmann},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Design of a Fuzzy Car Distance Controller},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {174--187},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_19},
  doi       = {10.1007/3-540-56920-0\_19},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Weidmann93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/YeghiazariansF93,
  author    = {Vahe Khachatouri Yeghiazarians and
               Bernard Favre{-}Bulle},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Robot Motion Coordination by Fuzzy Control},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {126--136},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_14},
  doi       = {10.1007/3-540-56920-0\_14},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/YeghiazariansF93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Zadeh93,
  author    = {Lotfi A. Zadeh},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {The Role of Fuzzy Logic and Soft Computing in the Conception and Design
               of Intelligent Systems},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {1},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_1},
  doi       = {10.1007/3-540-56920-0\_1},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Zadeh93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ZahzahD93,
  author    = {El{-}Hadi Zahzah and
               Jacky Desachy},
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Symbolic and Numeric Data Management in a Geographical Information
               System: {A} Fuzzy Neural Network Approach},
  booktitle = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  pages     = {80--90},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0\_10},
  doi       = {10.1007/3-540-56920-0\_10},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ZahzahD93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1993,
  editor    = {Erich{-}Peter Klement and
               Wolfgang Slany},
  title     = {Fuzzy Logic in Artificial Intelligence, 8th Austrian Artificial Intelligence
               Conference, {FLAI} '93, Linz, Austria, June 28-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {695},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56920-0},
  doi       = {10.1007/3-540-56920-0},
  isbn      = {3-540-56920-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1993.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BoyleS91,
  author    = {Craig D. B. Boyle and
               John Schuette},
  editor    = {Hermann Kaindl},
  title     = {{HESDE:} {A} Hypertext Based Expert-System Debugging Tool},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {30--36},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_3},
  doi       = {10.1007/978-3-642-46752-3\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BoyleS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BuchbergerGHMP91,
  author    = {Ernst Buchberger and
               Elizabeth Garner and
               Wolfgang Heinz and
               Johannes Matiasek and
               Bernhard Pfahringer},
  editor    = {Hermann Kaindl},
  title     = {{VIE-DU:} Dialogue by Unification},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {42--51},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_5},
  doi       = {10.1007/978-3-642-46752-3\_5},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BuchbergerGHMP91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/CravoM91,
  author    = {Maria R. Cravo and
               Jo{\~{a}}o P. Martins},
  editor    = {Hermann Kaindl},
  title     = {Being Aware of Assumptions},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {137--146},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_15},
  doi       = {10.1007/978-3-642-46752-3\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/CravoM91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Egly91,
  author    = {Uwe Egly},
  editor    = {Hermann Kaindl},
  title     = {A Generalized Factorization Rule Based on the Introduction of Skolem
               Terms},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {116--125},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_13},
  doi       = {10.1007/978-3-642-46752-3\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Egly91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Frank91,
  author    = {Andrew U. Frank},
  editor    = {Hermann Kaindl},
  title     = {Qualitative Spatial Reasoning with Cardinal Directions},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {157--167},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_17},
  doi       = {10.1007/978-3-642-46752-3\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Frank91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FreundKT91,
  author    = {Rudolf Freund and
               Martina Kirchmeyer and
               Friedrich Tafill},
  editor    = {Hermann Kaindl},
  title     = {Modelling Feature Maps by Attributed Parallel Array Grammars},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {83--92},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_10},
  doi       = {10.1007/978-3-642-46752-3\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FreundKT91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Gottlob91,
  author    = {Georg Gottlob},
  editor    = {Hermann Kaindl},
  title     = {On the Complexity of Clause Condensing},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {16--29},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_2},
  doi       = {10.1007/978-3-642-46752-3\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Gottlob91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Horacek91,
  author    = {Helmut Horacek},
  editor    = {Hermann Kaindl},
  title     = {A Model of Task-Oriented Communication Based on Principles of Rational
               Action and Interaction},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {37--41},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_4},
  doi       = {10.1007/978-3-642-46752-3\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Horacek91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Hunze91,
  author    = {Rudi Hunze},
  editor    = {Hermann Kaindl},
  title     = {Eine deklarative Beschreibung von Linkstilgungsl{\"{u}}cken in
               koordinierten Strukturen des Deutschen},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {52--62},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_6},
  doi       = {10.1007/978-3-642-46752-3\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Hunze91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Ireland91,
  author    = {Andrew Ireland},
  editor    = {Hermann Kaindl},
  title     = {On Exploiting the Structure of Martin-L{\"{o}}f's Theory of Types},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {126--136},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_14},
  doi       = {10.1007/978-3-642-46752-3\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Ireland91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Lees91,
  author    = {B. Lees},
  editor    = {Hermann Kaindl},
  title     = {Applying Artificial Intelligence in Designing for Quality},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {63--67},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_7},
  doi       = {10.1007/978-3-642-46752-3\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Lees91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/LeufkeHMS91,
  author    = {Andrea Leufke and
               Angelika Hecht and
               Regine Meunier and
               Ruxandra Scheiterer},
  editor    = {Hermann Kaindl},
  title     = {Learning Diagnostic Rules for Power Distribution Systems},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {78--82},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_9},
  doi       = {10.1007/978-3-642-46752-3\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/LeufkeHMS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/MozeticH91,
  author    = {Igor Mozetic and
               Christian Holzbaur},
  editor    = {Hermann Kaindl},
  title     = {Model-Based Diagnosis with Constraint Logic Programs},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {168--180},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_18},
  doi       = {10.1007/978-3-642-46752-3\_18},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/MozeticH91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/NageleWH91,
  author    = {Bernhard Nagele and
               Gerhard Widmer and
               Werner Horn},
  editor    = {Hermann Kaindl},
  title     = {Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen
               in einem medizinischen Expertensystem},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {68--77},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_8},
  doi       = {10.1007/978-3-642-46752-3\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/NageleWH91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Salzer91,
  author    = {Gernot Salzer},
  editor    = {Hermann Kaindl},
  title     = {Deductive Generalization and Meta-Reasoning or How to Formalize Genesis},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {103--115},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_12},
  doi       = {10.1007/978-3-642-46752-3\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Salzer91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Tzeng91,
  author    = {Chung{-}Hung Tzeng},
  editor    = {Hermann Kaindl},
  title     = {A Mathematical Formulation of Dempster-Shafer's Belief Functions},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {147--156},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_16},
  doi       = {10.1007/978-3-642-46752-3\_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Tzeng91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/WahlsterABGR91,
  author    = {Wolfgang Wahlster and
               Elisabeth Andr{\'{e}} and
               Som Bandyopadhyay and
               Winfried Graf and
               Thomas Rist},
  editor    = {Hermann Kaindl},
  title     = {Knowledge-Based Generation of Illustrated Documents},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {1--15},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_1},
  doi       = {10.1007/978-3-642-46752-3\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/WahlsterABGR91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ZellMSK91,
  author    = {Andreas Zell and
               Niels Mache and
               Tilman Sommer and
               Thomas Korb},
  editor    = {Hermann Kaindl},
  title     = {Design of the {SNNS} Neural Network Simulator},
  booktitle = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  pages     = {93--102},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3\_11},
  doi       = {10.1007/978-3-642-46752-3\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ZellMSK91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1991,
  editor    = {Hermann Kaindl},
  title     = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
               Wien, 24.-27. September 1991},
  series    = {Informatik-Fachberichte},
  volume    = {287},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-642-46752-3},
  doi       = {10.1007/978-3-642-46752-3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1991.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BischofP90,
  author    = {Horst Bischof and
               Axel Pinz},
  editor    = {Georg Dorffner},
  title     = {Verwendung von neuralen Netzwerken zur Klassifikation nat{\"{u}}rlicher
               Objekte am Beispiel der Baumerkennung aus Farb-Infrarot-Luftbildern},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {112--120},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_12},
  doi       = {10.1007/978-3-642-76070-9\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BischofP90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/DeffnerEG90,
  author    = {Renate Deffner and
               Klaus Eder and
               Hans Geiger},
  editor    = {Georg Dorffner},
  title     = {Word Recognition as a First Step Towards Natural Language Processing
               with Artificial Neural Networks},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {221--225},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_27},
  doi       = {10.1007/978-3-642-76070-9\_27},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/DeffnerEG90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Diederich90,
  author    = {Joachim Diederich},
  editor    = {Georg Dorffner},
  title     = {Recruitment vs. Backpropagation Learning: An Empirical Study on Re-Learning
               in Connectionist Networks},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {186--190},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_20},
  doi       = {10.1007/978-3-642-76070-9\_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Diederich90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Dorffner90,
  author    = {Georg Dorffner},
  editor    = {Georg Dorffner},
  title     = {A Radical View on Connectionist Language Modeling},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {217--220},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_26},
  doi       = {10.1007/978-3-642-76070-9\_26},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Dorffner90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Gelder90,
  author    = {Tim van Gelder},
  editor    = {Georg Dorffner},
  title     = {Why Distributed Representation is Inherently Non-Symbolic},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {58--66},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_6},
  doi       = {10.1007/978-3-642-76070-9\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Gelder90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Gelder90a,
  author    = {Tim van Gelder},
  editor    = {Georg Dorffner},
  title     = {Connectionism and Language Processing},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {208--212},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_24},
  doi       = {10.1007/978-3-642-76070-9\_24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Gelder90a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HemmenGHKSV90,
  author    = {J. Leo van Hemmen and
               Wulfram Gerstner and
               Andreas V. M. Herz and
               Reimer K{\"{u}}hn and
               B. Sulzer and
               M. Vaas},
  editor    = {Georg Dorffner},
  title     = {Encoding and Decoding of Patterns which are Correlated in Space and
               Time},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {153--162},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_16},
  doi       = {10.1007/978-3-642-76070-9\_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HemmenGHKSV90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Holldobler90,
  author    = {Steffen H{\"{o}}lldobler},
  editor    = {Georg Dorffner},
  title     = {On High-Level Inferencing and the Variable Binding Problem in Connectionist
               Networks},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {180--185},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_19},
  doi       = {10.1007/978-3-642-76070-9\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Holldobler90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kunze90,
  author    = {Claudia Kunze},
  editor    = {Georg Dorffner},
  title     = {A Syllable-Based Net-Linguistic Approach to Lexical Access},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {28--37},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_3},
  doi       = {10.1007/978-3-642-76070-9\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kunze90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KurthenLH90,
  author    = {Martin Kurthen and
               Detlef B. Linke and
               P. Hamilton},
  editor    = {Georg Dorffner},
  title     = {Connectionist Cognition},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {67--74},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_7},
  doi       = {10.1007/978-3-642-76070-9\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KurthenLH90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KwasnyF90,
  author    = {Stanley C. Kwasny and
               Kanaan A. Faisal},
  editor    = {Georg Dorffner},
  title     = {Overcoming Limitations of Rule-Based Systems: An Example of a Hybrid
               Deterministic Parser},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {48--57},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_5},
  doi       = {10.1007/978-3-642-76070-9\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KwasnyF90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/LebedaK90,
  author    = {A. Lebeda and
               Monika K{\"{o}}hle},
  editor    = {Georg Dorffner},
  title     = {Buchstabenerkennung unter Ber{\"{u}}cksichtigung von kontextueller
               Information},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {133--142},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_14},
  doi       = {10.1007/978-3-642-76070-9\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/LebedaK90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Mannes90,
  author    = {Christian Mannes},
  editor    = {Georg Dorffner},
  title     = {Learning Sensory-Motor Coordination by Experimentation and Reinforcement
               Learning},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {95--102},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_10},
  doi       = {10.1007/978-3-642-76070-9\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Mannes90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Mohnhaupt90,
  author    = {Michael Mohnhaupt},
  editor    = {Georg Dorffner},
  title     = {On the Importance of Pictorial Representations for the Symbolic/Subsymbolic
               Distinction},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {75--84},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_8},
  doi       = {10.1007/978-3-642-76070-9\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Mohnhaupt90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Paass90,
  author    = {Gerhard Paass},
  editor    = {Georg Dorffner},
  title     = {A Stochastic {EM} Learning Algorithm for Structured Probabilistic
               Neural Networks},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {196--201},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_22},
  doi       = {10.1007/978-3-642-76070-9\_22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Paass90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/RayburnD90,
  author    = {W. M. Rayburn and
               Joachim Diederich},
  editor    = {Georg Dorffner},
  title     = {Some Remarks on Emotion, Cognition, and Connectionist Systems},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {191--195},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_21},
  doi       = {10.1007/978-3-642-76070-9\_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/RayburnD90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Refenes90,
  author    = {Apostolos Nikolaos Refenes},
  editor    = {Georg Dorffner},
  title     = {ConSTrainer: {A} Generic Toolkit for Connectionist Dataset Selection},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {163--172},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_17},
  doi       = {10.1007/978-3-642-76070-9\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Refenes90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/RotterD90,
  author    = {Manfred Rotter and
               Georg Dorffner},
  editor    = {Georg Dorffner},
  title     = {Struktur und Konzeptrelationen in verteilten Netzwerken},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {85--94},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_9},
  doi       = {10.1007/978-3-642-76070-9\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/RotterD90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Salomon90,
  author    = {Ralf Salomon},
  editor    = {Georg Dorffner},
  title     = {Beschleunigtes Lernen durch adaptive Regelung der Lernrate bei back-propagation
               in feed-forward Netzen},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {173--178},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_18},
  doi       = {10.1007/978-3-642-76070-9\_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Salomon90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schade90,
  author    = {Ulrich Schade},
  editor    = {Georg Dorffner},
  title     = {Koh{\"{a}}renz und Monitor in konnektionistischen Sprachproduktionsmodellen},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {18--27},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_2},
  doi       = {10.1007/978-3-642-76070-9\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schade90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schnelle90,
  author    = {Helmut Schnelle},
  editor    = {Georg Dorffner},
  title     = {Connectionism for Cognitive Linguistics},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {213--216},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_25},
  doi       = {10.1007/978-3-642-76070-9\_25},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schnelle90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Sharkey90,
  author    = {Noel E. Sharkey},
  editor    = {Georg Dorffner},
  title     = {Connectionist Representations for Natural Language: Old and New},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {1--17},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_1},
  doi       = {10.1007/978-3-642-76070-9\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Sharkey90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Sharkey90a,
  author    = {Noel E. Sharkey},
  editor    = {Georg Dorffner},
  title     = {Implementing Soft Preferences for Structural Disambiguation},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {226--236},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_28},
  doi       = {10.1007/978-3-642-76070-9\_28},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Sharkey90a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/StandfussMF90,
  author    = {Anette Standfuss and
               Knut M{\"{o}}ller and
               Joachim Funke},
  editor    = {Georg Dorffner},
  title     = {Wissenserwerb {\"{u}}ber dynamische Systeme: Befunde Konnektionistischer
               Modellierung},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {103--111},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_11},
  doi       = {10.1007/978-3-642-76070-9\_11},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/StandfussMF90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ThrunML90,
  author    = {Sebastian Thrun and
               Knut M{\"{o}}ller and
               Alexander Linden},
  editor    = {Georg Dorffner},
  title     = {Adaptive Look-Ahead Planning},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {238--246},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_29},
  doi       = {10.1007/978-3-642-76070-9\_29},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ThrunML90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/WaschulzikG90,
  author    = {Thomas Waschulzik and
               Hans Geiger},
  editor    = {Georg Dorffner},
  title     = {Theorie und Anwendung strukturierter konnektionistischer Systeme},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {143--152},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_15},
  doi       = {10.1007/978-3-642-76070-9\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/WaschulzikG90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/WaschulzikG90a,
  author    = {Thomas Waschulzik and
               Hans Geiger},
  editor    = {Georg Dorffner},
  title     = {Eine Entwicklungsmethodik f{\"{u}}r strukturierte konnektionistische
               Systeme},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {202--206},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_23},
  doi       = {10.1007/978-3-642-76070-9\_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/WaschulzikG90a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/WilkensS90,
  author    = {Rolf Wilkens and
               Helmut Schnelle},
  editor    = {Georg Dorffner},
  title     = {A Connectionist Parser for Context-Free Phrase Structure Grammars},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {38--47},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_4},
  doi       = {10.1007/978-3-642-76070-9\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/WilkensS90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ZiegelerK90,
  author    = {Holger G. Ziegeler and
               Karl W. Kratky},
  editor    = {Georg Dorffner},
  title     = {A Connectionist Realization Applying Knowledge-Compilation and Auto-Segmentation
               in a Symbolic Assignment Problem},
  booktitle = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  pages     = {121--132},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9\_13},
  doi       = {10.1007/978-3-642-76070-9\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ZiegelerK90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1990,
  editor    = {Georg Dorffner},
  title     = {Konnektionismus in Artificial Intelligence und Kognitionsforschung.
               Proceedings 6. {\"{O}}sterreichische Artificial Intelligence-Tagung
               (KONNAI), Salzburg, {\"{O}}sterreich, 18. bis 21. September 1990},
  series    = {Informatik-Fachberichte},
  volume    = {252},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/978-3-642-76070-9},
  doi       = {10.1007/978-3-642-76070-9},
  isbn      = {3-540-53131-9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1990.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/AlthoffKMSW89,
  author    = {Klaus{-}Dieter Althoff and
               Sabine Kocksk{\"{a}}mper and
               Frank Maurer and
               Michael Stadler and
               Stefan Wess},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {65--70},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_7},
  doi       = {10.1007/978-3-642-74688-8\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/AlthoffKMSW89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Baaz89,
  author    = {Matthias Baaz},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {An Effective Decision Algorithm for Propositional Temporal Logic},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {106--113},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_12},
  doi       = {10.1007/978-3-642-74688-8\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Baaz89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Bamme89,
  author    = {Arno Bamm{\'{e}}},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Das Metonym "KI": Soziologische Anmerkungen zum Projekt der implementierten
               Theorie},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {443--452},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_56},
  doi       = {10.1007/978-3-642-74688-8\_56},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Bamme89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Born89,
  author    = {Rainer P. Born},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Reflections upon Turing's Analysis of the Process of Computation and
               its Relation to {AI}},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {397--406},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_49},
  doi       = {10.1007/978-3-642-74688-8\_49},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Born89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Bunt89,
  author    = {Harry Bunt},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Current Issues in Language Understanding},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {14--25},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_2},
  doi       = {10.1007/978-3-642-74688-8\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Bunt89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Capurro89,
  author    = {Rafael Capurro},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Stellt die KI-Forschung den Kernbereich der Informatik dar?},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {415--421},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_51},
  doi       = {10.1007/978-3-642-74688-8\_51},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Capurro89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Cordeschi89,
  author    = {Roberto Cordeschi},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Philosophical Assumptions in Artificial Intelligence: {A} Tentative
               Criticism of a Criticism},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {359--364},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_44},
  doi       = {10.1007/978-3-642-74688-8\_44},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Cordeschi89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Decker89,
  author    = {Hendrik Decker},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {The Range Form of Databases and Queries or: How to Avoid Floundering},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {114--123},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_13},
  doi       = {10.1007/978-3-642-74688-8\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Decker89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Decker89a,
  author    = {Rainer Decker},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Qualitative Simulation des zeitlichen Verhaltens von Thyristorbr{\"{u}}ckengleichrichterschaltungen},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {291--297},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_36},
  doi       = {10.1007/978-3-642-74688-8\_36},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Decker89a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Dorffner89,
  author    = {Georg Dorffner},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Konnektionismus in der {AI}},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {212--217},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_25},
  doi       = {10.1007/978-3-642-74688-8\_25},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Dorffner89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ErtelSS89,
  author    = {Wolfgang Ertel and
               Johann Schumann and
               Christian B. Suttner},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Learning Heuristics for a Theorem Prover Using Back Propagation},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {87--95},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_10},
  doi       = {10.1007/978-3-642-74688-8\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ErtelSS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FaidtFB89,
  author    = {Klaus Faidt and
               Stephan Flohr and
               Rainer Bleisinger},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Repr{\"{a}}sentation und Verarbeitung von zeitlichem Wissen},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {303--312},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_38},
  doi       = {10.1007/978-3-642-74688-8\_38},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FaidtFB89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FleischanderlFR89,
  author    = {Gerhard Fleischanderl and
               Gerhard Friedrich and
               Johannes Retti},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {{ARTEX:} Configuration-Driven Diagnosis for Routing Systems},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {58--64},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_6},
  doi       = {10.1007/978-3-642-74688-8\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FleischanderlFR89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Frey89,
  author    = {Gerhard Frey},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {K{\"{u}}nstliche Intelligenz und G{\"{o}}del-Theoreme},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {387--396},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_48},
  doi       = {10.1007/978-3-642-74688-8\_48},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Frey89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Gehrke89,
  author    = {Manfred Gehrke},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen:
               Neues aus der Beziehungskiste},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {270--277},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_33},
  doi       = {10.1007/978-3-642-74688-8\_33},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Gehrke89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Gorochow89,
  author    = {W. Gorochow},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {K{\"{u}}nstliche Intelligenz und Systemtechnik},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {440--441},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_54},
  doi       = {10.1007/978-3-642-74688-8\_54},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Gorochow89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Grechenig89,
  author    = {Thomas Grechenig},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Und sie kommt doch! {\"{U}}ber die Gewi{\ss}heit zuk{\"{u}}nftiger
               k{\"{u}}nstlicher Intelligenz},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {407--414},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_50},
  doi       = {10.1007/978-3-642-74688-8\_50},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Grechenig89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Groiss89,
  author    = {Herbert Groiss},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Lernen von Syntax nat{\"{u}}rlicher Sprache},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {143--148},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_16},
  doi       = {10.1007/978-3-642-74688-8\_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Groiss89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HaaseR89,
  author    = {Volkmar H. Haase and
               Monika Reiter},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {{SAFIR:} Intelligente Software f{\"{u}}r den Zugriff zu unterschiedlichen
               Datenbanken},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {198--205},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_23},
  doi       = {10.1007/978-3-642-74688-8\_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HaaseR89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HeinzM89,
  author    = {Wolfgang Heinz and
               Johannes Matiasek},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Die Anwendung Generalisierter Quantoren in einem nat{\"{u}}rlichsprachigen
               Datenbank-Interface},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {124--133},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_14},
  doi       = {10.1007/978-3-642-74688-8\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HeinzM89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Helm89,
  author    = {Gerhard Helm},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Zur philosophischen Relevanz der Konnektionismus-Debatte},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {334--339},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_41},
  doi       = {10.1007/978-3-642-74688-8\_41},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Helm89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Horacek89,
  author    = {Helmut Horacek},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Begriffsbildung/modellierung},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {260},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_31},
  doi       = {10.1007/978-3-642-74688-8\_31},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Horacek89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HoracekK89,
  author    = {Helmut Horacek and
               Hermann Kaindl},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {An Outline of a New Algorithm for Game Tree Search},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {171--176},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_20},
  doi       = {10.1007/978-3-642-74688-8\_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HoracekK89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KindermannL89,
  author    = {J{\"{o}}rg Kindermann and
               Alexander Linden},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Detection of Minimal Microfeatures by Internal Feedback},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {230--239},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_28},
  doi       = {10.1007/978-3-642-74688-8\_28},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KindermannL89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KohleS89,
  author    = {Monika K{\"{o}}hle and
               Franz Sch{\"{o}}nbauer},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Dynamische Generierung von Units in einer Sprache f{\"{u}}r Neurale
               Netzwerke},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {164--170},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_19},
  doi       = {10.1007/978-3-642-74688-8\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KohleS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KohleS89a,
  author    = {Monika K{\"{o}}hle and
               Franz Sch{\"{o}}nbauer},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Erfahrungen mit einem Neuralen Netz, das {BRIDGE} spielen lernt},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {224--229},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_27},
  doi       = {10.1007/978-3-642-74688-8\_27},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KohleS89a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Krushanov89,
  author    = {Alexander Krushanov},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Artificial Intelligence and Decision Making: On the "Morals" of Artificial
               Intelligence Systems},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {442},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_55},
  doi       = {10.1007/978-3-642-74688-8\_55},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Krushanov89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Leidlmair89,
  author    = {Karl Leidlmair},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {{KI:} Eine Teildisziplin der Philosophie},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {313--324},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_39},
  doi       = {10.1007/978-3-642-74688-8\_39},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Leidlmair89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/LeitchW89,
  author    = {Roy Leitch and
               Mark Eric Wiegand},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Temporal Issues in Qualitative Reasoning},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {1--13},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_1},
  doi       = {10.1007/978-3-642-74688-8\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/LeitchW89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Lischka89,
  author    = {Christoph Lischka},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Apophansis und Kognition},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {340--345},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_42},
  doi       = {10.1007/978-3-642-74688-8\_42},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Lischka89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/LuckMP89,
  author    = {Kai von Luck and
               Ralf Meyer and
               Thomas Pirlein},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Die logische Rekonstruktion eines Gegenstandsbereiches: Eine Fallstudie},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {278--287},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_34},
  doi       = {10.1007/978-3-642-74688-8\_34},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/LuckMP89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Manhart89,
  author    = {Klaus Manhart},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {K{\"{o}}nnen AI-Programme als Theorien betrachtet werden? Ein
               wissenschaftsphilosophischer Beitrag},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {346--358},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_43},
  doi       = {10.1007/978-3-642-74688-8\_43},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Manhart89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/MistelbergerBB89,
  author    = {Hans Mistelberger and
               E. Bahr and
               Franz Barachini},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Eine neue Methode zur Parallelisierung von Produktionensystemen},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {177--187},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_21},
  doi       = {10.1007/978-3-642-74688-8\_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/MistelbergerBB89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Moller89,
  author    = {Marita M{\"{o}}ller},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Strukturierte Wissenserhebung f{\"{u}}r Expertensysteme: Methodik
               und Repr{\"{a}}sentation},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {40--47},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_4},
  doi       = {10.1007/978-3-642-74688-8\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Moller89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Neumaier89,
  author    = {Otto Neumaier},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Ethische Fragen der "K{\"{u}}nstlichen Intelligenz"},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {430--439},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_53},
  doi       = {10.1007/978-3-642-74688-8\_53},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Neumaier89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Nokel89,
  author    = {Klaus N{\"{o}}kel},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Convex Relations between Time Intervalls},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {298--302},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_37},
  doi       = {10.1007/978-3-642-74688-8\_37},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Nokel89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Nyiri89,
  author    = {Krist{\'{o}}f Ny{\'{\i}}ri},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Rechner und menschliche Gemeinschaft: Drei Capriccios},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {422--429},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_52},
  doi       = {10.1007/978-3-642-74688-8\_52},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Nyiri89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Peschl89,
  author    = {Markus F. Peschl},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Cognitive Modelling: Von der symbolischen {AI} zum "Connectionist
               Approach"},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {240--249},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_29},
  doi       = {10.1007/978-3-642-74688-8\_29},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Peschl89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/PettaHS89,
  author    = {Paolo Petta and
               Werner Horn and
               Karl Schie{\ss}er},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in
               VIE-MED, einem Expertensystem f{\"{u}}r den Bereich der {\"{a}}rztlichen
               Prim{\"{a}}rversorgung},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {48--57},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_5},
  doi       = {10.1007/978-3-642-74688-8\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/PettaHS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Pfahringer89,
  author    = {Bernhard Pfahringer},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Extending Explanation-Based Generalization},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {149--153},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_17},
  doi       = {10.1007/978-3-642-74688-8\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Pfahringer89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Radbruch89,
  author    = {Knut Radbruch},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Heideggers Philosophie der Mathematik als Vorbild f{\"{u}}r eine
               Philosophie der K{\"{u}}nstlichen Intelligenz},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {325--333},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_40},
  doi       = {10.1007/978-3-642-74688-8\_40},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Radbruch89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/RiegerT89,
  author    = {Burghard B. Rieger and
               Constantin Thiopoulos},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Situations, Topoi, and Dispositions: On the Phenomenological Modelling
               of Meaning},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {365--375},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_45},
  doi       = {10.1007/978-3-642-74688-8\_45},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/RiegerT89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schade89,
  author    = {Ulrich Schade},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {A Note on K. Bock's "Syntactic Adjustment Effect" Problem},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {218--223},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_26},
  doi       = {10.1007/978-3-642-74688-8\_26},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schade89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schewe89,
  author    = {Klaus{-}Dieter Schewe},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Variant Construction Using Constraint Propagation Techniques over
               Semantic Networks},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {188--197},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_22},
  doi       = {10.1007/978-3-642-74688-8\_22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schewe89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schnupp89,
  author    = {Peter Schnupp},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {"Sprechende Objekte": Erzeugung nat{\"{u}}rlichsprachlicher Phrasen
               aus Objektrahmen und Regeln},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {134--142},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_15},
  doi       = {10.1007/978-3-642-74688-8\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schnupp89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schreiber89,
  author    = {Carl Albert Schreiber},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Zur M{\"{o}}glichkeit der Konstruktion von Theorien durch die
               Minimierung der Entropie des Beobachteten auf der Basis konnektionistischer
               Modelle},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {250--259},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_30},
  doi       = {10.1007/978-3-642-74688-8\_30},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schreiber89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/StaryW89,
  author    = {Christian Stary and
               Friedrich Wallner},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {{AI} and Cognitive Science: Themes for the Next Decade},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {206--211},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_24},
  doi       = {10.1007/978-3-642-74688-8\_24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/StaryW89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/StrussV89,
  author    = {Peter Struss and
               Hans Vo{\ss}},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Workshop Qualitatives Schlie{\ss}en},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {288--290},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_35},
  doi       = {10.1007/978-3-642-74688-8\_35},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/StrussV89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/TianW89,
  author    = {Weiqing Tian and
               Wolfhard Weber},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Ein neues Konzept wissensbasierter Systeme zur L{\"{o}}sung der
               Wegeprobleme f{\"{u}}r autonome mobile Roboter},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {81--86},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_9},
  doi       = {10.1007/978-3-642-74688-8\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/TianW89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Trautteur89,
  author    = {Giuseppe Trautteur},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Meaning and Representations},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {376--378},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_46},
  doi       = {10.1007/978-3-642-74688-8\_46},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Trautteur89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Trost89,
  author    = {Harald Trost},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Begriffsbildung im Bereich Nat{\"{u}}rlichsprachiger Systeme},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {261--269},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_32},
  doi       = {10.1007/978-3-642-74688-8\_32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Trost89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Waldhor89,
  author    = {Klemens Waldh{\"{o}}r},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Das Blackboard-System {BASAR}},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {71--80},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_8},
  doi       = {10.1007/978-3-642-74688-8\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Waldhor89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Wallmannsberger89,
  author    = {Josef Wallmannsberger},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Language Limits and World Limits in the Age of {AI:} Sapir and Whorf
               Revisited},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {379--386},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_47},
  doi       = {10.1007/978-3-642-74688-8\_47},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Wallmannsberger89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Widmer89,
  author    = {Gerhard Widmer},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Wissensbasiertes Lernen in der Musik: Die Integration induktiver und
               deduktiver Lernmethoden},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {154--163},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_18},
  doi       = {10.1007/978-3-642-74688-8\_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Widmer89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Winkler89,
  author    = {Franz Winkler},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Equational Theorem Proving and Rewrite Rule Systems},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {26--39},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_3},
  doi       = {10.1007/978-3-642-74688-8\_3},
  timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ogai/Winkler89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Zell89,
  author    = {Andreas Zell},
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {Zeitbeschr{\"{a}}nkte Logische Programmierung},
  booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  pages     = {96--105},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8\_11},
  doi       = {10.1007/978-3-642-74688-8\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Zell89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1989,
  editor    = {Johannes Retti and
               Karl Leidlmair},
  title     = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
               Tirol, 28. bis 30. September 1989, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {208},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/978-3-642-74688-8},
  doi       = {10.1007/978-3-642-74688-8},
  isbn      = {3-540-51039-7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1989.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Bear88,
  author    = {John Bear},
  editor    = {Harald Trost},
  title     = {Generation and Recognition of a Classification-Based Approach},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {11--19},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_2},
  doi       = {10.1007/978-3-642-73998-9\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Bear88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Busemann88,
  author    = {Stephan Busemann},
  editor    = {Harald Trost},
  title     = {Zum Lexikonzugriff bei der Generierung mit {GPSG}},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {164--170},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_18},
  doi       = {10.1007/978-3-642-73998-9\_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Busemann88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Emele88,
  author    = {Martin C. Emele},
  editor    = {Harald Trost},
  title     = {{\"{U}}berlegungen zu einer Two-level Morphologie f{\"{u}}r
               das Deutsche},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {156--163},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_17},
  doi       = {10.1007/978-3-642-73998-9\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Emele88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FrederkingG88,
  author    = {Robert E. Frederking and
               Manfred Gehrke},
  editor    = {Harald Trost},
  title     = {Resolving Anaphoric References in a DRT-based Dialogue System},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {94--103},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_11},
  doi       = {10.1007/978-3-642-73998-9\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FrederkingG88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FrenkenbergerK88,
  author    = {Sigismund Frenkenberger and
               Markus Kommenda},
  editor    = {Harald Trost},
  title     = {Prosodiesteuerung in der Sprachsynthese},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {62--71},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_8},
  doi       = {10.1007/978-3-642-73998-9\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FrenkenbergerK88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/GilgLH88,
  author    = {Dieter Gilg and
               Remo Leber and
               Karl Huber},
  editor    = {Harald Trost},
  title     = {Automatische Messung der Dauer von Lauten in lautsprachlichen {\"{A}}usserungen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {54--61},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_7},
  doi       = {10.1007/978-3-642-73998-9\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/GilgLH88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Harbusch88,
  author    = {Karin Harbusch},
  editor    = {Harald Trost},
  title     = {Tree Adjoining Grammars mit Unifikation},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {188--194},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_22},
  doi       = {10.1007/978-3-642-73998-9\_22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Harbusch88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HarriehausenR88,
  author    = {Bettina Harriehausen and
               Sabine Reinhard},
  editor    = {Harald Trost},
  title     = {Die Kontrollbeziehung bei Nomen mit abh{\"{a}}ngigem zu-Infinitiv},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {134--147},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_15},
  doi       = {10.1007/978-3-642-73998-9\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HarriehausenR88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Hirst88,
  author    = {Graeme Hirst},
  editor    = {Harald Trost},
  title     = {Knowledge Representation Problems for Natural Language},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {1--2},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_1},
  doi       = {10.1007/978-3-642-73998-9\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Hirst88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HoracekP88,
  author    = {Helmut Horacek and
               Claudius Pyka},
  editor    = {Harald Trost},
  title     = {Anwendbarkeit von Unifikationsgrammatiken f{\"{u}}r effizientes
               Generieren},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {171--177},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_19},
  doi       = {10.1007/978-3-642-73998-9\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HoracekP88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/JablonskiRR88,
  author    = {Konrad Jablonski and
               Armin Rau and
               Johannes Ritzke},
  editor    = {Harald Trost},
  title     = {Anwendung einer logischen Grammatik zur Generierung deutscher Texte},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {83--93},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_10},
  doi       = {10.1007/978-3-642-73998-9\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/JablonskiRR88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/JacobM88,
  author    = {Daniel Jacob and
               Elisabeth Maier},
  editor    = {Harald Trost},
  title     = {Die {\"{U}}bertragung des MUMBLE-Generators f{\"{u}}r die
               Generirung von Deutsch},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {178--182},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_20},
  doi       = {10.1007/978-3-642-73998-9\_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/JacobM88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KaplanZ88,
  author    = {Ronald M. Kaplan and
               Annie Zaenen},
  editor    = {Harald Trost},
  title     = {Functional Uncertainty and Functional Precedence in Continental West
               Germanic},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {114--123},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_13},
  doi       = {10.1007/978-3-642-73998-9\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KaplanZ88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/MaierS88,
  author    = {Petra Maier and
               Petra Steffens},
  editor    = {Harald Trost},
  title     = {Determinatoren und Quantoren in einer kategorialen Unifikationsgrammatik
               des Deutschen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {20--32},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_4},
  doi       = {10.1007/978-3-642-73998-9\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/MaierS88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Rambow88,
  author    = {Owen Rambow},
  editor    = {Harald Trost},
  title     = {Teaching a Second Language to a Computer: {A} Programmer's View},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {183--187},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_21},
  doi       = {10.1007/978-3-642-73998-9\_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Rambow88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Redding88,
  author    = {Carola Redding},
  editor    = {Harald Trost},
  title     = {Wo trifft 'treffen' 'Treffen'? Zur semantischen Repr{\"{a}}sentation
               nominalisierter Verben},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {43--53},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_6},
  doi       = {10.1007/978-3-642-73998-9\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Redding88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Reimann88,
  author    = {Dorothee Reimann},
  editor    = {Harald Trost},
  title     = {Linguistisches Wissen und Strategie in einer syntaktischen Analyse
               des deutschen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {124--133},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_14},
  doi       = {10.1007/978-3-642-73998-9\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Reimann88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Schachtl88,
  author    = {Stefanie Schachtl},
  editor    = {Harald Trost},
  title     = {The Problem of Overgeneration in Parsing Processes and the Aid of
               Linguistic Generalizations},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {33--42},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_5},
  doi       = {10.1007/978-3-642-73998-9\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Schachtl88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Seiffert88,
  author    = {Roland Seiffert},
  editor    = {Harald Trost},
  title     = {Einige Erweiterungen disjunktiver Merkmalsbeschreibungen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {195--201},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_23},
  doi       = {10.1007/978-3-642-73998-9\_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Seiffert88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Sonnenberger88,
  author    = {Gabriele Sonnenberger},
  editor    = {Harald Trost},
  title     = {Flexible Generierung von nat{\"{u}}rlichsprachigen Abstracts
               aus Textrepr{\"{a}}sentationsstrukturen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {72--82},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_9},
  doi       = {10.1007/978-3-642-73998-9\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Sonnenberger88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Starke88,
  author    = {Ingrid Starke},
  editor    = {Harald Trost},
  title     = {Zur Behandlung von Funktionsverbgef{\"{u}}gen im Deutschen},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {148--155},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_16},
  doi       = {10.1007/978-3-642-73998-9\_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Starke88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Streit88,
  author    = {Michael Streit},
  editor    = {Harald Trost},
  title     = {Repr{\"{a}}sentation von Pluralanaphern},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {104--113},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_12},
  doi       = {10.1007/978-3-642-73998-9\_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Streit88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Wesche88,
  author    = {Birgit Wesche},
  editor    = {Harald Trost},
  title     = {Non-Constituent-Coordination ohne Funktionale Komposition und Typenanhebung},
  booktitle = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  pages     = {202--207},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9\_24},
  doi       = {10.1007/978-3-642-73998-9\_24},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Wesche88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1988,
  editor    = {Harald Trost},
  title     = {4. {\"{O}}sterreichische Artificial-Intelligence-Tagung, Wiener
               Workshop Wissensbasierte Sprachverarbeitung, Wien, 29.-31. August
               1988, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {176},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/978-3-642-73998-9},
  doi       = {10.1007/978-3-642-73998-9},
  isbn      = {3-540-50180-0},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1988.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Baaz87,
  author    = {Matthias Baaz},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Automatisches Beweisen f{\"{u}}r Logiksysteme, in denen Widerspr{\"{u}}che
               behandelt werden k{\"{o}}nnen},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {176--181},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_17},
  doi       = {10.1007/978-3-642-46620-5\_17},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Baaz87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Barachini87,
  author    = {Franz Barachini},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {{PAMELA:} Eine deklarative Programmiersprache f{\"{u}}r Echtzeit-Anwendungen},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {72--81},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_7},
  doi       = {10.1007/978-3-642-46620-5\_7},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Barachini87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Beiche87,
  author    = {H.{-}P. Beiche},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Lst-1: Ein wissensbasiertes System zur Durchf{\"{u}}hrung und
               Berechnung des Lohnsteuerjahresausgleiches},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {92--103},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_9},
  doi       = {10.1007/978-3-642-46620-5\_9},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Beiche87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BeierleP87,
  author    = {Christoph Beierle and
               Udo Pletat},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {On the Integration of Equality, Sorts, and Logic Programming},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {133--144},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_13},
  doi       = {10.1007/978-3-642-46620-5\_13},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BeierleP87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Chalupsky87,
  author    = {Hans Chalupsky},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Caching and Consistency, a Solution in {RLL-1}},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {114--124},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_11},
  doi       = {10.1007/978-3-642-46620-5\_11},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Chalupsky87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/DorffnerKP87,
  author    = {Georg Dorffner and
               Stanley C. Kwasny and
               Robert F. Port},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Parsing Phonetic Segments into Syllables},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {49--63},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_5},
  doi       = {10.1007/978-3-642-46620-5\_5},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/DorffnerKP87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/FriedrichNR87,
  author    = {Gerhard Friedrich and
               Wolfgang Nejdl and
               Johannes Retti},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Wissensbasierte Fehlererkennung mit Hilfe eines objektorientierten
               Modells in {ARTEX}},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {104--113},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_10},
  doi       = {10.1007/978-3-642-46620-5\_10},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/FriedrichNR87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/GroissS87,
  author    = {Herbert Groiss and
               Werner Staringer},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Knowledge Engineering mit {KNOPF}},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {64--71},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_6},
  doi       = {10.1007/978-3-642-46620-5\_6},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/GroissS87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HoracekKW87,
  author    = {Helmut Horacek and
               Hermann Kaindl and
               Marcus Wagner},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Probabilities in Game-Playing: Possible Meanings and Applications},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {12--23},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_2},
  doi       = {10.1007/978-3-642-46620-5\_2},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HoracekKW87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kaufl87,
  author    = {Thomas K{\"{a}}ufl},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Reasoning about Theories with a Finite Model},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {168--175},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_16},
  doi       = {10.1007/978-3-642-46620-5\_16},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kaufl87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/KrallK87,
  author    = {Andreas Krall and
               eva K{\"{u}}hn},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {{VIP:} Eine integrierte Programmierumgebung f{\"{u}}r Prolog},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {125--132},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_12},
  doi       = {10.1007/978-3-642-46620-5\_12},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/KrallK87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Nejdl87,
  author    = {Wolfgang Nejdl},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {The {RQA/FQI} Strategy: Some Thoughts on the Evaluation of Recursive
               Queries in Knowledge Base Management Systems},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {24--34},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_3},
  doi       = {10.1007/978-3-642-46620-5\_3},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Nejdl87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/RistHA87,
  author    = {Thomas Rist and
               Gerd Herzog and
               Elisabeth Andr{\'{e}}},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {1--11},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_1},
  doi       = {10.1007/978-3-642-46620-5\_1},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/RistHA87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/TarebK87,
  author    = {Nadya Tareb and
               Yves Kodratoff},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Synthesis of Specifications from Programs},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {157--167},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_15},
  doi       = {10.1007/978-3-642-46620-5\_15},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/TarebK87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/TavolatoH87,
  author    = {Paul Tavolato and
               Werner Horn},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Ein Werkzeug zum Wissenserwerb},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {82--91},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_8},
  doi       = {10.1007/978-3-642-46620-5\_8},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/TavolatoH87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Varsek87,
  author    = {Igor Varsek},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Taxonomical Reasoning in Logic Programming},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {145--156},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_14},
  doi       = {10.1007/978-3-642-46620-5\_14},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Varsek87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/ZsolnaiT87,
  author    = {S. Zsolnai and
               Harald Trost},
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {Towards Automatic Semantic Classification for a Natural Language Understanding
               System},
  booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  pages     = {35--48},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5\_4},
  doi       = {10.1007/978-3-642-46620-5\_4},
  timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/ZsolnaiT87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1987,
  editor    = {Ernst Buchberger and
               Johannes Retti},
  title     = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
               22.-25. September 1987},
  series    = {Informatik-Fachberichte},
  volume    = {151},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-642-46620-5},
  doi       = {10.1007/978-3-642-46620-5},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1987.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/AllgayerR86,
  author    = {J{\"{u}}rgen Allgayer and
               Carola Reddig},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Processing Description containing Words and Gestures -A System Architecture-},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {119--130},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_12},
  doi       = {10.1007/978-3-642-71385-9\_12},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/AllgayerR86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BecksteinGT86,
  author    = {Clemens Beckstein and
               G{\"{u}}nther G{\"{o}}rz and
               M. Tielemann},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{FORK:} Ein System zur objeckt- und regelorientierten Programmierung},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {312--317},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_31},
  doi       = {10.1007/978-3-642-71385-9\_31},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/BecksteinGT86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Blasius86,
  author    = {Karl{-}Hans Bl{\"{a}}sius},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Against the "Anti Waltz Effect" in Equality Reasoning},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {230--241},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_24},
  doi       = {10.1007/978-3-642-71385-9\_24},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Blasius86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Burckert86,
  author    = {Hans{-}J{\"{u}}rgen B{\"{u}}rckert},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Lazy Theory Unification inProlog: An Extension of the warren Abstract
               machine},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {277--288},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_28},
  doi       = {10.1007/978-3-642-71385-9\_28},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Burckert86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DiederichMR86,
  author    = {Joachim Diederich and
               Mark May and
               Ingo Ruhmann},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Hybrid Knowledge Acquisition},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {343--348},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_34},
  doi       = {10.1007/978-3-642-71385-9\_34},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/DiederichMR86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelmannO86,
  author    = {J{\"{u}}rgen Edelmann and
               Bernd Owsnicki{-}Klewe},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Data Models in Knowledge Representation System: {A} Case Study},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {69--74},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_7},
  doi       = {10.1007/978-3-642-71385-9\_7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/EdelmannO86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Eimermacher86,
  author    = {Michael Eimermacher},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Wortorientiertes Parsing mit erweiterter Chart-Repr{\"{a}}sentation},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {131--142},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_13},
  doi       = {10.1007/978-3-642-71385-9\_13},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Eimermacher86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Francopoulo86,
  author    = {Gil Francopoulo},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Machine Learning as a Tool for Building a Deterministic Parser},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {181--192},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_18},
  doi       = {10.1007/978-3-642-71385-9\_18},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Francopoulo86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FronhoferF86,
  author    = {Bertram Fronh{\"{o}}fer and
               Ulrich Furbach},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in
               Program Synthesis},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {289--300},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_29},
  doi       = {10.1007/978-3-642-71385-9\_29},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/FronhoferF86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hertzberg86,
  author    = {Joachim Hertzberg},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Facetten-Logik: eine untypische Logik zum prototypischen Schlie{\ss}en},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {46--57},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_5},
  doi       = {10.1007/978-3-642-71385-9\_5},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Hertzberg86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hoppe86,
  author    = {Thomas Hoppe},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Generierung struktureller Konzepte im Version-Space},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {193--198},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_19},
  doi       = {10.1007/978-3-642-71385-9\_19},
  timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ki/Hoppe86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Horacek86,
  author    = {Helmut Horacek},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {The Choice of Words in the Generation Process of a Natural Language
               Interface},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {101--112},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_10},
  doi       = {10.1007/978-3-642-71385-9\_10},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Horacek86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HoracekKW86,
  author    = {Helmut Horacek and
               Hermann Kaindl and
               Marcus Wagner},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Decision Making in Unclear Situations},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {17--27},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_2},
  doi       = {10.1007/978-3-642-71385-9\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/HoracekKW86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hutter86,
  author    = {Dieter Hutter},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Using Resolution and Paramodulation for Induction Proofs},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {265--276},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_27},
  doi       = {10.1007/978-3-642-71385-9\_27},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Hutter86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KindermannM86,
  author    = {J{\"{o}}rg Kindermann and
               Justus Meier},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {An Efficient Parser for Lexical Functional grammar},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {143--148},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_14},
  doi       = {10.1007/978-3-642-71385-9\_14},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/KindermannM86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kippe86,
  author    = {J{\"{o}}rg Kippe},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{COMODEL} - ein Repr{\"{a}}sentationsformalismus f{\"{u}}r
               technische Expertensysteme},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {349--360},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_35},
  doi       = {10.1007/978-3-642-71385-9\_35},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Kippe86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kodratoff86,
  author    = {Yves Kodratoff},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Learning Expert Knowledge and Theorem Proving},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {164--179},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_17},
  doi       = {10.1007/978-3-642-71385-9\_17},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Kodratoff86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Luck86,
  author    = {Kai von Luck},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Semantic Networks with Number Restricted Roles or Another Story about
               Clyde},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {58--68},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_6},
  doi       = {10.1007/978-3-642-71385-9\_6},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Luck86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MeierK86,
  author    = {Justus Meier and
               J{\"{o}}rg Kindermann},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Generierung mit Lexical - Functional Grammar {(LFG)}},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {113--118},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_11},
  doi       = {10.1007/978-3-642-71385-9\_11},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/MeierK86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MullerS86,
  author    = {J{\"{u}}rgen M{\"{u}}ller and
               Joachim Steinbach},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Topologische Multisetordnungen},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {254--264},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_26},
  doi       = {10.1007/978-3-642-71385-9\_26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/MullerS86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MullerW86,
  author    = {J{\"{u}}rgen M{\"{u}}ller and
               Elvira Wagner},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Effiziente Reduktionsstrategien in Termersetzunssystemen},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {242--253},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_25},
  doi       = {10.1007/978-3-642-71385-9\_25},
  timestamp = {Wed, 17 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/MullerW86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/NebelS86,
  author    = {Bernhard Nebel and
               Norman K. Sondheimer},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{NIGEL} Gets To Know Logic},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {75--86},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_8},
  doi       = {10.1007/978-3-642-71385-9\_8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/NebelS86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Ohlbach86,
  author    = {Hans J{\"{u}}rgen Ohlbach},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {The Semantic Clause Graph Procedure - {A} First Overview},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {218--229},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_23},
  doi       = {10.1007/978-3-642-71385-9\_23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Ohlbach86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/OpwisS86,
  author    = {Klaus Opwis and
               Hans Spada},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bez{\"{u}}ge
               zur K{\"{u}}nstlichen Intelligenz},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {149--151},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_15},
  doi       = {10.1007/978-3-642-71385-9\_15},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/OpwisS86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pinz86,
  author    = {Axel Pinz},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Architektur und Anwendung des bildverstehenden Expertensystems {VES}},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {212--217},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_22},
  doi       = {10.1007/978-3-642-71385-9\_22},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Pinz86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Puppe86,
  author    = {Frank Puppe},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Hybride Diagnosenbewertung},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {332--342},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_33},
  doi       = {10.1007/978-3-642-71385-9\_33},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Puppe86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Reinefeld86,
  author    = {Alexander Reinefeld},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {State Space Algorithms for Searching Game Trees},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {28--33},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_3},
  doi       = {10.1007/978-3-642-71385-9\_3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Reinefeld86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/RoseAB86,
  author    = {Thomas Rose and
               Hans{-}J{\"{u}}rgen Appelrath and
               Hermann Bense},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Controlled Prolog: {A} Front-End to Prolog Incorporating Meta Knowledge},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {301--311},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_30},
  doi       = {10.1007/978-3-642-71385-9\_30},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/RoseAB86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schmalhofer86,
  author    = {Franz Schmalhofer},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {The Construction of Programming Knowledge from System Explorations
               and Explanatory Text: {A} Cognitive Model},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {152--163},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_16},
  doi       = {10.1007/978-3-642-71385-9\_16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Schmalhofer86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Sielaff86,
  author    = {Christian Sielaff},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Hierarchien {\"{u}}ber Relationengebilden},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {202--211},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_21},
  doi       = {10.1007/978-3-642-71385-9\_21},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Sielaff86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StiehlS86,
  author    = {H. Siegfried Stiehl and
               H. Scharnweber},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{\"{U}}ber die Repr{\"{a}}sentation von dreidimensionalen
               nat{\"{u}}rlichen Objekten},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {199--201},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_20},
  doi       = {10.1007/978-3-642-71385-9\_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/StiehlS86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Struss86,
  author    = {Peter Struss},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {A Framework for the Multiple Representation of Structure and Function
               in Expert Systems},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {318--331},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_32},
  doi       = {10.1007/978-3-642-71385-9\_32},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Struss86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Trappl86,
  author    = {Robert Trappl},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{AI} - Nie! Versuch {\"{u}}ber eine wahrscheinliche zuk{\"{u}}nftige
               Reaktion der {\"{O}}ffentlichkeit},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {1--16},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_1},
  doi       = {10.1007/978-3-642-71385-9\_1},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Trappl86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Uszkoreit86,
  author    = {Hans Uszkoreit},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Syntaktische und semantische Generalisierungen im strukturierten Lexikon},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {87--100},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_9},
  doi       = {10.1007/978-3-642-71385-9\_9},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Uszkoreit86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Zadrozny86,
  author    = {Wlodzimierz Zadrozny},
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {Explicit and Implicit Beliefs},
  booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {34--45},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9\_4},
  doi       = {10.1007/978-3-642-71385-9\_4},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/Zadrozny86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1986,
  editor    = {Claus{-}Rainer Rollinger and
               Werner Horn},
  title     = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
               Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/978-3-642-71385-9},
  doi       = {10.1007/978-3-642-71385-9},
  isbn      = {3-540-16808-7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ki/1986.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Ammon85,
  author    = {Kurt Ammon},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {The Automatic Discovery of Concepts by Induction and Feedback: Towards
               a Theory of Intelligence},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {81--89},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_10},
  doi       = {10.1007/978-3-642-46552-9\_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Ammon85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Aspetsberger85,
  author    = {K. Aspetsberger},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Towards Parallel Machines for Artificial Intelligence: Realization
               of the {ALICE} Architecture by the L-Components},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {108--119},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_13},
  doi       = {10.1007/978-3-642-46552-9\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Aspetsberger85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BaazL85,
  author    = {Matthias Baaz and
               Alexander Leitsch},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Eine Methode zur automatischen Problemreduktion},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {154--163},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_18},
  doi       = {10.1007/978-3-642-46552-9\_18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BaazL85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/BarachiniA85,
  author    = {Franz Barachini and
               Klaus{-}Peter Adlassnig},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{\"{U}}berlegungen zur Konsistenztestproblematik von Wissensbasen
               am Beispiel des medizinischen Expertensystems {CADIAG-1}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {1--8},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_1},
  doi       = {10.1007/978-3-642-46552-9\_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/BarachiniA85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/DorffnerT85,
  author    = {Georg Dorffner and
               Harald Trost},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Morphologische Analyse und intelligente Fehlerkorrektur in {VIE-LANG}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {42--55},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_6},
  doi       = {10.1007/978-3-642-46552-9\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/DorffnerT85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Emde85,
  author    = {Werner Emde},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Maxhinelles Lernen mit heuristisch generierten Modellen},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {90--97},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_11},
  doi       = {10.1007/978-3-642-46552-9\_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Emde85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Fronhofer85,
  author    = {Bertram Fronh{\"{o}}fer},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {The LOPS-Approach: Towards New Syntheses of Algorithms},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {164--172},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_19},
  doi       = {10.1007/978-3-642-46552-9\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Fronhofer85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HenzingerH85,
  author    = {Thomas A. Henzinger and
               Hubert Hofbauer},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{PROOF-PAD:} An Interactive Proof Generating System Using Natural
               Deduction},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {173--184},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_20},
  doi       = {10.1007/978-3-642-46552-9\_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HenzingerH85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HintenausB85,
  author    = {Peter Hintenaus and
               Bruno Buchberger},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {The L-Language for the Parallel L-Machine},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {120--131},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_14},
  doi       = {10.1007/978-3-642-46552-9\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/HintenausB85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Hofmann85,
  author    = {Martin Hofmann},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {"Knowledge Engineering" und "Agenda"-Entwurf f{\"{u}}r ein Fehlerdiagnosesystem},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {9--17},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_2},
  doi       = {10.1007/978-3-642-46552-9\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Hofmann85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Horacek85,
  author    = {Helmut Horacek},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {A Heuristic Model for Treatment of Vague Time Descriptions},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {56--64},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_7},
  doi       = {10.1007/978-3-642-46552-9\_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Horacek85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kaindl85,
  author    = {Hermann Kaindl},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {What Happened with AI's Drosophila?},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {194--203},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_22},
  doi       = {10.1007/978-3-642-46552-9\_22},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kaindl85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kaufl85,
  author    = {Thomas K{\"{a}}ufl},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {The Simplifier of the Program Verifier "Tatzelwurm"},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {185--193},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_21},
  doi       = {10.1007/978-3-642-46552-9\_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kaufl85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kommenda85,
  author    = {Markus Kommenda},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{GRAPHON} - Ein System zur Sprachsynthese bei Testeingabe},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {65--71},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_8},
  doi       = {10.1007/978-3-642-46552-9\_8},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Kommenda85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Luckhardt85,
  author    = {Heinz{-}Dirk Luckhardt},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Parsing mit Controlled Active Procedures},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {72--80},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_9},
  doi       = {10.1007/978-3-642-46552-9\_9},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Luckhardt85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/PfahringerH85,
  author    = {Bernhard Pfahringer and
               Christian Holzbaur},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{VIE-KET:} Frames + Prolog},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {132--139},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_15},
  doi       = {10.1007/978-3-642-46552-9\_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/PfahringerH85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Pfleger85,
  author    = {S. Pfleger},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Remember - {A} Capability of Intelligent Software Tools},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {140--145},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_16},
  doi       = {10.1007/978-3-642-46552-9\_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Pfleger85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/PolitakisH85,
  author    = {Peter Politakis and
               William Hickson},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Developmental Facilities in an Expert System for Network Troubleshooting},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {18--27},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_3},
  doi       = {10.1007/978-3-642-46552-9\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/PolitakisH85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Retti85,
  author    = {Johannes Retti},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{AI} - Entwicklungsumgebungen},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {146--153},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_17},
  doi       = {10.1007/978-3-642-46552-9\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Retti85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Steinacker85,
  author    = {Ingeborg Steinacker},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Ein Expertensystem als Bindeglied zwischen {CAD} und {CAM}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {28--33},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_4},
  doi       = {10.1007/978-3-642-46552-9\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Steinacker85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Trappl85,
  author    = {Robert Trappl},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{TA} of {AI}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {204--211},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_23},
  doi       = {10.1007/978-3-642-46552-9\_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/Trappl85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/TrostB85,
  author    = {Harald Trost and
               Ernst Buchberger},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {Knowledge Acquisition in the System {VIE-LANG}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {98--107},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_12},
  doi       = {10.1007/978-3-642-46552-9\_12},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/TrostB85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/WidmerH85,
  author    = {Gerhard Widmer and
               Werner Horn},
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{VIE-PCX} - Ein Expert System Shell f{\"{u}}r den {PC}},
  booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  pages     = {34--41},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9\_5},
  doi       = {10.1007/978-3-642-46552-9\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/WidmerH85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1985,
  editor    = {Harald Trost and
               Johannes Retti},
  title     = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
               September 1985, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {106},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/978-3-642-46552-9},
  doi       = {10.1007/978-3-642-46552-9},
  isbn      = {3-540-15695-X},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ogai/1985.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics