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