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.