July-August 1994, Universite de Provence, Marseille, France:
Visiting Professor at the Computer Science Department.
October-November 1995, Technical University of Vienna,
Vienna, Austria:
Lecturing a course on "Deductive Databases and KR"
at the Computer Science Department.
December 1996, Stefan Banach Center, Warsaw, Poland:
Lecturer at the Symposium on
LOGIC, ALGEBRA and COMPUTER SCIENCE in memoriam
of Helena Rasiowa, December 6-December 20
August 1997, Universite d'Aix-en-Provence, Aix-en-Provence, France: Lecturer at ESSLLI
of a two weeks course on Knowledge Representation (joint with G. Brewka) Get
My Slides
October-November 1997, Technical University of Vienna,
Vienna, Austria: Visiting Professor
at the Computer Science Department of the Technical
University of Vienna. WS 97/98 Computational Logic
March-April 1998, Universidad Nacional del Sur, Bahia Blanca, Argentine: Visiting Professor at the
Computer Science Department. Lecturing a course Knowledge Representation and LP.
July-October 1998, University of Maryland, College Park (MD), USA: Visiting
Professor at the Department of Computer
Science.
January-October 1999, University of Maryland, College Park (MD), USA: Visiting
Professor at the Department of Computer Science. Spring 99, Algorithms and Complexity, UMD
June 2000: Technical University of Vienna,
Vienna, Austria: Visiting Professor
at the Computer Science Department of the Technical
University of Vienna. SS 00 Multi-Agent Systems
September 2000, Universidad Nacional del Sur, Bahia Blanca,
Argentine:
Visiting Professor at the Computer Science Department.
Lecturing a course Foundations of
Multi-Agent Reasoning at Universidad Nacional del Sur,
Bahia Blanca, Argentina.
July-August 2001, University of Maryland, College Park (MD), USA: Visiting Professor at the Department of Computer Science.
October 2001, Universidad Nacional del Sur, Bahia Blanca,
Argentine:
Visiting Professor at the Computer Science Department.
June-August 2003, NICTA, University of New South Wales, Sydney,
Australia:
Visiting Professor at National Institute for Information and Communication Australia.
Lecturing a course Combining Agents, Answer Sets and Planning
Organizing Conferences
2004
Organizer (joint with E. Franconi and Th. Eiter) of Logic-based Information Agents,
a Dagstuhl seminar. Spring 2004, Dagstuhl, Germany.
Organiser (joint with Joao Leite) of CLIMA IV,
Workshop in conjunction with LPNMR '04
January 6-7, 2004, Fort Lauderdale, Florida, USA.
Conference Chair (joint with U. Furbach) of LPNMR
'97
Organizer
(joint with U. Furbach, S. Pribbenow, K. Schill, C. Schlieder)
of a KI
'97-Workshop on
Inference-systems from a logical and a cognitive viewpoint.
Freiburg, 9 September 1997.
1996
Organizer (joint with D. Loveland, J. Minker and D. S. Warren) of
Dagstuhl-Seminar 9627 (July 1996): Disjunctive Logic Programming and Databases: Nonmonotonic Aspects,
Organizer (joint with L.M. Pereira and T. Przymusinski)
of a JICSLP
'96-Postconference Workshop: Nonmonotonic Extensions of Logic Programming:
Theory, Applications and Implementations,
Revised Proceedings were published in
J. Dix, L. M. Pereira , T. Przymusinski (eds.), LNAI 1216, Springer 1997.
1994
Organizer (joint with L.M. Pereira and T. Przymusinski)
of a ICLP '94
Postconference Workshop on
Nonmonotonic Extensions of LP,
Revised Proceedings
were published in J. Dix, L. M. Pereira , T. Przymusinski (eds.), LNAI 927, Springer 1995.
1990
Involved in the organization of the first International
Non-monotonic and Inductive Logic Workshop held in Dec. 1990
in Karlsruhe, see J. Dix, P. Jantke, P. Schmitt (eds.), LNAI 543,
Springer, 1991.
Member in Programme Committees
2004
PC-member of ICLP '04 , International Conference on Logic Programming,
Sept. 6 - 9, 2004, Saint-Malo, France.
PC-member of MICAI '04 , Mexican International Conference on Artificial Intelligence,
March 30 - April 2, 2004, Mexico City, Mexico.
PC-member of AAMAS '04 , Third International Joint Conference on Autonomous Agents &
Multi-Agent Systems,
July 19 -- 23, 2004, New York City, USA.
PC-member of FoIKS '04 , International Symposium on Foundations of Information and
Knowledge Systems,
2004, Vienna, Austria.
PC-member of LPNMR
'04,
Seventh International Conference on Logic Programming and Nonmonotonic
Reasoning,
January 6--8, 2004, Fort Lauderdale, Florida, USA.
2003
PC-member of EUMAS '03 , 1st European Workshop on Multiagent Systems,
Dec 18-19, 2003, Oxford, UK.
PC-member of AAMAS '03 , Second International Joint Conference on Autonomous Agents &
Multi-Agent Systems,
July 15 -- 19, 2003, Melbourne, Australia.
PC-member of UKMAS '02 , National Workshop on Multi Agent Systems,
December 18 -- 19, 2002, Liverpool, UK.
PC-member of JELIA '02 , Journees Europeens de la Logique en Intelligence Artificielle,
September 23--26, 2002, Cosenza, Italy.
PC-member of MoChArt '02 , Workshop on Model Checking and AI,
July 22 -- 23, 2002, Lyon, France.
PC-member of AAMAS '02 , First International Joint Conference on Autonomous Agents &
Multi-Agent Systems,
July 15 -- 19, 2002, Bologna, Italy.
PC-member of MICAI '02 , Mexican International Conference on Artificial Intelligence,
April 22 -- 26, 2002, Yucatan, Mexico.
PC-member of FoIKS '02 , International Symposium on Foundations of Information and
Knowledge Systems,
Feb. 19 -- 23, 2002, Bad Salzau, Germany.
2001
PC-member of UKMAS '01 , National Workshop on Multi Agent Systems,
December 13 -- 14, 2001, Oxford, UK.
PC-member of LPAR '01 , 8th International Conference on Logic for
Programming, Artificial Intelligence and Reasoning,
December 3 -- 7, 2001, Havana, Cuba.
PC-member of ICLP'2001 , International Conference on Logic Programming,
Nov. 26 -- Dec. 1, 2001, Paphos, Cyprus.
PC-member of KI'2001 , Joint German/Austrian Conference
on Artificial Intelligence,
Sept. 19 -- 21, 2001, Vienna, Austria.
<
PC-member of WFLP '01 , International Workshop on Functional and (Constraint)
Logic Programming
,
Sept. 13 -- 15, 2001, Kiel, Germany.
PC-member of and Organizer of Systems Demonstrations Session at NMR'2000 , Eigth Workshop on Nonmonotonic Reasoning,
April 9-11, 2000, Breckenridge Resort, Colorado.
PC-member of SEKE'2000 ,
Twelfth International Conference on Software Engineering and Knowledge Engineering, July 6-8, 2000, Chicago, USA.
PC-member of ICMAS'2000 ,
Fourth International Conference on Multiagent Systems,
July 7-12, 2000, Boston, USA.
PC-member of WLP 2000
,
WLP - Workshop Logische Programmierung,
Januar 26--28, 2000, Wuerzburg, Germany.
1999
PC-member of LPNMR
'99,
Fifth International Conference on Logic Programming and Nonmonotonic
Reasoning,
December 2--4, 1999, El Paso, Texas, USA.
PC-member of ICLP
'99,
International Conference on Logic Programming,
Nov. 29-- Dec. 4, 1999, Las Cruces, New Mexico.
Lecturer at NIL '91 (Nonmonotonic and Inductive Logic),
joint with Gerd Brewka and Kurt Konolige. Appeared in
Brewka/Jantke/Schmitt (eds.), Non-monotonic and Inductive Logic.
2nd Workshop held in Dec. 1991 at Reinhardsbrunn Castle.
pages 1--88, LNAI 659, Springer, 1992.
Principal Investigator (joint with U. Furbach) of the project on
Intelligent
Information Agents in the www issued from 2000-2002. Funded by
Stiftung Innovation Rheinland-Pfalz.