2005

Veröffentlichungen 2005

  • Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt. The KeY tool. Software and System Modeling, 4:32-54, 2005.

  • Bernhard Aichernig and Bernhard Beckert, editors. Software Engineering and Formal Methods. 3rd IEEE International Conference, SEFM 2005, Koblenz, Germany, September 7-9, 2005, Proceedings. IEEE Press, 2005.

  • Heni Ben Amor and Achim Rettinger. Intelligent exploration for genetic algorithms: Using self-organizing maps in evolutionary computation. In GECCO '05: Proceedings of the 2005 conference on Genetic and evolutionary computation, pages 1531-1538, New York, NY, USA, 2005. ACM Press.

  • Peter Baumgartner, Ulrich Furbach, and A. H. Yahya. Automated Reasoning, Knowledge Representation and Management. KI 1, 2005.

  • Bernhard Beckert and Steffen Schlager. Refinement and retrenchment for programming language data types. Formal Aspects of Computing, 2005.

  • Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov. Reusing proofs when program verification systems are modified. In Proceedings Software Certificate Management Workshop (SoftCeMent) 2005, Long Beach, USA, 2005.

  • Bernhard Beckert, Steffen Schlager, and Peter H. Schmitt. An improved rule for while loops in deductive program verification. In Kung-Kiu Lau, editor, Proceedings, Seventh International Conference on Formal Engineering Methods (ICFEM), Manchester, UK, LNCS 3785, pages 315-329. Springer, 2005.

  • Bernhard Beckert, editor. Automated Reasoning with Analytic Tableaux and Related Methods. International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, LNCS 3702. Springer Verlag, 2005.

  • Frank Dylla, Alexander Ferrein, Gerhardt Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, and Thomas Wagner. Towards a League-Independent Qualitative Soccer Theory for RoboCup. In Daniele Nardi, Martin Riedmiller, Claude Sammut, and José Santos-Victor, editors, RoboCup 2004: Robot Soccer World Cup VIII, volume 3276, pages 611-618. Springer, Berlin, Heidelberg, New York, 2005.

  • Ulrich Furbach (editor). Knowledge Representation, Reasoning and Management. KI 1, 2005.

  • Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, and Peter Baumgartner. Optimizing the evaluation of xpath using description logics. In Dietmar Seipel, Michael Hanus, Ulrich Geske, and Oskar Bartenstein, editors, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Artificial Intelligence, pages 1-15. Springer Verlag, Berlin, Heidelberg, New-York, 2004.

  • Ulrich Furbach, editor. KI 2005: Advances In Artificial Intelligence. Proc. of the 28th German Conference on AI, Koblenz, LNAI 3698. Springer, 2005.

  • Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt. Verification of JCSP programs. In Communicating Process Architectures (CPA), Proceedings, 2005.

  • Thomas Kleemann and Alex Sinner. Decision support for personalization on mobile devices. In Maurizio Gabbrielli and Gopal Gupta, editors, Proc. of 21st International Conference on Logic Programming - ICLP2005, Sitges, volume 3668 of Lecture Notes in Computer Science, pages 404-406. Springer Verlag, Berlin, Heidelberg, New-York, 2005.

  • Thomas Kleemann and Alex Sinner. Description logic based matchmaking on mobile devices. In Joachim Baumeister and Dietmar Seipel, editors, Proc. of 1st Workshop on Knowledge Engineering and Software Engineering - KESE2005, Koblenz, ISSN 1860-4471, pages 37-48, 2005.

  • Thomas Kleemann and Alex Sinner. Krhyper - in your pocket, system description. In Robert Nieuwenhuis, editor, Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, volume 3632 of Lecture Notes in Computer Science, pages 452-458. Springer Verlag, Berlin, Heidelberg, New-York, 2005.

  • Thomas Kleemann and Alex Sinner. User profiles and matchmaking on mobile phones. In Oscar Bartenstein, editor, Proc. of 16th International Conference on Applications of Declarative Programming and Knowledge Management INAP2005, Fukuoka, 2005.

  • Thomas Kleemann. Matchmaking augmented with general knowledge. In I. Horrocks, U. Sattler, , and F. Wolter, editors, Proc. of the International Workshop on Description Logics - DL 2005, Edinburgh, CEUR-WS, 2005.

  • Pedro Lima, Luís Custódio, Levent Akin, Adam Jacoff, Gerhard Kraezschmar, Beng Kiat Ng, Oliver Obst, Thomas Röfer, Yasutake Takahashi, and Changjiu Zhou. Robocup 2004 competitions and symposium: A small kick for robots, a giant score for science. AI Magazine, 2005.

  • Jan Murray and Frieder Stolzenburg. Hybrid state machines with timed synchronization for multi-robot system specification. In Luís Paulo Reis, Carlos Carreto, Eduardo Silva, and Nuno Lau, editors, Proceedings of the Workshop on Intelligent Robotics (IROBOT'2005), Covilhã, Portugal, 2005.

  • Oliver Obst and Joschka Boedecker. Flexible coordination of multiagent team behavior using HTN planning. In Itsuki Noda, Adam Jacoff, Ansgar Bredenfeld, and Yasutake Takahashi, editors, Proceedings of RoboCup 2005: Robot Soccer World Cup IX, 2005.

  • Oliver Obst and Markus Rollmann. SPARK -- A Generic Simulator for Physical Multiagent Simulations. Computer Systems Science and Engineering, 20(5), September 2005.

  • Oliver Obst. Using a planner for coordination of multiagent team behavior. In Rafael Heitor Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah Seghrouchni, editors, Proceedings of ProMAS 2005, 2005.

  • G. Suttcliff and A. Voronkov, editors. Second-Order Principles in Specification Languages for Object-Oriented Programs, LNCS 3835. Springer, 2005.