ICLP 2017

ICLP 2017 proceedings editors are Son Cao Tran and Ricardo Rocha.

  • Conference Web Site: http://iclp17.a4lp.org/
  • Accepted (full) papers
  • Technical Communications of ICLP 2017 (the preliminary proceedings are available here)
    • Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian. Entity set expansion from the Web via ASP
    • Mario Alviano. The pyglaf argumentation reasoner
    • Giovanni Amendola, Nicola Leone, Marco Manna and Pierfrancesco Veltri. Reasoning on anonymity in Datalog+/-.
    • Melisachew Wudage Chekol and Heiner Stuckenschmidt. Rule Based Temporal Inference.
    • Michael Codish, Michael Frank, Amit Metodi and Morad Muslimany. Logic Programming with Max-Clique and its Application to Graph Coloring.
    • Michael Hanus. Semantic Versioning Checking in a Declarative Package Manager.
    • Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney. Understanding Restaurant Stories Using an ASP Theory of Intentions.
    • Rolf Schwitter. Learning Effect Axioms via Probabilistic Logic Programming.
    • Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding.
    • Paul Tarau. A Hitchhiker’s Guide to Reinventing a Prolog Machine.
    • Neng-Fa Zhou and Roman Barták. Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding.