Activities

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.
October 2000, Universidad Tierra del Fuego, Usuhaia, Argentine:
Invited talk and Lecturing a course IMPACT: A Platform for Heterogenous Active Agents at Argentinean Conference on AI
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.

2003
Organiser (joint with M. Dastani, D. Kinny and A. Seghrouchni) of
Workshop on Programming Multi-Agent Systems Languages, frameworks, techniques and tools ,
AAMAS '03 associated workshop, 14th July, 2003. Melbourne, Australia.
Organiser (joint with M. Fisher) of Symposium on Logic-Based Agent Implementation:
An AgentLink/CologNet Symposium,
3rd February, 2003

2002
Organiser (joint with M. Fisher) of Dagstuhl-Seminar (November 2002):
Programming Multi Agent Systems based on Logic.
Organiser (joint with Ken Satoh and Joao Leite) of CLIMA '02,
Workshop in conjunction with ICLP '02
August 1st, 2002, Copenhagen, Denmark.
Organiser (joint with M. Golumbic, F. Hoffman and B. Faltings) of
Seventh Symposium on Math and AI (January 2002).

2001
Organizer (joint with Ken Satoh) of CLIMA '01,
Workshop in conjunction with ICLP '01
Dec. 1st, 2001, Paphos, Cyprus.

1999
Organizer (joint with VS Subrahmanian) of IMPACT '99

