Graph Structures for Knowledge Representation and Reasoning

1. Front Matter

   PDF

2. Local Characterizations of Causal Bayesian Networks

   • Elias Bareinboim, Carlos Brito, Judea Pearl

   Pages 1-17

3. Boolean Formulas of Simple Conceptual Graphs (\(\mathcal{SGBF}\))

   • Olivier Carloni

   Pages 18-67

4. Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs

   • Stefania Costantini, Alessandro Provetti

   Pages 68-90

5. Bucket and Mini-bucket Schemes for M Best Solutions over Graphical Models

   • Natalia Flerova, Emma Rollon, Rina Dechter

   Pages 91-118

6. Supporting Argumentation Systems by Graph Representation and Computation

   • Jérôme Fortin, Rallou Thomopoulos, Jean-Rémi Bourguet, Marie-Laure Mugnier

   Pages 119-136

7. Representing CSPs with Set-Labeled Diagrams: A Compilation Map

   • Alexandre Niveau, Hélène Fargier, Cédric Pralet

   Pages 137-171

8. A Semantic Web Interface Using Patterns: The SWIP System

   • Camille Pradel, Ollivier Haemmerlé, Nathalie Hernandez

   Pages 172-187

9. Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs

   • Daniel R. Schlegel, Stuart C. Shapiro

   Pages 188-207

10. Back Matter

    PDF

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2011, held in Barcelona, Spain, in July 2011 as satellite event of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 12 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques and investigate further developments of knowledge representation and reasoning graph based techniques. Topics addressed are such as: bayesian networks, semantic networks, conceptual graphs, formal concept analysis, cp-nets, gai-nets, euler diagrams, existential graphs all of which have been successfully used in a number of applications (semantic Web, recommender systems, bioinformatics etc.).

• approximate inference
• constraint satisfaction
• dynamic programming
• logic programming
• query language
• algorithm analysis and problem complexity

• University Montpellier II, Montpellier, France

  Madalina Croitoru

• Karlsruhe Institue of Technology, Karlsruhe, Germany

  Sebastian Rudolph

• 4C Computater Science, University College Cork, Cork, Ireland

  Nic Wilson

• School of Computing, Engineering and Mathematics, University of Brighton, Brighton, UK

  John Howse

• INRIA, Sophia Antipolis, France

  Olivier Corby

Policies and ethics