2001

Veröffentlichungen 2001

  • Peter Baumgartner and Antje Blohm. Automated deduction techniques for the management of personalized documents. In Proc. of MKM 2001 -- First International Workshop on Mathematical Knowledge Management, Linz, Austria, 2001.

  • Peter Baumgartner. Automated deduction techniques for the management of personalized documents. In Manfred Kerber, editor, Proc. of the IJCAR-Workshop Future Directions in Automated Reasoning, Siena, Italy, 2001.

  • Gerd Beuster. Linux palm programmierung. Linux Enterprise, Februar 2001.

  • Gerd Beuster. Using neural networks and genetic algorithms as building blocks for artificial life simulations. In V v era K r urková, Nigel C. Steele, Roman Neruda, and Miroslav Kárny, editors, Artificial Neural Nets and Genetic Algorithms --- Proceedings of the International Conference in Prague, Czech Republic, pages 363-366, Wien, New York, 2001. Springer-Verlag.

  • Gerd Beuster. Using neural networks and genetic algorithms as building blocks for artificial life simulations. In V v era K r urkov a, Nigel C. Steele, Roman Neruda, and Miroslav K arn y, editors, Artificial Neural Nets and Genetic Algorithms --- Proceedings of the International Conference in Prague, Czech Republic, 2001. Springer, Wien, NewYork, 2001.

  • I. Dahn. Automatic textbook construction and web delivery in the 21st century. J. of Structural Learning and Intelligent Systems, 14(4):401-413, 2001. (PDF)

  • I. Dahn. Trial-solution - adding online personalization to teaching materials. In M. Engelien and J. Homann, editors, Online Educa 2001 Book of Abstracts, pages 345-348. Online Educa, 2001.

  • Ingo Dahn. Slicing book technology - providing online support for textbooks. In Helmut Hoyer, editor, Proc. of the 20th World Conference on Open and Distance Learning, Düsseldorf/Germany, 2001.

  • Ingo Dahn. Using networks for advanced personalization of documents. In Veljko Milutinovic, editor, Proc. SSGRR 2001, L'Aquila/Italy, 2001.

  • Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic reasoning: Towards efficient calculi and implementations. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, pages 1241-1354. Elsevier Science Pulishers B.V., 2001.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2000. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 469-472. Springer, Berlin, Heidelberg, New York, 2001. Team description.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 199-208. Springer, Berlin, Heidelberg, New York, 2001.

  • Oliver Obst. Specifying rational agents with statecharts and utility functions. In Andreas Birk, Silvia Coradeschi, and Satoshi Tadokoro, editors, The RoboCup 2001 International Symposium -- Program and Papers Synopsis, page 18, 2001.

  • Oliver Obst. Specifying rational agents with statecharts and utility functions. In Accepted paper at RoboCup International Symposium (RoboCup 2001), 2001. to appear. (PDF)

  • Karl Schlechta and Jürgen Dix. Explaining Updates by minimal sums. Theoretical Computer Science, (to appear), 2001.

  • G. Schwabe, C. Filk, and M. Valerius. Warum kooperation neu erfinden? -- zum beitrag der cscw-forschung fürs kollaborative e-learning. In H. U. Buhl, A. Huther, and B. Reitwiesner, editors, Information Age Economy, pages 381-394. Physika, Heidelberg, 2001.

  • Frieder Stolzenburg. Reasoning about cognitive robotics systems. In Reinhard Moratz and Bernhard Nebel, editors, Themenkolloquium Kognitive Robotik und Raumrepräsentation des DFG-Schwerpunktprogramms Raumkognition, Hamburg, 2001.

  • M. Valerius, G. Schwabe, and I. Dahn. Adaptive bücher für das kooperative lernen: Anwendungen, konzepte, erfahrungen. In M. Engelien and J. Homann, editors, Virtuelle Organisationen und Neue Medien, pages 391-413. Josef Eul Verlag, 2001. (PDF)

  • M. Valerius, G. Schwabe, and I. Dahn. Adaptive B"ucher f"ur das kooperative Lernen: Anwendungen - Konzepte - Erfahrungen. In M. Engelien and J. Homann, editors, Virtuelle Organisation und Neue Medien 2001. Workshop GeNeMe 2001. Gemeinschaften in Neuen Medien. TU Dresden 27./28.9.2001, pages 391-414, Lohmar u. K"oln, 2001. Josef Eul-Verlag.