2003

Veröffentlichungen 2003

  • Heni Ben Amor, Oliver Obst, and Jan Murray. Fast, Neat and Under Control: Inverse Steering Behaviors for Physical Autonomous Agents. Fachberichte Informatik 12-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Minoru Asada, Oliver Obst, Daniel Polani, Brett Browning, Andrea Bonarini, Masahiro Fujita, Thomas Christaller, Tomoichi Takahashi, Satoshi Tadokoro, Elizabeth Sklar, and Gal A. Kaminka. An overview of robocup-2002 fukuoka/busan. AI Magazine, 24(2):21-40, Summer 2003.

  • Peter Baumgartner and Ulrich Furbach. Automated Deduction Techniques for the Management of Personalized Documents. Annals of Mathematics and Artificial Intelligence -- Special Issue on Mathematical Knowledge Management, Kluwer Academic Publishers, 2003.

  • Peter Baumgartner and Cesare Tinelli. The Model Evolution Calculus.

  • Peter Baumgartner and Hantao Zhang, editors. First-Order Theorem Proving, volume 36 of Special issue of the Journal of Symbolic Computation. Academic Press, 2003.

  • Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, and Erica Melis (Eds.). Knowledge Representation and Automated Reasoning for E-Learning Systems. Fachberichte Informatik 16-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Peter Baumgartner, Ulrich Furbach, and Margret Groß-Hardt. Living Books. Fachberichte Informatik 6-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann, and Christoph Wernhard. Krhyper inside --- model based deduction in applications. In Proc. CADE-19 Workshop on Novel Applications of Deduction Systems, 2003. Erscheint 2003.

  • Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner. 'Living Book' :- 'Deduction', 'Slicing', 'Interaction'.. Fachberichte Informatik 13-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Peter Baumgartner, Margret Groß-Hardt, and Alex Sinner. Living Book -- Deduction, Slicing and Interaction. Fachberichte Informatik 2-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Bernhard Beckert and Wojciech Mostowski. A program logic for handling Java Card's transaction mechanism. In Proceedings, Fundamental Approaches to Software Engineering (FASE), Warsaw, Poland, LNCS 2621, pages 246-260. Springer, 2003.

  • Bernhard Beckert and Peter H. Schmitt. Program verification using change information. In Proceedings, Software Engineering and Formal Methods (SEFM), Brisbane, Australia, pages 91-99. IEEE Press, 2003.

  • Bernhard Beckert. Depth-first proof search without backtracking for free-variable clausal tableaux. Journal of Symbolic Computation, 36:117-138, 2003.

  • Heni Ben Amor, Jan Murray, Oliver Obst, and Christoph Ringelstein. RoboLog Koblenz 2003 -- Team Description. In Andrea Bonarini, Brett Browning, Daniel Polani, and Kazuo Yoshida, editors, Proceedings of the RoboCup 2003, July 2003. An LNAI version of the proceedings will appear later.

  • Gerd Beuster, Ulrich Furbach, Margret Gross-Hardt, and Bernd Thomas. Automatic classification for the identification of relationships in a meta-data repository. In Gunter Grieser, Yuzuru Tanaka, and Akihiro Yamamoto, editors, 6th International Conference on Discovery Science (DS 2003), Sapporo, Japan, Proceedings, volume 2843 of Lecture Notes in Artifical Intelligence, pages 282-289, Berlin, Heidelberg, New York, 2003. Springer-Verlag.

  • Andre Engels and Sjouke Mauw. Why men (and octopuses) cannot juggle a four ball cascade. Journal of Recreational Mathematics, 31(2):117-126, 2002/2003.

  • Andre Engels, Sjouke Mauw, and Michel Reniers. A hierarchy of communication models for message sequence charts. Science of Computer Programming, 44(3):253-292, 2002.

  • Ulrich Furbach. AI - A Multiple Book Review. Fachberichte Informatik 7-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Nicholas Kushmerick and Bernd Thomas. Adaptive information extraction: Core technologies for information agents. Fachberichte Informatik 9-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Marco Kögler and Oliver Obst. Simulation league: The next generation. Springer, Berlin, Heidelberg, New York, 2003.

  • Marco Kögler and Oliver Obst. Simulation League: The Next Generation. Fachberichte Informatik 3-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Jan Murray. Specifying agents with UML statecharts and StatEdit. In Andrea Bonarini, Brett Browning, Daniel Polani, and Kazuo Yoshida, editors, Proceedings of the RoboCup Symposium 2003, July 2003. An LNAI version of the proceedings will appear later.

  • Oliver Obst and Daniel Polani. Simulation league -- league summary. volume 2752, pages 443-452. Springer, 2003.

  • Oliver Obst. Using model-based diagnosis to build hypotheses about spatial environments. Springer, Berlin, Heidelberg, New York, 2003.

  • Oliver Obst. Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. Fachberichte Informatik 5-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Frieder Stolzenburg and Toshiaki Arai. From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications. In Michael Schillo, Matthias Klusch, Jörg Müller, and Huaglory Tianfield, editors, Proceedings of the 1st German Conference on Multiagent System Technologies, LNAI 2831, pages 131-143, Erfurt, 2003. Springer, Berlin, Heidelberg, New York.

  • Frieder Stolzenburg, Jan Murray, and Karsten Sturm. Multiagent matching algorithms with and without coach. In Michael Schillo, Matthias Klusch, Jörg Müller, and Huaglory Tianfield, editors, Proceedings of the 1st German Conference on Multiagent System Technologies, LNAI 2831, pages 192-204, Erfurt, 2003. Springer, Berlin, Heidelberg, New York.

  • Bernd Thomas. Bottom-Up Learning of Logic Programs for Information Extraction from Hypertext Documents. Fachberichte Informatik 8-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.

  • Christoph Wernhard. System Description: KRHyper. Fachberichte Informatik 14-2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003.