Search dblp for Publications

export results for "toc:db/conf/ki/ki98.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ki/AutexierMS98,
  author       = {Serge Autexier and
                  Heiko Mantel and
                  Werner Stephan},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Simultaneous Quantifier Elimination},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {141--152},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095435},
  doi          = {10.1007/BFB0095435},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/AutexierMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BaaderK98,
  author       = {Franz Baader and
                  Ralf K{\"{u}}sters},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Computing the Least Common Subsumer and the Most Specific Concept
                  in the Presence of Cyclic ALN-Concept Descriptions},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {129--140},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095434},
  doi          = {10.1007/BFB0095434},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BaaderK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BeetzP98,
  author       = {Michael Beetz and
                  Hanno Peters},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Structured Reactive Communication Plans - Integrating Conversational
                  Actions into High-Level Robot Control Systems},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {177--188},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095438},
  doi          = {10.1007/BFB0095438},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BeetzP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampR98,
  author       = {Stefan Edelkamp and
                  Frank Reffel},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {OBDDs in Heuristic Search},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {81--92},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095430},
  doi          = {10.1007/BFB0095430},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/EdelkampR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HahnelBL98,
  author       = {Dirk H{\"{a}}hnel and
                  Wolfram Burgard and
                  Gerhard Lakemeyer},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {{GOLEX} - Bridging the Gap between Logic {(GOLOG)} and a Real Robot},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {165--176},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095437},
  doi          = {10.1007/BFB0095437},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/HahnelBL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hofe98,
  author       = {Harald Meyer auf'm Hofe},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Finding Regions for Local Repair in Partial Constraint Satisfaction},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {57--68},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095428},
  doi          = {10.1007/BFB0095428},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Hofe98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HoracekB98,
  author       = {Helmut Horacek and
                  Stephan Busemann},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Towards a Methodology for Developing Application-Oriented Report Generation},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {189--200},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095439},
  doi          = {10.1007/BFB0095439},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/HoracekB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hutter98,
  author       = {Dieter Hutter},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Deductive Verification of Invariants of State-Transition Systems},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {153--164},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095436},
  doi          = {10.1007/BFB0095436},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Hutter98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KruseB98,
  author       = {Rudolf Kruse and
                  Christian Borgelt},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Data Mining with Graphical Models},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095424},
  doi          = {10.1007/BFB0095424},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/KruseB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MadlerK98,
  author       = {Fritz M{\"{a}}dler and
                  Karsten Knorr},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Needle's Eyes - {A} General Decomposition Principle for Practical
                  Uses},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {69--80},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095429},
  doi          = {10.1007/BFB0095429},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/MadlerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Muller98,
  author       = {Heinz J{\"{u}}rgen M{\"{u}}ller},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Thinking in Agents},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {55},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095427},
  doi          = {10.1007/BFB0095427},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Muller98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/OssowskiGC98,
  author       = {Sascha Ossowski and
                  Ana Garc{\'{\i}}a{-}Serrano and
                  Jos{\'{e}} Cuena},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {From Theory to Practice in Multiagent System Design: The Case of Structural
                  Co-operation},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {105--116},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095432},
  doi          = {10.1007/BFB0095432},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/OssowskiGC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pohl98,
  author       = {Wolfgang Pohl},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Handling Negative Assumptions in a Generic User Modeling Framework},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {93--104},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095431},
  doi          = {10.1007/BFB0095431},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Pohl98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Poppel98,
  author       = {Ernst P{\"{o}}ppel},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Information Processing and Knowledge Generation in the Nervous System},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095423},
  doi          = {10.1007/BFB0095423},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Poppel98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Rhein-DeselP98,
  author       = {Ulrike Rhein{-}Desel and
                  Frank Puppe},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Concepts for a Diagnostic Critiquing System in Vague Domains},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {201--212},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095440},
  doi          = {10.1007/BFB0095440},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Rhein-DeselP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchulzRH98,
  author       = {Stefan Schulz and
                  Martin Romacker and
                  Udo Hahn},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Part-Whole Reasoning in Medical Knowledge Bases Using Description
                  Logics},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {237--248},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095443},
  doi          = {10.1007/BFB0095443},
  timestamp    = {Thu, 29 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/SchulzRH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SeitzU98,
  author       = {Alexander Seitz and
                  Adelinde M. Uhrmacher},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {The Treatment of Time in a Case-Based Analysis of Experimental Medical
                  Studies},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {213--223},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095441},
  doi          = {10.1007/BFB0095441},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/SeitzU98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Sowa98,
  author       = {John F. Sowa},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {The Infinite Variety of Logics},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {31--53},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095426},
  doi          = {10.1007/BFB0095426},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Sowa98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SpreckelsenS98,
  author       = {Cord Spreckelsen and
                  Klaus Spitzer},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Formal Representation of Temporal Items of the Diagnostic and Statistic
                  Manual of Mental Disorders},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {225--235},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095442},
  doi          = {10.1007/BFB0095442},
  timestamp    = {Mon, 18 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/SpreckelsenS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Struss98,
  author       = {Peter Struss},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Artifical Intelligence for Nature - Why Knowledge Representation and
                  Problem Solving Should Play a Key Role in Environmental Decision Support},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {17--30},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095425},
  doi          = {10.1007/BFB0095425},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Struss98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Stumme98,
  author       = {Gerd Stumme},
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {Distributive Concept Exploration - {A} Knowledge Acquisition Tool
                  in Formal Concept Analysis},
  booktitle    = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  pages        = {117--128},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095433},
  doi          = {10.1007/BFB0095433},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Stumme98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1998,
  editor       = {Otthein Herzog and
                  Andreas G{\"{u}}nter},
  title        = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
                  on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1504},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0095422},
  doi          = {10.1007/BFB0095422},
  isbn         = {3-540-65080-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics