Workshop Programme
- 09:00-10:00 - Jean-Francois Baget. Graph-based Reasonings for Ontological Conjunctive Query
Answering. Invited talk.
- 10:00 - 11:00 - Daniel Schlegel, Stuart Shapiro. Extended Presentation: Visually Interacting with a Knowledge Base using Frames, Logic, and Propositional Graphs
- Coffee Break
- 11:30 - 12:00 Stefania Costantini, Alessandro Provetti Graph Representations of Consistency and Truth-Dependencies in Logic Programs With Answer
Set Semantics
- 12:00 - 12:30 Elias Bareinboim, Carlos Brito,Judea Pearl Local Characterizations of Causal Bayesian Networks
- 12:30 - 13:00 Olivier Carloni Boolean formulas of simple conceptual graphs
- Lunch Break
- 14:30 - 15:00 Natalia Flerova, Rina Dechter, Emma Rollon. Bucket and mini-bucket Schemes for M Best Solutions over Graphical Models
- 15:00 - 15:30 Alexandre Niveau, Helene Fargier, Cedric Pralet. Representing CSPs with Set-labeled Diagrams: A Compilation Map
- 15:30 - 16:00 Lars Otten and Rina Dechter. Anytime Depth-First Search with Problem Decomposition for Optimization in Graphical Models
- 16:00 - 16:30 Jerome Fortin, Rallou Thomopoulos, Jean-Remi Bourguet, Marie-Laure MugnierSupporting Argumentation Systems by Graph Representation and Computation
- Coffee Break