Search dblp for Publications

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

 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    = {Thu, 25 May 2017 01:00:00 +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    = {Tue, 12 Apr 2022 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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 14 Oct 2021 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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, 20 Feb 2018 00:00:00 +0100},
  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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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, 25 Jul 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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, 21 Mar 2023 00:00:00 +0100},
  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    = {Thu, 25 May 2017 01:00:00 +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    = {Mon, 26 Jun 2023 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Sat, 30 Sep 2023 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 14 Oct 2021 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Wed, 14 Nov 2018 00:00:00 +0100},
  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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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    = {Thu, 25 May 2017 01:00:00 +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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.