KRR Coordinator’s Report

Luis Moniz Pereira

KRR 1998 Area Meetings

In 1998 there were seven workshops and conferences organized oninitiative of KRR area nodes, partly supported by the COMPULOG-NET, and about which you will find reports elsewhere in this issue of the Newsletter.

First, “Logic Programming track at the 7th Non-monotonic Reasoning Workshop”, May 30 - June 1, 1998, Trento, Italy. A special issue of the Annals of Mathematics and Artificial Intelligence on Logic Programming and Non-monotonic reasoning will contain full versions of some of the papers presented in the workshop plus other papers related to the area from KR98. The issue will be available at the beginning of the second semester of 1999.

Second, the “7th Non-monotonic Reasoning Workshop”, May 30 - June 1, 1998, Trento, Italy. Proceedings available from the organizers.

Third, APPIA-GULP-PRODE’98, the “V Joint Conference on Declarative Programming”, held in 20-23 July 1998, at A Coruna, Spain. An ongoing series of conferences promoted by national associations in Italy, Portugal, and Spain to foster collaboration. Proceedings are available from the organizers.

Fourth, the 6th Ibero-American Conference on AI, which took place in Lisbon, Portugal, October 6-9, 1998. Proceedings published in Springer-Verlag’s LNAI series, vol. 1484.

Fifth, the Sixth International Conference on Principles of Knowledge Representation and Reasoning, KR’98, held in June 2-5, 1998 in Trento, Italy. Proceedings published by Morgan and Kaufmann.

Sixth, JELIA’98, “Logics in AI” conference, held at Dagstuhl, Germany, 12-15 October 1998. Proceedings available in Springer-Verlag’s LNAI series, vol. 1489. Seventh, TADP’98, “Tabulation in Deduction and Parsing” workshop, held 1-3 April, Paris, France. Proceedings available from the organizers.

KRR Project Reports In this issue we include:
(1) A report on research in logic programming at the University of Maryland, by V.S.Subrahmanian.
(2) A report on “InterProlog: a simple yet powerful Java/Prolog interface”, by Miguel Calejo.
(3) A report on Computational Logic Projects at the University of Leipzig, by Gerhard Brewka.

Other KRR area news

Included is a book review, by Michael Schroeder, of Gerd Wagner’s “Foundations of Knowledge Systems with Applications to Databases” and Agents, Kluwer 1998.

Universidade Nova de Lisboa
2825 Monte da Caparica
Portuga
l Email: lmp@di.fct.unl.pt
http://www-ia.di.fct.unl.pt/~lmp