19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

LRCM PROGRAM

Saturday, December 14th, 2013

Saturday's program is also available with abstracts.

09:30-10:00Coffee Break
12:00-14:00Lunch
14:00-15:30 Session 3C: Logics and Reasoning for Conceptual Modeling
Chair: C. Maria Keet
14:00
Gaelle Fontaine
Answering queries over inconsistent databases (abstract)
15:00
Hendrina F. Harmse, Arina Britz and Aurona Gerber
Scenario Testing on UML Class Diagrams using Description Logic (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 4C
Chair: Katarina Britz
16:00
Nasubo Ongoma and C. Maria Keet
Toward Representing Attributes in Temporal Conceptual Data Models (abstract)
16:30
Giovanni Casini and Alessandro Mosca
Defeasible ORM2 Constraints to Preserve Coherence (Extended Abstract) (abstract)