Data, Logic and Inconsistency

****** DALI 2011 ******

31 August 2011

http://web.iti.upv.es/~hendrik/DALI-2011/


In conjunction with DEXA 2011 (Aug. 29 - Sept. 2, 2010)
IRIT, Paul Sabatier University
Toulouse, France


Dates

* Submission: 20 March 2010
* Notification: 20 April 2010
* Camera Ready: 20 May 2010


Scope

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,
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 and
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.

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.


Topics

* 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

Authors are encouraged to submit an electronic version (preferably .pdf)
of original unpublished work by March 20, 2011. Please navigate to the
DALI'11 link of http://confdriver.ifs.tuwien.ac.at/dexa2011 for submission.

Full papers must neither be published nor currently revised elsewhere,
contain an abstract of up to 200 words, and be written in English.
The IEEE format of final versions of accepted papers (5 double column
text pages) is recommended. All papers submitted to DALI 2011 will be
peer-reviewed. Accepted papers will be published in the proceedings
volume of the DEXA 2011 workshops. In case of questions or problems,
please contact the DALI organizers.


Organizers

Philippe Besnard
IRIT, Univ. Paul Sabatier
Toulouse, France

Hendrik Decker
UPV, Instituto Tecnologico de Informatica
Valencia, Spain

Andreas Herzig
IRIT, Univ. Paul Sabatier
Toulouse, France


Program Committee

* Ofer Arieli, Academic College Tel-Aviv, Israel
* Braulio Coelho Avila, Univ. Parana, 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
* Joaquin Borrego-Diaz, Univ. Sevilla, Spain
* Walter Carnielli, Univ. Campinas, Brazil
* Diego Calvanese, Univ. Bolzano, Italy
* Jeremy Carroll, TopQuadrant, Mountain View, CA, USA
* Laurence Cholvy, ONERA-CERT, Toulouse, France
* Jan Chomicki, Univ. Buffalo, USA
* Marie-Odile Cordier, IRISA, Rennes, France
* Hendrik Decker, Inst. Tecnol. Informatica, Valencia, Spain
* Robert Demolombe, IRIT, Toulouse, France
* Andreas Herzig, Univ. Paul Sabatier, Toulouse, France
* Anthony Hunter, Univ. College London, UK
* Timothy Hinrichs, Univ. Chicago, USA
* Weiru Liu, Univ. Belfast, UK
* Sabastien Konieczny, Univ. d'Artois, Lens, France
* Joao Marcos, Univ. Campinas, Brazil
* Davide Martinenghi, Politec. Milano, Italy
* Joke Meheus, Ghent Univ., Belgium
* Yves Moinard, IRISA, Rennes, France
* Torsten Schaub, Univ. Potsdam, Germany
* Slawomir Staworko, INRIA, Lille, France
* Settimo Termini, Univ. Palermo, Italy
* Hans Tompits, Tech. Univ. Vienna, Austria
* Joergen 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

For further information, please consult
http://web.iti.upv.es/~hendrik/DALI-2011/.