ICLP 2017 August 28 to September 1, 2017 - Melbourne, Australia

Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)



Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei (Eds.)
ISBN 978-3-95977-058-3, OASICS Vol. 58 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 6 MB)
Search Publication Server


Authors
  • Adrian, Marek
  • Adrian, Weronika T.
  • Alviano, Mario
  • Amendola, Giovanni
  • Balduccini, Marcello
  • Bartak, Roman
  • Bliem, Bernhard
  • Byrd, William E.
  • Chekol, Melisachew Wudage
  • Codish, Michael
  • Frank, Michael
  • Friedman, Daniel P.
  • Gao, Tiantian
  • Hanus, Michael
  • Hemann, Jason
  • Hermenegildo, Manuel V.
  • Inclezan, Daniela
  • Israney, Ankush
  • Leone, Nicola
  • Manna, Marco
  • Mears, Christopher
  • Metodi, Amit
  • Might, Matthew
  • Morales, Jose F.
  • Muslimany, Morad
  • Rocha, Ricardo
  • Saeedloei, Neda
  • Schwitter, Rolf
  • Son, Tran Cao
  • Stuckenschmidt, Heiner
  • Stulova, Nataliia
  • Tarau, Paul
  • Veltri, Pierfrancesco
  • Zhang, Qinglin
  • Zhou, Neng-Fa

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Rocha, Ricardo ; Son, Tran Cao ; Mears, Christopher ; Saeedloei, Neda

    Abstract | Document (328 KB) | BibTeX

    Entity set expansion from the Web via ASP
    Authors: Adrian, Weronika T. ; Manna, Marco ; Leone, Nicola ; Amendola, Giovanni ; Adrian, Marek

    Abstract | Document (346 KB) | BibTeX

    The Pyglaf Argumentation Reasoner
    Authors: Alviano, Mario

    Abstract | Document (360 KB) | BibTeX

    Reasoning on anonymity in Datalog+/-
    Authors: Amendola, Giovanni ; Leone, Nicola ; Manna, Marco ; Veltri, Pierfrancesco

    Abstract | Document (410 KB) | BibTeX

    Rule Based Temporal Inference
    Authors: Chekol, Melisachew Wudage ; Stuckenschmidt, Heiner

    Abstract | Document (1,302 KB) | BibTeX

    Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)
    Authors: Codish, Michael ; Frank, Michael ; Metodi, Amit ; Muslimany, Morad

    Abstract | Document (469 KB) | BibTeX

    Semantic Versioning Checking in a Declarative Package Manager
    Authors: Hanus, Michael

    Abstract | Document (497 KB) | BibTeX

    Understanding Restaurant Stories Using an ASP Theory of Intentions
    Authors: Inclezan, Daniela ; Zhang, Qinglin ; Balduccini, Marcello ; Israney, Ankush

    Abstract | Document (355 KB) | BibTeX

    Learning Effect Axioms via Probabilistic Logic Programming
    Authors: Schwitter, Rolf

    Abstract | Document (388 KB) | BibTeX

    Towards Run-time Checks Simplification via Term Hiding
    Authors: Stulova, Nataliia ; Morales, Jose F. ; Hermenegildo, Manuel V.

    Abstract | Document (388 KB) | BibTeX

    A Hitchhiker's Guide to Reinventing a Prolog Machine
    Authors: Tarau, Paul

    Abstract | Document (423 KB) | BibTeX

    Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding
    Authors: Zhou, Neng-Fa ; Bartak, Roman

    Abstract | Document (256 KB) | BibTeX

    Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
    Authors: Bliem, Bernhard

    Abstract | Document (477 KB) | BibTeX

    Achieving High Quality Knowledge Acquisition using Controlled Natural Language
    Authors: Gao, Tiantian

    Abstract | Document (418 KB) | BibTeX

    A Simple Complete Search for Logic Programming
    Authors: Hemann, Jason ; Friedman, Daniel P. ; Byrd, William E. ; Might, Matthew

    Abstract | Document (379 KB) | BibTeX

    On Improving Run-time Checking in Dynamic Languages
    Authors: Stulova, Nataliia

    Abstract | Document (539 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI