TPLP Volume 16, 2016

VOLUME 16, 2016

ISSUE 01, JANUARY 2016

  1. Description and optimization of abstract machines in a dialect of Prolog
    Jose F. Morales, Manuel Carro, Manuel Hermenegildo, pp 1-58
  2. Justifying Answer Sets using Argumentation
    Claudia Schulz and Francesca Toni, pp 59-110
  3. Combining decidability paradigms for existential rules – CORRIGENDUM.
    G. Gottlob, M. Manna, A. Pieris. pp 139-139.

ISSUE 02, MARCH 2016

  1. CLP(H): Constraint Logic Programming for Hedges
    Besik Dundua, Màrio Florido, Temur Kutsia, and Mircea Marin. pp 141-162
  2. AC-KBO revisited
    KIHISA YAMADA, SARAH WINKLER, NAO HIROKAWA, and AART MIDDELDORP, pp 163-188.
  3. Modular Action Language ALM. Daniela Inclezan, Michael Gelfond, pp 189-235.
  4.  BOOK REVIEW:   All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., REVIEW in PDF College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages. By Victor W. Marek (pp 236-241)

ISSUE 03, MAY 2016. Special Issue on the International Web Rule Symposia 2012-2014

  1. Introduction to the special issue on the International Web Rule Symposia 2012–2014ANTONIS BIKAKIS, PAUL FODOR, ADRIAN GIURCA and LEORA MORGENSTERN, pp 243-246.
  2. Solving stable matching problems using answer set programming. Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowè, pp 247-268
  3. Programming in logic without logic programming. Robert Kowalski and Fariba Sadri, pp 269-295
  4. The Rationale behind the Concept of Goal. Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani, pp 296-324
  5. An Event Calculus production rule system for reasoning in dynamic and uncertain domains. Theodore Patkos, Dimitris Plexousakis, Abdelghani Chibani, Yacine Amirat, pp 325-352
  6. Using Linear Constraints for Logic Program Termination Analysis. Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, pp 353-377

ISSUE 04, JULY 2016.

  1. Putting logic-based distributed systems on stable grounds.
    Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, and Joseph M. Hellerstein, pp 378-417.
  2. A model building framework for Answer Set Programming with external computations
    Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller, pp 418-464.
  3. Disjunctive Answer Set Solvers via Templates
    Remi Brochenin, Yuliya Lierler, Marco Maratea, pp 465-497
  4. On definite program answers and least Herbrand models. Włodzimierz Drabent, pp 498-508 [TN/RP]

ISSUE 05-06, September 2016

Special Issue on 32nd International Conference on Logic Programming

  1. Introduction to the 32nd International Conference on Logic Programming Special Issue. Manuel Carro and Andy King. pp. 509-514
  2. Assertion-based analysis via slicing with ABETS (system description).
    M. ALPUENTE, F. FRECHINA, J. SAPIÑA, D. BALLIS.
    pp 515-532.
  3. Anytime answer set optimization via unsatisfiable core shrinking.
    MARIO ALVIANO, CARMINE DODARO. pp. 533-551
  4. The power of non-ground rules in Answer Set Programming.
    MANUEL BICHLER, MICHAEL MORAK, STEFAN WOLTRAN. pp. 552-569
  5. Stable-unstable semantics: Beyond NP with normal logic programs.
    BART BOGAERTS, TOMI JANHUNEN, SHAHAB TASHARROFI. pp. 570-586
  6. Justifications for programs with disjunctive and causal-choice rules.
    PEDRO CABALAR, JORGE FANDINNO. pp. 587-603
  7. A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.
    ZHUO CHEN, KYLE MARPLE, ELMER SALAZAR, GOPAL GUPTA, LAKSHMAN TAMIL. pp. 604-618
  8. Query answering in resource-based answer set semantics.
    STEFANIA COSTANTINI, ANDREA FORMISANO. pp. 619-635
  9. On local domain symmetry for model expansion
    JO DEVRIENDT, BART BOGAERTS, MAURICE BRUYNOOGHE, MARC DENECKER. pp. 636-652
  10. Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
    CARMINE DODARO, PHILIP GASTEIGER, NICOLA LEONE, BENJAMIN MUSITSCH, FRANCESCO RICCA, KOSTYANTYN SHCHEKOTYKHIN. pp. 653-669.
  11. Deriving conclusions from non-monotonic cause-effect relations.
    JORGE FANDINNO. pp. 670-687
  12. Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description).
    MICHAEL FRANK, MICHAEL CODISH. pp. 688-702
  13. Paraconsistency and word puzzles.
    TIANTIAN GAO, PAUL FODOR, MICHAEL KIFER. pp. 703-720
  14. Semantic code browsing.
    ISABEL GARCÍA-CONTRERAS, JOSÉ F. MORALES, MANUEL V. HERMENEGILDO. pp. 721-737
  15. ASP for minimal entailment in a rational extension of SROEL
    LAURA GIORDANO, DANIELE THESEIDER DUPRÉ. pp. 738-754
  16. First-order modular logic programs and their conservative extensions
    AMELIA HARRISON, YULIYA LIERLER. pp. 755-770
  17. Stable models for infinitary formulas with extensional atoms
    AMELIA HARRISON, VLADIMIR LIFSCHITZ. pp. 771-786
  18. Proving infinitary formulas
    AMELIA HARRISON, VLADIMIR LIFSCHITZ, JULIAN MICHAEL.
    pp. 787-799
  19. CoreALMlib: An ALM library translated from the Component Library
    DANIELA INCLEZAN. pp. 800-816
  20. Online learning of event definitions
    NIKOS KATZOURIS, ALEXANDER ARTIKIS, GEORGIOS PALIOURAS.
    pp. 817-833