1998
Conference Chair of JELIA '98
Organizer (joint with Jorge Lobo) of the Logic Programming Workshop
as part of the International Workshop on Nonmonotonic Reasoning
(in connection with KR '98)
Organizer (joint with Steffen Hoelldobler) of the Inference Systems Workshop
as part of the German Annual Conference on Artificial Intelligence
(in connection with GMDS '98 and UI '98)

1997
Organizer (joint with L.M. Pereira and T. Przymusinski)
of a ILPS '97-Postconference Workshop:
Logic Programming and Knowledge Representation.
Port Jefferson, NY, USA, October 12, 1997.
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 of
First International Workshop on Declarative Agent Languages and Technologies,
AAMAS '03 associated workshop, 14th July, 2003. Melbourne, Australia.

2002
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.

2000
PC-member of two streams and a Workshop at CL'2000 ,
First International Conference on Computational Logic,
July 24-28, Imperial College, London, UK.
Stream on Knowledge Representation and Reasoning,
Stream on Automated Deduction,
Workshop on Computational Logic in Multi-Agent Systems,
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.
PC-member of Multi-Agent Systems in Logic Programming,
ICLP'99-Postconference WS,
Dec. 4, 1999, Las Cruces, New Mexico.
PC-member of DEXA '99 Agent WS,
Sep 2, 1999, Florence, Italy.
Chairman of System-Session of LBAI'99
WORKSHOP ON LOGIC-BASED ARTIFICIAL INTELLIGENCE,
June 13-15, 1999, Washington DC, USA.
PC-member of DGNMR '99,
Dutch-German Workshop on Nonmonotonic Reasoning,
March 25--27 1999, Max-Planck Institute, Amsterdam, Netherlands.

1998
PC-member of JICSLP '98,
Joint Conference and Symposium on Logic Programming,
June 15-19, 1998, Manchester, UK.
PC-member of JELIA '98,
Journees Europeens de la Logique en Intelligence Artificielle,
October 12-15, 1998, Dagstuhl, Germany.

1997
PC-member of LPNMR '97,
Fourth International Conference on Logic Programming and Nonmonotonic Reasoning
July 28-31, 1997, Dagstuhl, Germany.
PC-member of KI '97,
Jahrestagung fuer Kuenstliche Intelligenz,
September 9-12, Freiburg, Germany.
PC-member of DGNMR '97 February 1997, Max-Planck Institute, Saarbruecken, Germany.

1996
PC-member of JICSLP '96,
Joint Conference and Symposium on Logic Programming,
September 1996, Bad Honnef, Germany.
PC-member of the FLAIRS '96 Workshop on
Controlling Search in Automated Reasoning Systems,
January 1996.

International Lecturing

Deductive Databases (WS 95/96, TU Vienna, Austria)

Representing Knowledge with LP-Extensions, (Aug.14-19, 1996, Budapest, Hungary)
within ECAI '96, see ECAI '96 Tutorials and get the slides
Lecturer at Stefan Banach Center , (Dec. 2-15, 1996, Warsaw, Poland)
within Symposium on LOGIC, ALGEBRA and COMPUTER SCIENCE
in memoriam of Helena Rasiowa
Logic Programming and KR, (Aug. 2-16, 1997, Universite d' Aix-en-Provence, France)
within European Summer School in Logic, Language and Information
Get Dix-Slides, Get Brewka-Slides
Computational Logic (WS 97/98, TU Vienna, Austria)
Knowledge Representation and LP (SS 98, Universidad Nacional del Sur, Bahia Blanca, Argentina)
Algorithms (Spring 99, University of Maryland, College Park, USA)
Multi-Agenten Systeme, (SS 2000, TU Wien, Austria)
Multi-Agent Reasoning, (September 2000 Bahia Blanca, Universidad Nacional del Sur, Argentina)
IMPACT: A Platform for Heterogenous Agents, (October 2000 Ushuaia, Argentina)
Programming Multi-Agent Systems, (Aug. 5-16, 2002, Trento, Italy)
(jointly with Th. Eiter) within European Summer School in Logic, Language and Information

Tutorials and Recent Talks

Invited tutorial Logic-based Agents, (Sept. 26, 2002, Cosenza, Italy)
within JELIA '02
Invited tutorial Programming Multi-Agent Systems, (Aug. 5-16, 2002, Trento, Italy)
(jointly with Th. Eiter) within European Summer School in Logic, Language and Information 2002
Invited Talk at LPNMR01,
Vienna, Austria, August 2001.
Invited Talk at Argentinean Conference on Computer Science,
Ushuaia, Argentine, October 2000.
Here is my Power Point Presentation.
Invited Lecture course (5 days) on Multi-Agent Reasoning, at
Argentinean Conference on Computer Science, Ushuaia, Argentine, October 2000.
Invited Talk (joint with Th. Eiter) at Agent Link WS,
Imperial College, London, May 1999.
Here are our Slides of the course.
Invited Talk at 13. Workshop on Logic Programming,
TU Vienna, October 1998.
Here are my Slides.
Visiting Professor at the University of Bahia Blanca,
Department of Computer Science, Argentine in April 1998.
Here is a detailed description of the course.
Lecturer of European Summer School in Logic, Language and Information
held in August 1997 in Aix-en-Provence, France.
Get Dix-Slides
Get Brewka-Slides
Lecturer of Symposium on LOGIC, ALGEBRA and COMPUTER SCIENCE
in memoriam of Helena Rasiowa organized in Warsaw, December 1996
at Stefan Banach Center
Lecturer of ECAI '96, see ECAI '96 Tutorials and get the slides
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.

Research Projects

Principal Investigator (Manchester node) of the European RTD project SEmantic Webs and AgentS in Integrated Economies (SeWAsIE), issued from 2002-2005.

Principal Investigator (Manchester node) of the European Working Group on Answer Set Semantics (WASP), issued from 2002-2005.

Principal Investigator of the project on Optimizations of Heterogenous Agent Systems issued from 2002-2005. Funded by EPSRC.

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.

Principal Investigator of a german-argentinean cooperation on Information Technology. Issued 1999-2001. Funded by International Bureau of BMBF. Have a look at DeReLoP.

Principal Investigator (joint with U. Furbach) of the project on Disjunctive Logic Programming issued from 1995-2000. Funded by DFG.

Other Functions

Member of the Editorial Board of AICOMM, The European Journal of Artificial Intelligence.
Member of the Editorial Board of Annals of Mathematics and Artficial Intelligence.
Member of the Editorial Board of Journal of Applied Logic.
Member of the Association of Computing Machinery .
Member of the American Association of Artificial Intelligence.
Member of the Steering Committee of the CLIMA Workshop series.
Member of the Steering Committee of the JELIA Workshop series.
Member of the Steering Committee of the LPNMR conference series.
Expert Evaluator for the Italian Ministry for Education University and Research (MIUR).
Expert Evaluator for the Fifth Programme framework (European Commission).
Expert Evaluator for the British Council in Poland.
Coordinating Node (Koblenz) of the Compulog Network of Excellence, 1993-2000.
Coordinating Node (Manchester) of Agentlink II Network since 2001.
Coordinating Node (Clausthal) of CoLogNET Network since 2004.
Member of the Studienstiftung des deutschen Volkes, Student Scholarship from 1980-1986.
Member of the Institute for Informationsystems, Technical University of Vienna, Favoritenstraße 9/3/3, A-1040 Vienna, Austria since 1996.
Sprecher des Fachausschusses 1.2 (Inferenzsysteme) des Fachbereiches 1 (Künstliche Intelligenz) der Gesellschaft für Informatik (von 1996-1999).

This Page was created by Juergen Dix