Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 04171

Logic Based Information Agents

( Apr 18 – Apr 23, 2004 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



Logic-based methods have a great potential as a toolbox for the development of information technology infrastructure which is able to provide and handle advances services. With the creation of the world wide web, and the advent of the internet as a communication backbone for connecting people, more and more data and information is becoming available; however, our current methods for managing this wealth of information, including searching, integrating, and updating, are still at an early stage. Quite some efforts will be needed to research the foundations of this as well practical methods. This concerns particular methods for well-defined information processing tasks, as well as the design of systems for intelligent information processing. Due to the distributed nature of the web, and the local autonomy of information sites, this requires in particular the design and development of societies of information agents, which need to cooperate for providing information services as desired by the end user.

The Dagstuhl Seminar 04171 (Logic Based Information Agents) brought together researchers and developers who are involved in the research for methods and the design of systems for agent-based information processing, and in particular for searching, fusing, and cleaning distributed data and knowledge, using tools and methods from computational logic.

The seminar provided a good opportunity for closer cooperation between the researchers from the areas of agent systems, semantic web, and P2P data integration. It helped to get a better understanding of the ways in which logic-based information agent systems may be built in the future, and helped to develop more efficient implementations of such systems.

  • Leopoldo Bertossi (Carleton University - Ottawa, CA) [dblp]
  • Guido Boella (University of Turin, IT) [dblp]
  • Diego Calvanese (Free University of Bozen-Bolzano, IT) [dblp]
  • Paolo Coraggio (University of Naples, IT)
  • Álvaro Cortés-Calabuig (KU Leuven, BE)
  • Stefania Costantini (University of L'Aquila, IT)
  • Marina De Vos (University of Bath, GB)
  • Jürgen Dix (TU Clausthal, DE) [dblp]
  • Thomas Eiter (TU Wien, AT) [dblp]
  • Pablo Fillottrani (Free University of Bozen-Bolzano, IT)
  • Enrico Franconi (Free University of Bozen-Bolzano, IT) [dblp]
  • Marco Gavanelli (Università di Ferrara, IT)
  • Alasdair J G Gray (Heriot-Watt University Edinburgh, GB)
  • Juan Heguiabehere (Free University of Bozen-Bolzano, IT)
  • Marcus Herzog (TU Wien, AT)
  • Ian Horrocks (University of Manchester, GB) [dblp]
  • Gabriel Kuper (Università di Trento, IT)
  • Maarten Marx (University of Amsterdam, NL)
  • Viviana Mascardi (University of Genova, IT) [dblp]
  • Werner Nutt (Heriot-Watt University Edinburgh, GB)
  • Peter F. Patel-Schneider (Bell Labs - Murray Hill, US)
  • Riccardo Rosati (Sapienza University of Rome, IT)
  • Ken Satoh (National Institute of Informatics - Tokyo, JP) [dblp]
  • Kostas Stathis (City University - London, GB)
  • Frieder Stolzenburg (HS Harz - Wernigerode, DE)
  • David Toman (University of Waterloo, CA) [dblp]
  • Francesca Toni (Imperial College London, GB) [dblp]
  • Leon van der Torre (CWI - Amsterdam, NL) [dblp]
  • Emil Weydert (University of Luxembourg, LU) [dblp]
  • Yingqian Zhang (University of Manchester, GB) [dblp]