default search action
33rd ICLP 2017: Melbourne, Australia
- Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3
The regular papers of this conference are published in Theory and Practice of Logic Programming, Volume 17 (5-6)
- Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xii
- Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian:
Entity set expansion from the Web via ASP. 1:1-1:5 - Mario Alviano:
The Pyglaf Argumentation Reasoner. 2:1-2:3 - Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri:
Reasoning on anonymity in Datalog+/-. 3:1-3:5 - Melisachew Wudage Chekol, Heiner Stuckenschmidt:
Rule Based Temporal Inference. 4:1-4:14 - Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany:
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). 5:1-5:18 - Michael Hanus:
Semantic Versioning Checking in a Declarative Package Manager. 6:1-6:16 - Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney:
Understanding Restaurant Stories Using an ASP Theory of Intentions. 7:1-7:4 - Rolf Schwitter:
Learning Effect Axioms via Probabilistic Logic Programming. 8:1-8:15 - Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Run-time Checks Simplification via Term Hiding. 9:1-9:3 - Paul Tarau:
A Hitchhiker's Guide to Reinventing a Prolog Machine. 10:1-10:16 - Neng-Fa Zhou, Roman Barták:
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. 11:1-11:2 - Bernhard Bliem:
Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs. 12:1-12:12 - Tiantian Gao:
Achieving High Quality Knowledge Acquisition using Controlled Natural Language. 13:1-13:10 - Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might:
A Simple Complete Search for Logic Programming. 14:1-14:8 - Nataliia Stulova:
On Improving Run-time Checking in Dynamic Languages. 15:1-15:10
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.