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
14:00
Answering queries over inconsistent databases (abstract)
15:00
Scenario Testing on UML Class Diagrams using Description Logic (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 4C
16:00
Toward Representing Attributes in Temporal Conceptual Data Models (abstract)
16:30
Defeasible ORM2 Constraints to Preserve Coherence (Extended Abstract) (abstract)