OASIcs, Volume 58, ICLP 2017

• Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei OASIcs, Volume 58, ICLP'17, Complete Volume 10.4230/OASIcs.ICLP.2017
• Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei Front Matter, Table of Contents, Preface, Conference Organization 10.4230/OASIcs.ICLP.2017.0
• Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, and Marek Adrian Entity set expansion from the Web via ASP 10.4230/OASIcs.ICLP.2017.1
• Mario Alviano The Pyglaf Argumentation Reasoner 10.4230/OASIcs.ICLP.2017.2
• Giovanni Amendola, Nicola Leone, Marco Manna, and Pierfrancesco Veltri Reasoning on anonymity in Datalog+/- 10.4230/OASIcs.ICLP.2017.3
• Melisachew Wudage Chekol and Heiner Stuckenschmidt Rule Based Temporal Inference 10.4230/OASIcs.ICLP.2017.4
• Michael Codish, Michael Frank, Amit Metodi, and Morad Muslimany Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description) 10.4230/OASIcs.ICLP.2017.5
• Michael Hanus Semantic Versioning Checking in a Declarative Package Manager 10.4230/OASIcs.ICLP.2017.6
• Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney Understanding Restaurant Stories Using an ASP Theory of Intentions 10.4230/OASIcs.ICLP.2017.7
• Rolf Schwitter Learning Effect Axioms via Probabilistic Logic Programming 10.4230/OASIcs.ICLP.2017.8
• Nataliia Stulova, Jose F. Morales, and Manuel V. Hermenegildo Towards Run-time Checks Simplification via Term Hiding 10.4230/OASIcs.ICLP.2017.9
• Paul Tarau A Hitchhiker's Guide to Reinventing a Prolog Machine 10.4230/OASIcs.ICLP.2017.10
• Neng-Fa Zhou and Roman Bartak Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding 10.4230/OASIcs.ICLP.2017.11
• Bernhard Bliem Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs 10.4230/OASIcs.ICLP.2017.12
• Tiantian Gao Achieving High Quality Knowledge Acquisition using Controlled Natural Language 10.4230/OASIcs.ICLP.2017.13
• Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might A Simple Complete Search for Logic Programming 10.4230/OASIcs.ICLP.2017.14
• Nataliia Stulova On Improving Run-time Checking in Dynamic Languages 10.4230/OASIcs.ICLP.2017.15