Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd 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
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.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
