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, 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
	Du Zhang	California State Univ. Sacramento, USA
	Guo-Qiang Zhang	Case Western Reserve Univ., USA