posted by system || 2658 views || tracked by 1 users: [display]

DALI 2011 : Data, Logic and Inconsistency


When Aug 31, 2011 - Aug 31, 2011
Where Toulouse, France
Submission Deadline Mar 20, 2011
Notification Due Apr 20, 2011
Final Version Due May 20, 2011
Categories    databases   logic

Call For Papers

Data, Logic and Inconsistency

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

31 August 2011

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


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


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

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


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


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

Related Resources

LICS 2018   Logic in Computer Science
ECML-PKDD 2018   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
DATA 2018   7th International Conference on Data Science, Technology and Applications
DISP 2018   Special Issue on Data Intelligence in Security and Privacy, Journal of Information Security and Applications
IJCI 2018   International Journal on Cybernetics & Informatics
INISTA 2018   IEEE International Conference on Innovations in Intelligent SysTems and Applications
DBDM 2018   6th International Conference on Database and Data Mining
AusDM 2018   Australasian Data Mining Conference
IJOE 2018   International Journal on Organic Electronics