Graph Structures for Knowledge Representation and Reasoning

4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

  • Madalina Croitoru
  • Pierre Marquis
  • Sebastian Rudolph
  • Gem Stapleton
Conference proceedings GKR 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9501)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 9501)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Michael Anslow, Michael Rovatsos
    Pages 15-31
  3. Lucas Carstens, Xiuyi Fan, Yang Gao, Francesca Toni
    Pages 32-49
  4. Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
    Pages 50-71
  5. Cornelius Croitoru, Madalina Croitoru
    Pages 72-88
  6. Nacer Boudjlida, Badrina Guessoum-Boumezoued
    Pages 89-106
  7. Magdalena Ivanovska, Audun Jøsang, Lance Kaplan, Francesco Sambo
    Pages 107-124
  8. Zhongyuan Wang, Fang Wang, Ji-Rong Wen, Zhoujun Li
    Pages 139-153
  9. Back Matter
    Pages 155-155

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence. The 9 revised full papers presented were carefully reviewed and selected from 10 submissions. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: argumentation; conceptual graphs; RDF; and representations of constraint satisfaction problems.


bayesian networks decision support systems multi-agent learning probabilistic reasoning semantic Web graph theory hypergraphs knowledge reasoning knowledge representation ontology engineering OWL probabilistic representations probability reasoning about belief and knowledge recommender systems resource description framework semantic Web description languages statistics theorem proving and sat solving Web ontology language

Editors and affiliations

  • Madalina Croitoru
    • 1
  • Pierre Marquis
    • 2
  • Sebastian Rudolph
    • 3
  • Gem Stapleton
    • 4
  1. 1.LIRMMMontpellier Cedex 5France
  2. 2.CRIL-CNRSLensFrance
  3. 3.Fakultät InformatikTechnische Universität DresdenDresdenGermany
  4. 4.University of BrightonBrightonUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-28701-0
  • Online ISBN 978-3-319-28702-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences