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

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.