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