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. We hope that the presentation of different perspectives on inconsistency will be mutually enriching and will stimulate further research.
Attendance is limited to active participants only.
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. Pontificia Universidad Catolica de Chile, Escuela de Ingenieria, Depto. Ciencia de Computacion, Casilla 306, Santiago 22, Chile. Toulouse Cedex 4, France.