``INCONSISTENCY IN DATA AND KNOWLEDGE"
held at the International Joint Conference on Artificial Intelligence (IJCAI-2001)
Seattle, August 6th, 2001
NEW Workshop program
The problem of reasoning in the presence of inconsistency has been studied by the mathematical logic community for some decades. Nevertheless, new challenges, problems and issues have appeared in the context of knowledge representation in AI, database systems, formal specifications and other areas of computer science. The main goal of this workshop is to identify new inconsistency-related problems of conceptual and practical significance, and the ways they are handled in different contexts.
The workshop is expected to bring together people from different research communities (knowledge representation, databases, formal specifications, mathematical and philosophical logic) that are actively pursuing the issue of inconsistency. We hope that the presentation of different perspectives on inconsistency will be mutually enriching and will stimulate further research.
We are interested in the following topics (the list is not exclusive):
To encourage interaction and a broad exchange of ideas, IJCAI'01 workshops will be limited to 40 participants. Attendance is limited to active participants only. Workshop attendees must register for the main IJCAI conference, to be held after the workshops days (August 7-10). An additional workshop fee will be charged for each participant.
The technical program will include a couple of invited talks by leading experts in the field, a panel discussion, and contributed papers.
Researchers interested in presenting their results at the workshop are invited to submit a full paper not exceeding 8 pages in IJCAI format (see http://www.boeing.com/nosearch/ijcai/index.html). Other potential participants are expected to submit a short (2 pages) statement of interest outlining their research and their reasons for participation.
To submit your paper send a plain ASCII version of your title page including title, abstract, author names (including affiliations, email and postal addresses), and the file name of your submission to email@example.com.
The paper itself has to be sent by e-mail as a .ps or .pdf file to firstname.lastname@example.org. Please use a file name starting with the name of the first author. Make sure the paper can be printed in letter size.
The accepted papers will be published in the working notes of the workshop.
For more information on workshops at IJCAI-01 see: