Volume 11, Number 1, January 2011
Regular Papers
Book Reviews
- Eric Monfroy:
Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3.
125-126

- Marijn Heule:
Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95.
126-130

Volume 11, Numbers 2-3, March 2011
- Maria Garcia de la Banda, Enrico Pontelli:
Introduction to the 24th international conference on logic programming special issue.
131-133

- Yuliya Lierler:
Abstract answer set solvers with backjumping and learning.
135-169

- Michael Fink:
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There.
171-202

- Pedro Cabalar:
Functional answer set programming.
203-233

- Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha:
On the implementation of the probabilistic logic programming language ProbLog.
235-262

- Shay B. Cohen, Robert J. Simmons, Noah A. Smith:
Products of weighted logic programs.
263-296

- Yuanlin Zhang, Roland H. C. Yap:
Solving functional constraints by variable substitution.
297-322

- Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber:
Detecting inconsistencies in large biological networks with answer set programming.
323-360

- Alessandra Mileo, Davide Merico, Roberto Bisiani:
Reasoning support for risk prediction and prevention in independent living.
361-395

- Georg Boenn, Martin Brain, Marina De Vos, John Fitch:
Automatic music composition using answer set programming.
397-427

Volume 11, Numbers 4-5, July 2011
Proceedings of ICLP 2011, Lexington, Kentucky. USA - the technical communications of this conference are published in LIPIcs 11
- John P. Gallagher, Michael Gelfond:
Introduction to the 27th International Conference on Logic Programming Special Issue.
429-432

- Fabrizio Riguzzi, Terrance Swift:
The PITA system: Tabling and answer subsumption for reasoning under uncertainty.
433-449

- Conrad Drescher, Michael Thielscher:
ALPprolog - A new logic programming method for dynamic domains.
451-468

- Rémy Haemmerlé:
Observational equivalences for linear logic concurrent constraint languages.
469-485

- Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract diagnosis for timed concurrent constraint programs.
487-502

- Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl:
SAT-based termination analysis using monotonicity constraints over the integers.
503-520

- Dean Voets, Danny De Schreye:
Non-termination analysis of logic programs with integer arithmetics.
521-536

- Jael Kriener, Andy King:
RedAlert: Determinacy inference for Prolog.
537-553

- Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Parallel backtracking with answer memoing for independent and-parallelism.
555-574

- Paul Bone, Zoltan Somogyi, Peter Schachte:
Estimating the overlap between dependent computations for automatic parallelization.
575-591

- Rémy Haemmerlé:
(Co-)Inductive semantics for Constraint Handling Rules.
593-609

- António Porto:
A structured alternative to Prolog with simple compositional semantics.
611-627

- Yuliya Lierler, Miroslaw Truszczynski:
Transition systems for model generators - A unifying approach.
629-646

- Joost Vennekens:
Actual causation in CP-logic.
647-662

- Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt:
The magic of logical inference in probabilistic programming.
663-680

- Miguel Areias, Ricardo Rocha:
On combining linear-based strategies for tabled evaluation of logic programs.
681-696

- Flávio Cruz, Ricardo Rocha:
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs.
697-712

- Sergio Antoy:
On the correctness of pull-tabbing.
713-730

- Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini:
Optimal placement of valves in a water distribution network with CLP(FD).
731-747

- Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler:
Automatic network reconstruction using ASP.
749-766

- Stefan Hallerstede, Michael Leuschel:
Constraint-based deadlock checking of high-level specifications.
767-782

- Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning.
783-799

- Martin Slota, João Leite, Terrance Swift:
Splitting and updating hybrid knowledge bases.
801-819

- Martin Gebser, Roland Kaminski, Torsten Schaub:
Complex optimization in answer set programming.
821-839

Volume 11, Number 6, November 2011
Book Reviews
- Rosella Gennari:
Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4.
989-992

Last update Fri May 24 20:57:42 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page