2002

Veröffentlichungen 2002

  • Toshiaki Arai and Frieder Stolzenburg. Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems, pages 11-18, Bologna, Italy, 2002. ACM Press. Volume 1.

  • Peter Baumgartner and Ulrich Furbach. Automated Deduction Techniques for the Management of Personalized Documents. Fachberichte Informatik 2-2002, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2002.

  • Peter Baumgartner, Ulrich Furbach, and Bernd Thomas. Model based deduction for knowledge representation. In Proceedings of the 17. WLP - Workshop Logische Programmierung, September 2002.

  • Peter Baumgartner, Margret Gro\3-Hardt, and Anna Simon. Living book: An interactive and personalized book. In Int. Conf. on Advances in Infrastructure for e-Business, e-Education, e-Science and e-Medicine on the Internet (SSGRR 2002s), number ISBN 88-85280-63-3, L'Aquila, Italien, 2002. Telecom Italia, Learning Services.

  • Peter Baumgartner. A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure. In Gerhard Lakemeyer and Bernhard Nebel, editors, AI in the new Millenium. Morgan Kaufmann, 2002.

  • Peter Baumgartner. A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure. Fachberichte Informatik 3-2002, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2002.

  • Peter Baumgartner. Automatische Deduktion -- Von Kalkülen zu Anwendungen. Habilitation thesis, University of Koblenz-Landau, Germany, 2002. (in German).

  • Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science, 290(1):499-529, 2002.

  • Ingo Dahn, Ulrich Furbach, Michael Armbruster, and Gerd Schwabe. Slicing books - the authors' perspective. In R. Bromme and E. Stahl, editors, Writing Hypertext and Learning. Pergamon Press, 2002.

  • I. Dahn. Personalizing textbooks with slicing technologies -- concept, tools, architecture, collaborative use. In Ralph H. Sprague Jr., editor, Proceedings of the 35th Annual Hawaii International Conference on System Sciences. IEEE Inc., 2002.

  • Ulrich Furbach. Wissenssysteme aus der sicht der inferenz. KI Künstliche Intelligenz, 1, 2002.

  • Margret Gro\3-Hardt. Concept based querying of semistructured data. In R. Tolksdorf and R. Eckstein, editors, Workshop XML Technologies for the Semantic Web, pages 79-92. GI-Edition --- Lecture Notes in Informatics (LNI), P-14, 2002.

  • Margret Groß-Hardt. Processing of Concept Based Queries for XML Data. Fachberichte Informatik 11-2002, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2002b.

  • Margret Groß-Hardt. Querying concepts - an approach to retrieve xml data by means of their data types. In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, Dezember 11-13, 2002, number TUD-FI03-03 in Technische Berichte der Fakultät Informatik, pages 139-154. TU Dresden, 01062 Dresden, April 2002c. ISSN 1430-211X.

  • Nicholas Kushmerick and Bernd Thomas. Intelligent Information Agents R&D in Europe: An AgentLink perspective, chapter Adaptive Information Extraction: A Core Technology for Information Agents. Springer, 2002.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2001. In Andreas Birk, Silvia Coradeschi, and Satoshi Tadokoro, editors, RoboCup 2001: Robot Soccer World Cup V, LNAI 2377, pages 526-530. Springer, Berlin, Heidelberg, New York, 2002. Team description.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2002 -- short team description. In Gal A. Kaminka, Pedro U. Lima, and Raul Rojas, editors, RoboCup 2002: Robot Soccer World Cup VI, Fukuoka, Japan, 2002. Pre-Proceedings.

  • Jan Murray. Specifying agents with UML in robotic soccer. In Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems, pages 51-52, Bologna, Italy, 2002. ACM Press. Volume 1.

  • Oliver Obst and Christoph Ringelstein. RoboLog Koblenz 2002 -- visualization description. In Gal A. Kaminka, Pedro U. Lima, and Raul Rojas, editors, RoboCup 2002: Robot Soccer World Cup VI, Fukuoka, Japan, 2002. Pre-Proceedings.

  • Oliver Obst. Specifying rational agents with statecharts and utility functions. In Andreas Birk, Silvia Coradeschi, and Satoshi Tadokoro, editors, RoboCup-01: Robot Soccer WorldCup V, volume 2377 of Lecture Notes in Computer Science, pages 173-181. Springer, 2002. (PDF)

  • Frieder Stolzenburg and Karsten Sturm. RoboLog Koblenz 2002 -- coach description. In Gal A. Kaminka, Pedro U. Lima, and Raul Rojas, editors, RoboCup 2002: Robot Soccer World Cup VI, Fukuoka, Japan, 2002. Pre-Proceedings.

  • Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Computing generalized specificity. Journal of Applied Non-Classical Logics, 12(3/4), 2002. To appear.

  • Frieder Stolzenburg, Oliver Obst, and Jan Murray. Qualitative velocity and ball interception. In Matthias Jarke, Jana Köhler, and Gerhard Lakemeyer, editors, KI-2002: Advances in Artificial Intelligence -- Proceedings of the 25th Annual German Conference on Artificial Intelligence, LNAI 2479, pages 283-298, Aachen, 2002. Springer, Berlin, Heidelberg, New York. Also poster at Spatial Cognition III, Tutzing, Germany, May 2002.