2004

Veröffentlichungen 2004

  • Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle, editors. IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, 2004. http://www.cs.chalmers.se/~ahrendt/ijcar-ws-disproving/.

  • Peter Baumgartner and Aljoscha Burchardt. Logic Programming Infrastructure for Inferences on FrameNet. In José Alferes and João Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 591-603. Springer Verlag, Berlin, Heidelberg, New-York, 2004.

  • Peter Baumgartner and Ulrich Furbach. Living books, automated deduction and other strange things. In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathematical Reasoning: Techniques, Tools and Applications -- Essays in honour of Jörg H. Siekmann, volume 2605 of LNCS, pages 255-274. Springer-Verlag, 2004.

  • Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli. Darwin: A theorem prover for the model evolution calculus. In Stephan Schulz, Geoff Sutcliffe, and Tanel Tammet, editors, IJCAR Workshop on Empirically Successful First Order Reasoning (ESFOR (aka S4), Electronic Notes in Theoretical Computer Science, 2004.

  • Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann. Model based deduction for database schema reasoning. In Susanne Biundo, Thom Frühwirth, and Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, volume 3238, pages 168-182. Springer Verlag, Berlin, Heidelberg, New-York, 2004.

  • Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, and Thomas Kleemann. Optimizing the evaluation of xpath using description logics. In Proceedings, INAP 2004, 15th International Conference on Applications of Declarative Programming and Knowledge Management, Potsdam 2004, 2004.

  • Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner. Living Book -- Deduction, Slicing, and Interaction. Journal of Automated Reasoning, 32(3):259-286, 2004.

  • Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, and Thomas Kleemann. Model Based Deduction for Database Schema Reasoning. Fachberichte Informatik 5-2004, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Universitätsstr. 1, D-56070 Koblenz, 2004.

  • Peter Baumgartner, Barbara Grabowski, Walter Oevel, and Erica Melis. In2math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends, 24(1):36-45, 2004.

  • Peter Baumgartner, Margret Gross-Hardt Ulrich Furbach, and Thomas Kleemann. Optimizing the evaluation of xpath using description logics. In Dietmar Seipel, editor, 15th International Conference on Applications of Prolog (INAP 2004), 2004.

  • Bernhard Beckert and Gerd Beuster. Formal specification of security-relevant properties of user interfaces. In Proceedings, 3rd International Workshop on Critical Systems Development with UML, Lisbon, Portugal, Munich, Germany, 2004. TU Munich Technical Report TUM-I0415.

  • Bernhard Beckert and Gerd Beuster. Formal specification of security-relevant properties of user interfaces. Technical Reports in Computer Science (Fachberichte Informatik) 10-2004, Department of Computer Science, University of Koblenz, 2004.

  • Bernhard Beckert and Vladimir Klebanov. Proof reuse for deductive program verification. In J. Cuellar and Z. Liu, editors, Proceedings, Software Engineering and Formal Methods (SEFM), Beijing, China. IEEE Press, 2004.

  • Bernhard Beckert and Steffen Schlager. Software verification with integrated data type refinement for integer arithmetic. In Proceedings, International Conference on Integrated Formal Methods, Canterbury, UK, LNCS 2999, pages 207-226. Springer, 2004.

  • Bernhard Beckert, Martin Giese, Reiner Hähnle Elmar Habermalz, Philipp Rümmer Andreas Roth, and Steffen Schlager. Taclets: A new paradigm for constructing interactive theorem provers. Technical Reports in Computer Science (Fachberichte Informatik) 9-2004, Department of Computer Science, University of Koblenz, 2004.

  • Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, and Steffen Schlager. Taclets: A new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matemáticas (RACSAM), 98(1), 2004. Special Issue on Symbolic Computation in Logic and Artificial Intelligence.

  • Gerd Beuster and Roman Neruda. Configuring Computational Agents. In Proceedings of The Second International Workshop on Knowledge Grid and Grid Intelligence (KGGI 2004), Peking, China, 2004.

  • Gerd Beuster and Roman Neruda. Interfacing bang with ontology services. Technical Report Research Report V-920, Tschechische Akademie der Wissenschaften, 2004.

  • Gerd Beuster, Pavel Krusina, Petra Kudova, and Roman Neruda. Bang 3: A computational multi-agent system. In Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04). IEEE Computer Society Press, 2004.

  • Frank Dylla, Alexander Ferrein, Gerhard 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 Proceedings of the RoboCup International Symposium, 2004.

  • Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas, Tobias Weller, and Alexander Wolf. Issues Management: Erkennen und Beherrschen von kommunikativen Risiken und Chancen. Fachberichte Informatik 2-2004, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Universitätsstr. 1, D-56070 Koblenz, 2004.

  • Oliver Obst and Markus Rollmann. Spark - a generic simulator for physical multi-agent simulations. Technical report, Universität Koblenz-Landau, 2004.

  • Achim Rettinger. Learning from Recorded Games: A Scoring Policy for Simulated Soccer Agents. Technical report, Universität Koblenz-Landau, 2004.

  • Alex Sinner, Thomas Kleemann, and Andreas von Hessling. Semantic User Profiles and their Applications in a Mobile Environment. Artificial Intelligence in Mobile Systems 2004, 2004.

  • Christoph Wernhard. Semantic knowledge partitioning. In Jose Alferes and Julio Leite, editors, Logics in Artificial Intelligence (Proceedings JELIA 04), volume 3229 of lnai, pages 552-564. Springer, 2004.

  • Christoph Wernhard. Semantic knowledge partitioning. Extended abstract. In Contributions to the IJCAR Doctoral Program 2004, Cork, Ireland, volume 106 of CEUR Workshop Proceedings, 2004. Available at: http://ceur-ws.org.