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},
  title     = {Multi-agent Systems as Intelligent Virtual Environments},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {381--395},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/BadeaT01,
  author    = {Liviu Badea and
               Doina Tilivea},
  title     = {Abductive Partial Order Planning with Dependent Fluents},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {63--77},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/BechhoferHGS01,
  author    = {Sean Bechhofer and
               Ian Horrocks and
               Carole A. Goble and
               Robert Stevens},
  title     = {OilEd: {A} Reason-able Ontology Editor for the Semantic Web},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {396--408},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/BelkerB01,
  author    = {Thorsten Belker and
               Michael Beetz},
  title     = {Learning to Execute Navigation Plans},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {425--439},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/BennewitzBT01,
  author    = {Maren Bennewitz and
               Wolfram Burgard and
               Sebastian Thrun},
  title     = {Constraint-Based Optimization of Priority Schemes for Decoupled Path
               Planning Techniques},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {78--93},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/BenzmullerJKS01,
  author    = {Christoph Benzm{\"{u}}ller and
               Mateja Jamnik and
               Manfred Kerber and
               Volker Sorge},
  title     = {Experiments with an Agent-Oriented Reasoning System},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {409--424},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Bochman01,
  author    = {Alexander Bochman},
  title     = {Possible Worlds Semantics for Credulous and Contraction Inference},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {94--105},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Broxvall01,
  author    = {Mathias Broxvall},
  title     = {The Point Algebra for Branching Time Revisited},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {106--121},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Bruning01,
  author    = {Stefan Br{\"{u}}ning},
  title     = {Exploiting Conditional Equivalences in Connection Calculi},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {122--137},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/DegtyarevF01,
  author    = {Anatoli Degtyarev and
               Michael Fisher},
  title     = {Towards First-Order Temporal Resolution},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {18--32},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/EastT01,
  author    = {Deborah East and
               Miroslaw Truszczynski},
  title     = {Propositional Satisfiability in Answer-Set Programming},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {138--153},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Edelkamp01,
  author    = {Stefan Edelkamp},
  title     = {Prediction of Regular Search Tree Growth by Spectral Analysis},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {154--168},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/EdelkampM01,
  author    = {Stefan Edelkamp and
               Ulrich Meyer},
  title     = {Theory and Practice of Time-Space Trade-Offs in Memory Limited Search},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {169--184},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/FelfernigFJSZ01,
  author    = {Alexander Felfernig and
               Gerhard Friedrich and
               Dietmar Jannach and
               Markus Stumptner and
               Markus Zanker},
  title     = {Hierarchical Diagnosis of Large Configurator Knowledge Bases},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {185--197},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/FelfernigFJZ01,
  author    = {Alexander Felfernig and
               Gerhard Friedrich and
               Dietmar Jannach and
               Markus Zanker},
  title     = {Towards Distributed Configuration},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {198--212},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Fleischanderl01,
  author    = {Gerhard Fleischanderl},
  title     = {Constraints Applied to Configurations},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {455--458},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/FleischanderlHSSW01,
  author    = {Gerhard Fleischanderl and
               Thomas Havelka and
               Herwig Schreiner and
               Markus Stumptner and
               Franz Wotawa},
  title     = {DiKe - {A} Model-Based Diagnosis Kernel and Its Application},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {440--454},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/GrosskreutzL01,
  author    = {Henrik Grosskreutz and
               Gerhard Lakemeyer},
  title     = {Belief Update in the pGOLOG Framework},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {213--228},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/HuffnerEFN01,
  author    = {Falk H{\"{u}}ffner and
               Stefan Edelkamp and
               Henning Fernau and
               Rolf Niedermeier},
  title     = {Finding Optimal Solutions to Atomix},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {229--243},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Iwan01,
  author    = {Gero Iwan},
  title     = {History-Based Diagnosis Templates in the Framework of the Situation
               Calculus},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {244--259},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Jamroga01,
  author    = {Wojciech Jamroga},
  title     = {A Defense Model for Games with Incomplete Information},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {260--274},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Kearns01,
  author    = {Michael J. Kearns},
  title     = {Computational Game Theory and {AI}},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {1},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/KiziltanFH01,
  author    = {Zeynep Kiziltan and
               Pierre Flener and
               Brahim Hnich},
  title     = {Towards Inferring Labelling Heuristics for {CSP} Application Domains},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {275--289},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Koehler01,
  author    = {Jana Koehler},
  title     = {From Theory to Practice: {AI} Planning for High Performance Elevator
               Control},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {459--462},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/KustersM01,
  author    = {Ralf K{\"{u}}sters and
               Ralf Molitor},
  title     = {Approximating Most Specific Concepts in Description Logics with Existential
               Restrictions},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {33--47},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Lebeth01,
  author    = {Kai Lebeth},
  title     = {Semantic Networks in a Knowledge Management Portal},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {463--466},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/MartinT01,
  author    = {Yves Martin and
               Michael Thielscher},
  title     = {Addressing the Qualification Problem in {FLUX}},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {290--304},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/OzcanSG01,
  author    = {Fatma Ozcan and
               V. S. Subrahmanian and
               Leana Golubchik},
  title     = {Optimal Agent Selection},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {2--17},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Ragg01,
  author    = {Thomas Ragg},
  title     = {Bayesian Learning and Evolutionary Parameter Optimization},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {48--62},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/SchonherrCHC01,
  author    = {Frank Sch{\"{o}}nherr and
               Mihaela Cistelecan and
               Joachim Hertzberg and
               Thomas Christaller},
  title     = {Extracting Situation Facts from Activation Value Histories in Behavior-Based
               Robots},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {305--319},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Schulz01,
  author    = {Stephan Schulz},
  title     = {Learning Search Control Knowledge for Equational Theorem Proving},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {320--334},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/StummeTBPL01,
  author    = {Gerd Stumme and
               Rafik Taouil and
               Yves Bastide and
               Nicolas Pasquier and
               Lotfi Lakhal},
  title     = {Intelligent Structuring and Reducing of Association Rules with Formal
               Concept Analysis},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {335--350},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/StumptnerWW01,
  author    = {Markus Stumptner and
               Dominik Wieland and
               Franz Wotawa},
  title     = {Comparing Two Models for Software Debugging},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {351--365},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Sundermeyer01,
  author    = {Kurt Sundermeyer},
  title     = {Collaborative Supply Net Management},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {467--470},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/ki/Thielscher01,
  author    = {Michael Thielscher},
  title     = {Inferring Implicit State Knowledge and Plans with Sensing Actions},
  booktitle = {KI/{\"{O}}GAI},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  pages     = {366--380},
  publisher = {Springer},
  year      = {2001}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics