DALI 2011 - First International Workshop Data, Logic and Inconsistency DALI 2011

The fundamental role of logic in the field of data management is well-known and beyond dispute. Classical logic, however, fails to deal appropriately with inconsistent data. In particular, everything, and thus nothing useful, can be logically deduced from inconsistency. To avoid, work around, resolve, or even take advantage of extant inconsistencies, many alternative approaches have been proposed or are being used. Such approaches are needed since, in spite of any preventive measures, inconsistency is unavoidable. In fact, most sizable databases tend to contain data that violate some integrity constraints, and increasingly many applications are dealing with logically conflicting data. The DALI workshop focuses on logic approaches and applications to data management that cope with inconsistency.

Topics

We are calling for papers presenting original research, innovative ideas, work in progress, industrial experience, case studies or position statements. Data, logics and inconsistency-related applications that are of interest include the following topics and related issues.

Ambiguous data
Imprecise Data
Incomplete Data
Messy Web Data
Null Values
Probabilistic Data
Rough Data
Uncertain Data
Vague Data

Abductive Logics
Adaptive Logics
Datalog
Description Logic
Direct Logic
Fuzzy Logic
Nonmonotonic Logics
Modal Logics
Paraconsistent Logics
Relational Logic
Quasi-Classical Logic

Argumentation
Belief Revision
Collaboration
Communication and Interaction
Counterfactual/Subjunctive Reasoning
Data Cleansing
Data Federation and Integration
Data Mining
Data Modeling
Data Quality
Default Reasoning
Distribution and Replication
Fault Tolerance
Forensic Data Analysis
Inconsistency Metrics
Information Retrieval
Integrity Maintenance
Natural Language Understanding
Planning
Remedying and Repairing
Requirement Engineering
Risk Management
Security
Streaming Data Analysis
Web Search

Submissions

Please login here and submit an electronic copy (preferably .pdf) of your work. For dates and deadlines, click here. Submissions must be neither published nor under revision elsewhere, be written in English, contain an abstract of about 200 words and should not exceed five double column pages in IEEE format. In case of any problems, please contact the organizers.

Proceedings

All papers submitted to DALI 2011 will be peer-reviewed. Accepted papers that are presented at the workshop will be published in an IEEE CSP proceedings volume of the DEXA 2011 workshops.

Organizers
Philippe Besnard
IRIT-CNRS
Université Paul Sabatier
Toulouse, France
Hendrik Decker
Instituto Tecnológico
de Informática, UPV
Valencia, Spain
Andreas Herzig
IRIT-CNRS
Université Paul Sabatier
Toulouse, France
Program Committee

Ofer Arieli Academic College Tel-Aviv, Israel
Bráulio Coelho Ávila Univ. Paraná, Brazil
Diderik Batens Ghent Univ., Belgium
Leopoldo Bertossi Carleton University, Ottawa, Canada
Philippe Besnard Univ. Paul Sabatier, Toulouse, France
Meghyn Bienvenu Univ. Paris Sud, France
Joaquín Borrego-Díaz Univ. Sevilla, Spain
Walter Carnielli Univ. Campinas, Brazil
Diego Calvanese Univ. Bolzano, Italy
Jeremy Carroll TopQuadrant, Mountain View, CA, USA
Laurence Cholvy ONERA, Toulouse, France
Jan Chomicki Univ. Buffalo, USA
Marie-Odile Cordier Univ. Rennes1/IRISA, Rennes, France
Hendrik Decker Inst. Tecnol. Informática, Valencia, Spain
Robert Demolombe IRIT, Toulouse, France
Andreas Herzig Univ. Paul Sabatier, Toulouse, France
Timothy Hinrichs Univ. Chicago, USA
Anthony Hunter Univ. College London, UK
Sébastien Konieczny Univ. d'Artois, Lens, France
Weiru Liu Univ. Belfast, UK
João Marcos Univ. Fed. Rio Grande de Norte, Brazil
Davide Martinenghi Politec. Milano, Italy
Joke Meheus Ghent Univ., Belgium
Yves Moinard IRISA, Rennes, France
Guilin Qi Southeast Univ., Nanjing, China
Torsten Schaub Univ. Potsdam, Germany
Sławomir Staworko INRIA, Lille, France
Settimo Termini Univ. Palermo, Italy
Hans Tompits Tech. Univ. Vienna, Austria
Jørgen Villadsen DTU, Copenhagen, Denmark
Kewen Wang Griffith Univ., Australia
Toshiharu Waragai Tokyo Inst. Technology, Japan
Gregory Wheeler Univ. Nova Lisboa, Portugal
Stefan Woltran Tech. Univ. Vienna, Austria
Guo-Qiang Zang Case Western Reserve Univ., USA
Du Zhang California State Univ. Sacramento, USA