default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24. KI / 9. ÖGAI 2001: Wien, Austria
- Franz Baader, Gerhard Brewka, Thomas Eiter:
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174, Springer 2001, ISBN 3-540-42612-4
Invited Contributions
- Michael J. Kearns:
Computational Game Theory and AI. 1 - Fatma Ozcan
, V. S. Subrahmanian, Leana Golubchik:
Optimal Agent Selection. 2-17
Selected Papers
- Anatoli Degtyarev, Michael Fisher:
Towards First-Order Temporal Resolution. 18-32 - Ralf Küsters, Ralf Molitor:
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. 33-47 - Thomas Ragg:
Bayesian Learning and Evolutionary Parameter Optimization. 48-62
Papers on Foundations
- Liviu Badea, Doina Tilivea:
Abductive Partial Order Planning with Dependent Fluents. 63-77 - Maren Bennewitz, Wolfram Burgard, Sebastian Thrun:
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques. 78-93 - Alexander Bochman:
Possible Worlds Semantics for Credulous and Contraction Inference. 94-105 - Mathias Broxvall:
The Point Algebra for Branching Time Revisited. 106-121 - Stefan Brüning:
Exploiting Conditional Equivalences in Connection Calculi. 122-137 - Deborah East, Miroslaw Truszczynski:
Propositional Satisfiability in Answer-Set Programming. 138-153 - Stefan Edelkamp:
Prediction of Regular Search Tree Growth by Spectral Analysis. 154-168 - Stefan Edelkamp, Ulrich Meyer:
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. 169-184 - Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker:
Hierarchical Diagnosis of Large Configurator Knowledge Bases. 185-197 - Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker:
Towards Distributed Configuration. 198-212 - Henrik Grosskreutz, Gerhard Lakemeyer:
Belief Update in the pGOLOG Framework. 213-228 - Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier:
Finding Optimal Solutions to Atomix. 229-243 - Gero Iwan:
History-Based Diagnosis Templates in the Framework of the Situation Calculus. 244-259 - Wojciech Jamroga:
A Defense Model for Games with Incomplete Information. 260-274 - Zeynep Kiziltan, Pierre Flener, Brahim Hnich:
Towards Inferring Labelling Heuristics for CSP Application Domains. 275-289 - Yves Martin, Michael Thielscher:
Addressing the Qualification Problem in FLUX. 290-304 - Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller:
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. 305-319 - Stephan Schulz:
Learning Search Control Knowledge for Equational Theorem Proving. 320-334 - Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal:
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis. 335-350 - Markus Stumptner, Dominik Wieland, Franz Wotawa:
Comparing Two Models for Software Debugging. 351-365 - Michael Thielscher:
Inferring Implicit State Knowledge and Plans with Sensing Actions. 366-380
Papers on Applications
- George Anastassakis, Tim Ritchings, Themis Panayiotopoulos:
Multi-agent Systems as Intelligent Virtual Environments. 381-395 - Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
OilEd: A Reason-able Ontology Editor for the Semantic Web. 396-408 - Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Experiments with an Agent-Oriented Reasoning System. 409-424 - Thorsten Belker, Michael Beetz:
Learning to Execute Navigation Plans. 425-439 - Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
DiKe - A Model-Based Diagnosis Kernel and Its Application. 440-454
Industrial Papers
- Gerhard Fleischanderl:
Constraints Applied to Configurations. 455-458 - Jana Koehler:
From Theory to Practice: AI Planning for High Performance Elevator Control. 459-462 - Kai Lebeth:
Semantic Networks in a Knowledge Management Portal. 463-466 - Kurt Sundermeyer:
Collaborative Supply Net Management. 467-470
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.
last updated on 2024-10-31 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
