OASIcs, Volume 52, ICLP 2016 TCs

• Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos OASIcs, Volume 52, ICLP'16, Complete Volume 10.4230/OASIcs.ICLP.2016
• Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos Front Matter, Table of Contents, Preface, List of Authors 10.4230/OASIcs.ICLP.2016.0
• Benjamin Susman and Yuliya Lierler SMT-Based Constraint Answer Set Solver EZSMT (System Description) 10.4230/OASIcs.ICLP.2016.1
• Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, and Philipp Wanko Theory Solving Made Easy with Clingo 5 10.4230/OASIcs.ICLP.2016.2
• Javier Romero, Torsten Schaub, and Philipp Wanko Computing Diverse Optimal Stable Models 10.4230/OASIcs.ICLP.2016.3
• Christopher Brenton, Wolfgang Faber, and Sotiris Batsakis Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments 10.4230/OASIcs.ICLP.2016.4
• Jori Bomanson, Martin Gebser, and Tomi Janhunen Rewriting Optimization Statements in Answer-Set Programs 10.4230/OASIcs.ICLP.2016.5
• Christopher Béatrix, Claire Lefèvre, Laurent Garcia, and Igor Stéphan Justifications and Blocking Sets in a Rule-Based Answer Set Computation 10.4230/OASIcs.ICLP.2016.6
• Vladimir Lifschitz Intelligent Instantiation and Supersafe Rules 10.4230/OASIcs.ICLP.2016.7
• Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents 10.4230/OASIcs.ICLP.2016.8
• Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, and Torsten Schaub Answer Set Solving with Generalized Learned Constraints 10.4230/OASIcs.ICLP.2016.9
• Besik Dundua, Temur Kutsia, and Klaus Reisenberger-Hagmayer P-rho-Log: Combining Logic Programming with Conditional Transformation Systems 10.4230/OASIcs.ICLP.2016.10
• Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints 10.4230/OASIcs.ICLP.2016.11
• Broes De Cat and Yuliya Lierler Constraint CNF: SAT and CSP Language Under One Roof 10.4230/OASIcs.ICLP.2016.12
• Graeme Gange and Peter J. Stuckey Constraint Propagation and Explanation over Novel Types by Abstract Compilation 10.4230/OASIcs.ICLP.2016.13
• Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, and Marc Denecker A Compositional Typed Higher-Order Logic with Definitions 10.4230/OASIcs.ICLP.2016.14
• Arun Nampally and C. R. Ramakrishnan Inference in Probabilistic Logic Programs Using Lifted Explanations 10.4230/OASIcs.ICLP.2016.15
• Michell Guzmán and Frank D. Valencia On the Expressiveness of Spatial Constraint Systems 10.4230/OASIcs.ICLP.2016.16
• Joaquín Arias Tabled CLP for Reasoning Over Stream Data 10.4230/OASIcs.ICLP.2016.17
• Miguel Isabel Testing of Concurrent Programs 10.4230/OASIcs.ICLP.2016.18
• Tiantian Gao Controlled Natural Languages for Knowledge Representation and Reasoning 10.4230/OASIcs.ICLP.2016.19
• Alexander Vandenbroucke The Functional Perspective on Advanced Logic Programming 10.4230/OASIcs.ICLP.2016.20
• Michael Frank Methods for Solving Extremal Problems in Practice 10.4230/OASIcs.ICLP.2016.21
• Zhuo Chen Automating Disease Management Using Answer Set Programming 10.4230/OASIcs.ICLP.2016.22
• Philipp Wanko Scalable Design Space Exploration via Answer Set Programming 10.4230/OASIcs.ICLP.2016.23