Please use the TPLP citation in your papers, not the ARXIV one!
Issue 1, January 2018
REGULAR PAPERS
- Logic + control: On program construction and verification.
Wlodzimierz Draben. pp. 1-29 - Stepwise debugging of answer-set programs
JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS, pp. 30-80
TECHNICAL NOTE
- SUNNY-CP and the MiniZinc Challenge. Roberto Amadini, Maurizio Gabbrielli, Jaopo Mauro. pp 81-96
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers.
MACIEJ BENDKOWSKI, KATARZYNA GRYGIEL, PAUL TARAU, pp. 97-119
Erratum (p 120) and Addendum (p 121)
Issue 2, March 2018. Special Issue on computational logic for verification
- Introduction to the special issue on computational logic for verification
GERMÁN VIDAL, pp 122-125 - Predicate Pairing for program verification
EMANUELE DE ANGELIS, FABIO FIORAVANTI, ALBERTO PETTOROSSI, MAURIZIO PROIETTI
pp. 126-166 - Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
P. LOPEZ-GARCIA, L. DARMAWAN, M. KLEMEN, U. LIQAT, F. BUENO, M. V. HERMENEGILDO, pp. 167-223 - Tree dimension in verification of constrained Horn clauses
BISHOKSAN KAFLE, JOHN P. GALLAGHER, PIERRE GANTY, pp. 224-251 - A concurrent constraint programming interpretation of access permissions
CARLOS OLARTE, ELAINE PIMENTEL, CAMILO RUEDA, pp. 252-295
Special Issue 3-4 on 34th International Conference on Logic Programming
- Alessandro Dal Palù and Paul Tarau. Introduction. pp. 296-300
- Mario Alviano, Carmine Dodaro and Marco Maratea. Shared aggregate sets in answer set programming. pp 301-318.
- Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea and Alessandro Previti. Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores. pp. 319-336.
- Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple and Gopal Gupta. Constraint Answer Set Programming without Grounding. pp 337-354.
- George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei Wei Tsai. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming, pp. 355-371.
- Angela Bonifati, Stefania Dumbrava and Emilio Jesús Gallego Arias. Certified Graph View Maintenance with Regular Datalog, pp. 372-389
- Pedro Cabalar, Jorge Fandinno, Luis Farinas Del Cerro and David Pearce. Functional ASP with Intensional Sets; Application to Gelfond-Zhang Agreggates, pp. 390-405.
- Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann. Temporal Answer Set Programming on Finite Traces, pp. 406-420
- Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs, pp. 421-437
- Marc Dahlem, Anoop Bhagyanath and Klaus Schneider. Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP, pp. 438-451
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. Solving Horn Clauses on Inductive Data Types Without Induction, pp. 452-469
- Gregory Duck, Joxan Jaffar and Roland Yap Shape Neutral Analysis of Graph-based Data-structures, pp. 470-483
- Frantisek Farka, Ekaterina Komendantskaya and Kevin Hammond. Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis, pp. 484-501
- Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son. Experimenting with robotic intra-logistics domains, pp. 502-519
- Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub. Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming, pp. 520-534
- Daniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney. An ASP Methodology for Understanding Narratives about Stereotypical Activities, pp 535-552.
- Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey. An iterative approach to precondition inference using constrained Horn clauses, pp. 553-570
- Tobias Kaminski, Thomas Eiter and Katsumi Inoue. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning, pp. 571-588.
- Joohyung Lee and Zhun Yang. Translating LPOD and CR-Prolog2 into Standard Answer Set Programs, pp. 589-606.
- Joohyung Lee and Yi Wang. A Probabilistic Extension of Action Language BC+, pp. 607-622
- Arindam Mitra and Chitta Baral. Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples, pp. 623-637
- Arun Nampally, Timothy Zhang and C. R. Ramakrishnan. Constraint-Based Inference in Probabilistic Logic Programs, pp. 638-655
- Thanh Nguyen, Enrico Pontelli and Tran Son. Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming, pp. 656-672
- Aleksy Schubert and Pawel Urzyczyn First-order answer set programming as constructive proof search, pp. 673-690
- Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language, pp. 691-705.
- David Scott Warren Top-down and Bottom-up Evaluation Reconciled, pp. 706-721
Issue 5,6: Special Issue on Past and present (and future) of parallel and distributed computation in (constraint) logic programming
- Preface (By Ferdinando Fioretto and Enrico Pontelli), pp 722-724
- A review of literature on parallel constraint solving. IAN P. GENT, IAN MIGUEL, PETER NIGHTINGALE, CIARAN MCCREESH, PATRICK PROSSER, NEIL C. A. MOORE, CHRIS UNSWORTH, pp 725-758
- Parallelism, concurrency and distribution in constraint handling rules: A survey.THOM FRÜHWIRTH, pp 759-805
- Scaling-up reasoning and advanced analytics on BigData. TYSON CONDIE, ARIYAM DAS, MATTEO INTERLANDI, ALEXANDER SHKAPSKY, MOHAN YANG, CARLO ZANIOLO, pp. 806-845
- Logic Programming as a Service. ROBERTA CALEGARI, ENRICO DENTI, STEFANO MARIANI, ANDREA OMICINI, pp 846-873
- A datalog-based computational model for coordination-free, data-parallel systems
MATTEO INTERLANDI, LETIZIA TANCA, pp. 874-927 - Performing fully parallel constraint logic programming on a quantum annealer
SCOTT PAKIN, pp. 928-949 - Table space designs for implicit and explicit concurrent tabled evaluation
MIGUEL AREJAS, RICARDO ROCHA, pp. 950-992