1999

 Veröffentlichungen 1999

  • Peter Baumgartner and Michael Kühn. Abducing coreference by model construction. In Proceedings of the 1st Workshop on Inference in Computational Semantics (ICoS-1), Amsterdam, 1999. Institute for Logic, Language and Computation (ILLC).

  • Peter Baumgartner and Dorothea Schäfer. Coupling the software verification system KIV with the theorem prover PROTEIN. In Rudolf Berghammer and Yassine Lakhnech, editors, Tool Support for System Specification, Development, and Verification, Advances in Computer Science. Springer, 1999.

  • Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach. A confluent connection calculus. In Harald Ganzinger, editor, CADE-16 -- The 16th International Conference on Automated Deduction, volume 1632 of Lecture Notes in Artificial Intelligence, pages 329-343, Trento, Italy, 1999. Springer.

  • Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach. A confluent connection calculus. In Steffen Hölldobler, editor, Intellectics and Computational Logic -- Papers in Honor of Wolfgang Bibel. Kluwer, 1999.

  • Peter Baumgartner, J.D. Horton, and Bruce Spencer. Merge path improvements for minimal model hyper tableaux. In Neil Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence. Springer, 1999.

  • Stefan Brass and Jürgen Dix. Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. Journal of Logic Programming, 38(3):167-213, 1999.

  • S. Brass, J. Dix, and T. Przymusinski. Computation of the semantics for autoepistemic beliefs. Artificial Intelligence, 112(1-2), 1999.

  • Jürgen Dix and Jorge Lobo, editors. Logic Programming and Non-monotonic Reasoning, volume 25(3-4) of Special Issue of the Annals in Mathematics and Artificial Intelligence. Baltzer Science Publishers, 1999.

  • Jürgen Dix and Mauricio Osorio. Confluent rewriting systems in non-monotonic reasoning. Computacion y Sistemas, Volume II, No. 2-3:104-123, 1999.

  • Jürgen Dix and Karl Schlechta. Explaining updates by minimal sums. Technical Report CS-TR-4051, Dept. of CS, University of Maryland, College Park, MD 20752, July 1999. Accepted for FSTTCS'99, full version submitted to a journal.

  • Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Technical Report CS-TR-4052, Dept. of CS, University of Maryland, College Park, MD 20752, June 1999. To appear in Handbook of Automated Reasoning.

  • Jürgen Dix, Sarit Kraus, and V.S. Subrahmanian. Temporal agent programs. Technical Report CS-TR-4055, Dept. of CS, University of Maryland, College Park, MD 20752, September 1999. Currently under submission for a journal.

  • Jürgen Dix, Mirco Nanni, and V.S. Subrahmanian. Probabilistic agent reasoning. Technical Report CS-TR-4054, Dept. of CS, University of Maryland, College Park, MD 20752, September 1999. Currently under submission for a journal.

  • Jürgen Dix, Mauricio Osorio, and Claudia Zepeda. A general theory of confluent rewriting systems for logic programming and its applications. Technical Report CS-TR-4050, Dept. of CS, University of Maryland, College Park, MD 20752, September 1999. Accepted for Annals of Pure and Applied Logic.

  • Jürgen Dix, Frieder Stolzenburg, Guillermo R. Simari, and Pablo R. Fillottrani. Automating defeasible reasoning with logic programming (DeReLoP). In Stefan Jähnichen and Irene Loiseau, editors, Proceedings of the 2nd German-Argentinian Workshop on Information Technology, pages 39-46, Königswinter, 1999.

  • Jürgen Dix, V.S. Subrahmanian, and George Pick. Meta-agent programs. Technical Report CS-TR-4053, Dept. of CS, University of Maryland, College Park, MD 20752, June 1999. Accepted for Journal of Logic Programming.

  • Jürgen Dix. Cognitive Systems. In John G. Webster, editor, Encyclopedia of Electrical and Electronics Engineering, 24 Volumes, pages 531-540. John Wiley & Sons, Chicester, New York, 1999.

  • Michael Kühn. A dynamic view on model construction for discourse interpretation. In Proceedings of ESSLLI `99 Student Session. Universiteit Utrecht, 1999.

  • Wenjin Lu. CH-Prolog: A proof procedure for positive disjunctive logic programming. In Amruth Kumar and Ingrid Russell, editors, Proceedings of FLAIRS 99, Orlando, USA. AAAI Press, 1999.

  • Wenjin Lu. Nonmonotonic Reasoning Based on Minimal Models and Its Implementation. Koblenzer Schriften zur Informatik 11. Fölbach Verlag, Koblenz, 1999. Dissertation.

  • Wenjin Lu. View updates in disjunctive deductive databases based on SLD-Resolution. In Enrico Franconi and Michael Kifer, editors, Proceedings of KRDB'99, Linkoeping (Sweden), 1999.

  • Jan Murray, Frieder Stolzenburg, Oliver Obst, and Björn Bremer. RoboLog Koblenz: Complex agent scripts implemented in logic. In Stefan Sablatnög and Stefan Enderle, editors, Proceedings of the Workshop RoboCup during KI'99 in Bonn, pages 12-25, 1999. SFB 527 Report 1999/12, Universität Ulm.

  • Oliver Obst and Frieder Stolzenburg. Der RoboCup während der IJCAI'99. KI, 4/99:66-67, 1999. Tagungsbericht.

  • Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. RoboLog Koblenz: Spatial agents implemented in a logical expressible language. In Silvia Coradeschi, Tucker Balch, Gerhard Kraetzschmar, and Peter Stone, editors, Team Descriptions --- Simulation League, pages 116-120. Linköping University Electronic Press, 1999.

  • Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. Spatial agents implemented in a logical expressible language. In Manuela M. Veloso, editor, Proceedings of the 3rd International Workshop on RoboCup in Conjunction with 16th Joint International Conference on Artificial Intelligence, pages 205-210, Stockholm, 1999. IJCAI press.

  • Frieder Stolzenburg. An algorithm for general set unification and its complexity. Journal of Automated Reasoning, 22(1):45-63, 1999.

  • Frieder Stolzenburg. Declarativity and constraints in a multi-agent system architecture for spatial reasoning. In Christoph Schlieder, editor, Themenkolloquium Räumliche Inferenz des DFG-Schwerpunktprogramms Raumkognition: Beiträge zur Gestaltung der Schnittstelle zwischen maschinellem und mentalem Problemlösen, Freiburg, 1999.

  • Frieder Stolzenburg. Loop-detection in hyper-tableaux by powerful model generation. Journal of Universal Computer Science, 5(3):135-155, 1999. Special Issue on Integration of Deduction Systems. Guest editors: Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt and Wolfgang Reif. Springer, Berlin, Heidelberg, New York.

  • Bernd Thomas. Anti unification based learning of T-wrappers for information extraction. In Proceedings of the Workshop on Machine Learning for Information Extraction, July 1999. Preceeding Sixteenth National American Conference on Artifical Intelligence (AAAI-99), Orlando Florida.

  • Bernd Thomas. Learning T-wrappers for information extraction. In Proceedings of the Workshop on Machine Learning in Human Language Technology, July 1999. Advanced Course on Artificial Intelligence (ACAI'99), Crete Chania, Greece.

  • Bernd Thomas. Logic programs for intelligent web search. In 11th International Symposium on Methodologies for Intelligent Systems -- ISMIS, LNAI 1609. Springer, Berlin, Heidelberg, New York, June 1999.