2000

Veröffentlichungen 2000

  • Chandrabose Aravindan and Peter Baumgartner. Theorem proving techniques for view deletion in databases. Journal of Symbolic Computation, 29(2):119-147, 2000.

  • Chitta Baral, S. Benferhat, S. Chopra, M. Denecker, J. Dix, T. Kakas, V. Lifschitz, H. Prade, A. Provetti, and M. Truszczynski, editors. Proceedings of the 8th International Workshop on Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 2000. University of Kentucky, archived at arXiv.org under cs.AI/0003073, March 2000.

  • Peter Baumgartner and Hantao Zhang (Eds.). FTP 2000 -- Third International Workshop on First-Order Theorem Proving, St Andrews, Scotland, July 2000. Fachberichte Informatik 5-2000, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2000.

  • Peter Baumgartner and Michael Kühn. Abducing Coreference by Model Construction. Journal of Language and Computation, 1(2):175-190, 2000.

  • Peter Baumgartner and Fabio Massacci. The Taming of the (X)OR. In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors, Computational Logic -- CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence, pages 508-522. Springer, 2000.

  • Peter Baumgartner, Chris Fermüller, Nicolas Peltier, and Hantao Zhang, editors. CADE-17 Workshop on Model Computation - Principles, Algorithms, Applications, 2000. http://www.uni-koblenz.de/~peter/CADE17-WS-MODELS/.

  • Peter Baumgartner. FDPLL -- A First-Order Davis-Putnam-Logeman-Loveland Procedure. In David McAllester, editor, CADE-17 -- The 17th International Conference on Automated Deduction, volume 1831 of Lecture Notes in Artificial Intelligence, pages 200-219. Springer, 2000.

  • Gerd Beuster, Bernd Thomas, and Christian Wolff. MIA - A Ubiquitous Multi-Agent Web Information System. In Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), December 2000.

  • Gerd Beuster, Bernd Thomas, and Christian Wolff. Ubiquitous web information agents. In Proceedings of Workshop on Artificial Intelligence In Mobile Systems in conjunction with European Conference on Artifical Intelligence, August 2000.

  • Gerd Beuster. Artificial life environment --- a framework for artificial life simulations. In Proceedings of the 4th German Workshop on Artificial Life, Bayreuth, Germany, 2000.

  • Stefan Brass, Jürgen Dix, Ilkka Niemelä, and Teodor Przymusinski. On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation. Theoretical Computer Science, (to appear), 2000.

  • Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. In Guillermo E. Feierherd, editor, Proceedings of the 6th Argentine Congress on Computer Science, pages 371-382, Ushuaia, Argentina, 2000. JAIIO, Buenos Aires. Revised and extended version to appear in Theoretical Computer Science.

  • Ingo Dahn. Symbiose von buch und internet. In Uwe Beck and Winfried Sommer, editors, 8. Europäischer Kongress und Fachmesse für Bildungs- und Informationstechnologie, pages 551-558. Schriftenreihe der Karlsruher Kongress- und Ausstellungs-GmbH, 2000.

  • Jürgen Dix, Luis Farinas del Cerro, and Ulrich Furbach, editors. Selected Papers of Logic in AI, volume 27 (1-4) of Special Issue of the Annals in Mathematics and Artificial Intelligence. Baltzer Science Publishers, 2000.

  • Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. In Andrei Voronkov and Alan Robinson, editors, Handbook of Automated Reasoning. Elsevier-Science-Press, 2000.

  • Jürgen Dix, Hector Munoz-Avila, and Dana Nau. IMPACTing SHOP: Planning in a Multi-Agent Environment. In Fariba Sadri and Ken Satoh, editors, Proceedings of CLIMA 2000, Workshop at CL 2000. Imperial College, 2000.

  • Jürgen Dix, Mirco Nanni, and V. S. Subrahmanian. Probabilistic Agent Reasoning. Transactions of Computational Logic, I(2), 2000.

  • Jürgen Dix, Mauricio Osorio, and Claudia Zepeda. A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications. Annals of Pure and Applied Logic, to appear, 2000.

  • Jürgen Dix, V. S. Subrahmanian, and George Pick. Meta Agent Programs. Journal of Logic Programming, 46(1-2):1-60, 2000.

  • Ulrich Furbach, Oliver Obst, and Frieder Stolzenburg. Intelligente agenten und ki. LOG IN -- Informatische Bildung und Computer in der Schule, 20(3/4):17-21, 2000.

  • Gunter Grieser, Klaus P. Jantke, Steffen Lange, and Bernd Thomas. A Unifying Approach to HTML Wrapper Representation and Learning. In Proceedings of the Third International Conference on Discovery Science, December 2000. Kyoto, Japan.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz. In Manuela Veloso, Enrico Pagello, and Hiroaki Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 628-631. Springer, Berlin, Heidelberg, New York, 2000. Team description.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2000. In Wiebe van der Hoek, editor, Proceedings of the Workshop for the Robocup European Championship. Vrije Universiteit Amsterdam, 2000. Team description.

  • Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Tucker Balch, Peter Stone, and Gerhard Kraetzschmar, editors, Proceedings of the 4th International Workshop on RoboCup, pages 90-99, Melbourne, 2000.

  • Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Introducing generalized specificity in logic programming. In Guillermo E. Feierherd, editor, Proceedings of the 6th Argentine Congress on Computer Science, pages 359-370, Ushuaia, Argentina, 2000. JAIIO, Buenos Aires.

  • Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. Spatial agents implemented in a logical expressible language. In Manuela Veloso, Enrico Pagello, and Hiroaki Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 481-494. Springer, Berlin, Heidelberg, New York, 2000.

  • Frieder Stolzenburg. Clause and effect -- Prolog programming for the working programmer. KI, 1/00:65, 2000. Buchrezension.

  • V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000.

  • Bernd Thomas. Token-Templates and Logic Programs for intelligent web search. Intelligent Information Systems, 14(2/3):241-261, March-June 2000. Special Issue: Methodologies for Intelligent Information Systems.

  • Bernd Thomas. Token-Templates and Logic Programs for intelligent web search. Intelligent Information Systems, 14(2/3):241-261, March-June 2000. Special Issue: Methodologies for Intelligent Information Systems.

  • Helmut Wolter and Ingo Dahn. Analysis Individuell. Springer, 2000.