ICLP 2016 TCs October 16-21, 2016 - New York City, USA

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)



Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos (Eds.)
ISBN 978-3-95977-007-1, OASICS Vol. 52 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 10 MB)
Search Publication Server

Authors
  • Arias, Joaquín
  • Balduccini, Marcello
  • Batsakis, Sotiris
  • Béatrix, Christopher
  • Bogaerts, Bart
  • Bomanson, Jori
  • Brenton, Christopher
  • Cao Son, Tran
  • Carro, Manuel
  • Chen, Zhuo
  • Cruz-Filipe, Luís
  • Dasseville, Ingmar
  • De Cat, Broes
  • Denecker, Marc
  • De Vos, Marina
  • Dundua, Besik
  • Faber, Wolfgang
  • Frank, Michael
  • Gange, Graeme
  • Gao, Tiantian
  • Garcia, Laurent
  • Gebser, Martin
  • Gelfond, Michael
  • Guzmán, Michell
  • Isabel, Miguel
  • Janhunen, Tomi
  • Janssens, Gerda
  • Kaminski, Roland
  • Kaufmann, Benjamin
  • King, Andy
  • Kutsia, Temur
  • Lefèvre, Claire
  • Lierler, Yuliya
  • Lifschitz, Vladimir
  • Lühne, Patrick
  • Nampally, Arun
  • Ostrowski, Max
  • Pontelli, Enrico
  • Ramakrishnan, C. R.
  • Reisenberger-Hagmayer, Klaus
  • Romero, Javier
  • Saeedloei, Neda
  • Schaub, Torsten
  • Stéphan, Igor
  • Stuckey, Peter J.
  • Susman, Benjamin
  • Valencia, Frank D.
  • Vandenbroucke, Alexander
  • van der Hallen, Matthias
  • Wanko, Philipp
    		•

    		  
    Front Matter, Table of Contents, Preface, List of Authors
    Authors: Carro, Manuel ; King, Andy ; Saeedloei, Neda ; De Vos, Marina

    Abstract | Document (334 KB) | BibTeX

    SMT-Based Constraint Answer Set Solver EZSMT (System Description)
    Authors: Susman, Benjamin ; Lierler, Yuliya

    Abstract | Document (557 KB) | BibTeX

    Theory Solving Made Easy with Clingo 5
    Authors: Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Ostrowski, Max ; Schaub, Torsten ; Wanko, Philipp

    Abstract | Document (618 KB) | BibTeX

    Computing Diverse Optimal Stable Models
    Authors: Romero, Javier ; Schaub, Torsten ; Wanko, Philipp

    Abstract | Document (545 KB) | BibTeX

    Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments
    Authors: Brenton, Christopher ; Faber, Wolfgang ; Batsakis, Sotiris

    Abstract | Document (540 KB) | BibTeX

    Rewriting Optimization Statements in Answer-Set Programs
    Authors: Bomanson, Jori ; Gebser, Martin ; Janhunen, Tomi

    Abstract | Document (606 KB) | BibTeX

    Justifications and Blocking Sets in a Rule-Based Answer Set Computation
    Authors: Béatrix, Christopher ; Lefèvre, Claire ; Garcia, Laurent ; Stéphan, Igor

    Abstract | Document (591 KB) | BibTeX

    Intelligent Instantiation and Supersafe Rules
    Authors: Lifschitz, Vladimir

    Abstract | Document (534 KB) | BibTeX

    An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
    Authors: Cao Son, Tran ; Pontelli, Enrico ; Gelfond, Michael ; Balduccini, Marcello

    Abstract | Document (335 KB) | BibTeX

    Answer Set Solving with Generalized Learned Constraints
    Authors: Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Lühne, Patrick ; Romero, Javier ; Schaub, Torsten

    Abstract | Document (790 KB) | BibTeX

    P-rho-Log: Combining Logic Programming with Conditional Transformation Systems
    Authors: Dundua, Besik ; Kutsia, Temur ; Reisenberger-Hagmayer, Klaus

    Abstract | Document (323 KB) | BibTeX

    Grounded Fixpoints and Active Integrity Constraints
    Authors: Cruz-Filipe, Luís

    Abstract | Document (424 KB) | BibTeX

    Constraint CNF: SAT and CSP Language Under One Roof
    Authors: De Cat, Broes ; Lierler, Yuliya

    Abstract | Document (518 KB) | BibTeX

    Constraint Propagation and Explanation over Novel Types by Abstract Compilation
    Authors: Gange, Graeme ; Stuckey, Peter J.

    Abstract | Document (659 KB) | BibTeX

    A Compositional Typed Higher-Order Logic with Definitions
    Authors: Dasseville, Ingmar ; van der Hallen, Matthias ; Bogaerts, Bart ; Janssens, Gerda ; Denecker, Marc

    Abstract | Document (546 KB) | BibTeX

    Inference in Probabilistic Logic Programs Using Lifted Explanations
    Authors: Nampally, Arun ; Ramakrishnan, C. R.

    Abstract | Document (557 KB) | BibTeX

    On the Expressiveness of Spatial Constraint Systems
    Authors: Guzmán, Michell ; Valencia, Frank D.

    Abstract | Document (506 KB) | BibTeX

    Tabled CLP for Reasoning Over Stream Data
    Authors: Arias, Joaquín

    Abstract | Document (480 KB) | BibTeX

    Testing of Concurrent Programs
    Authors: Isabel, Miguel

    Abstract | Document (280 KB) | BibTeX

    Controlled Natural Languages for Knowledge Representation and Reasoning
    Authors: Gao, Tiantian

    Abstract | Document (351 KB) | BibTeX

    The Functional Perspective on Advanced Logic Programming
    Authors: Vandenbroucke, Alexander

    Abstract | Document (364 KB) | BibTeX

    Methods for Solving Extremal Problems in Practice
    Authors: Frank, Michael

    Abstract | Document (382 KB) | BibTeX

    Automating Disease Management Using Answer Set Programming
    Authors: Chen, Zhuo

    Abstract | Document (340 KB) | BibTeX

    Scalable Design Space Exploration via Answer Set Programming
    Authors: Wanko, Philipp

    Abstract | Document (426 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI