Skip to main content
Springer Nature Link
Log in

Graph Structures for Knowledge Representation and Reasoning

5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Madalina Croitoru

    1. LIRMM, Montpellier Cedex 5, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pierre Marquis

    1. CRIL-CNRS and Université d’Artois, Lens, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sebastian Rudolph

    1. Technische Universität Dresden, Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Gem Stapleton

    1. University of Brighton, Brighton, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: GKR 2017.

  • 3797 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. The 7 revised full papers presented were reviewed and selected from 9 submissions. The contributions  address various issues for knowledge representation and reasoning and the common graph-theoretic background allows to bridge the gap between the different communities.

Similar content being viewed by others

Keywords

Table of contents (7 papers)

  1. Front Matter

    Pages I-VII
    Download chapter PDF

  2. Extended Workshop Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs

      • Simon Andrews, Simon Polovina
      Pages 3-28

    3. Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding

      • Dave Braines, Anna Thomas, Lance Kaplan, Murat Şensoy, Jonathan Z. Bakdash, Magdalena Ivanovska et al.
      Pages 29-53

    4. Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm

      • Tanya Braun, Ralf Möller
      Pages 54-72

    5. Representing and Reasoning About Logical Network Topologies

      • Shaun Voigt, Catherine Howard, Dean Philp, Christopher Penny
      Pages 73-83

    6. From Enterprise Concepts to Formal Concepts: A University Case Study

      • Jamie Caine, Simon Polovina
      Pages 84-96

  3. Invited Contributions

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Visualizing \(\mathcal {ALC}\) Using Concept Diagrams

      • Gem Stapleton, Aidan Delaney, Michael Compton, Peter Chapman
      Pages 99-117

    3. Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results

      • Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
      Pages 118-138

  4. Back Matter

    Pages 139-139
    Download chapter PDF
Back to top

Other volumes

  1. Graph Structures for Knowledge Representation and Reasoning

Editors and Affiliations

  • LIRMM, Montpellier Cedex 5, France

    Madalina Croitoru

  • CRIL-CNRS and Université d’Artois, Lens, France

    Pierre Marquis

  • Technische Universität Dresden, Dresden, Germany

    Sebastian Rudolph

  • University of Brighton, Brighton, United Kingdom

    Gem Stapleton

Bibliographic Information

Publish with us

Policies and ethics

Back to top