Instituto Tecnológico de Informática
CNRS
Universidad Politécnica de Valencia

DALI 2011


Wednesday, 31 August 2011
Université Paul Sabatier, Toulouse, France


DEXA 2011

IRIT

UPS
Home Call for Papers Registration Contact Us

International Workshop
Data, Logic and Inconsistency

in conjunction with DEXA 2011


Program


08:50 - 09:00  Welcome and Workshop Opening

09:00 - 10:00  Session 1:   Paraconsistent Logics

09:00 - 09:30  
Paraconsistent Inference from Data using Existential Ω-Entailment
Michael Kassoff and Michael R. Genesereth

09:30 - 10:00  
Some Observations on the Systems LFI1 and LFI1*
Hitoshi Omori and Toshiharu Waragai

10:00 - 10:30  Coffee Break

10:30 - 12:00  DEXA Keynote Talk

The Science of Conceptual Modelling
Bernhard Thalheim

12:00 - 14:00  Lunch

14:00 - 15:30  Session 2:   Applications

14:00 - 14:30  
Measuring Inconsistency in Network Intrusion Rules
Kevin McAreavey, Weiru Liu and Paul Miller

14:30 - 15:00  
Intuitionistic Description Logic and Legal Reasoning
Edward H. Haeusler, Valéria de Paiva and Alexandre Rademaker

15:00 - 15:30  
Bounded Rationality for Data Reasoning based on Formal Concept Analysis
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz and Juan Galán-Páez

15:30 - 16:00  Coffee Break

16:00 - 17:00  Session 3:   Probabilistic and Argumentation-based Logics

16:00 - 16:30  
Handling various forms of inconsistency in possibilistic logic
Didier Dubois and Henri Prade

16:30 - 17:00  
A first attempt to allow enthymemes in persuasion dialogs
Florence Dupin de Saint-Cyr

17:00 - 17:30  Invited Talk 

Reasoning about SQL constraints in S-3 fragments
Sebastian Link

17:30 - 17:35  Workshop Closing


19:00 - 20:00  DEXA Reception in the City Hall of Toulouse



DALI Workshop at DEXA 2011, Aug. 29 - Sept. 2, Toulouse, France