![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
32nd ICLP 2016: New York City, USA
- Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1
The regular papers of this conference are published in Theory and Practice of Logic Programming, Volume 16 (5-6)
- Front Matter, Table of Contents, Preface, List of Authors. 0:i-0:xvi
- Benjamin Susman, Yuliya Lierler:
SMT-Based Constraint Answer Set Solver EZSMT (System Description). 1:1-1:15 - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
, Philipp Wanko
:
Theory Solving Made Easy with Clingo 5. 2:1-2:15 - Javier Romero, Torsten Schaub
, Philipp Wanko
:
Computing Diverse Optimal Stable Models. 3:1-3:14 - Christopher Brenton, Wolfgang Faber
, Sotiris Batsakis:
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. 4:1-4:15 - Jori Bomanson, Martin Gebser, Tomi Janhunen:
Rewriting Optimization Statements in Answer-Set Programs. 5:1-5:15 - Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan:
Justifications and Blocking Sets in a Rule-Based Answer Set Computation. 6:1-6:15 - Vladimir Lifschitz:
Intelligent Instantiation and Supersafe Rules. 7:1-7:14 - Tran Cao Son, Enrico Pontelli
, Michael Gelfond
, Marcello Balduccini:
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. 8:1-8:4 - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
:
Answer Set Solving with Generalized Learned Constraints. 9:1-9:15 - Besik Dundua, Temur Kutsia
, Klaus Reisenberger-Hagmayer:
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. 10:1-10:5 - Luís Cruz-Filipe
:
Grounded Fixpoints and Active Integrity Constraints. 11:1-11:14 - Broes De Cat, Yuliya Lierler:
Constraint CNF: SAT and CSP Language Under One Roof. 12:1-12:15 - Graeme Gange, Peter J. Stuckey:
Constraint Propagation and Explanation over Novel Types by Abstract Compilation. 13:1-13:14 - Ingmar Dasseville, Matthias van der Hallen
, Bart Bogaerts
, Gerda Janssens, Marc Denecker
:
A Compositional Typed Higher-Order Logic with Definitions. 14:1-14:13 - Arun Nampally, C. R. Ramakrishnan:
Inference in Probabilistic Logic Programs Using Lifted Explanations. 15:1-15:15 - Michell Guzmán, Frank D. Valencia:
On the Expressiveness of Spatial Constraint Systems. 16:1-16:12 - Joaquín Arias
:
Tabled CLP for Reasoning Over Stream Data. 17:1-17:8 - Miguel Isabel
:
Testing of Concurrent Programs. 18:1-18:5 - Tiantian Gao:
Controlled Natural Languages for Knowledge Representation and Reasoning. 19:1-19:10 - Alexander Vandenbroucke:
The Functional Perspective on Advanced Logic Programming. 20:1-20:8 - Michael Frank:
Methods for Solving Extremal Problems in Practice. 21:1-21:6 - Zhuo Chen:
Automating Disease Management Using Answer Set Programming. 22:1-22:10 - Philipp Wanko
:
Scalable Design Space Exploration via Answer Set Programming. 23:1-23:11
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.