Journal: TPLP

Volume 20, Issue 6

815 -- 817Francesco Ricca, Alessandra Russo. Introduction to the 36th International Conference on Logic Programming Special Issue II
818 -- 833Francesco Dagnino, Davide Ancona, Elena Zucca. Flexible coinductive logic programming
834 -- 847Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero 0003, Torsten Schaub. eclingo : A Solver for Epistemic Logic Programs
848 -- 863Pierre Talbot, Eric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation
864 -- 879Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna. A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
880 -- 894Simon Marynissen, Bart Bogaerts 0001, Marc Denecker. Exploiting Game Theory for Analysing Justifications
911 -- 925Esra Erdem 0001, Muge Fidan, David F. Manlove, Patrick Prosser. A General Framework for Stable Roommates Problems using Answer Set Programming
926 -- 941Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh. An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
942 -- 957Yusuf Izmirlioglu, Esra Erdem 0001. Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
958 -- 973Alessio Fiorentino, Jessica Zangari, Marco Manna. DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
974 -- 989Aysu Bogatarkan, Esra Erdem 0001. Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
990 -- 1005Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold. The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
1006 -- 1020Momina Rizwan, Volkan Patoglu, Esra Erdem 0001. Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

Volume 20, Issue 5

587 -- 592Francesco Ricca, Alessandra Russo. Introduction to the 36th International Conference on Logic Programming Special Issue I
593 -- 608Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli. Modelling Multi-Agent Epistemic Planning in ASP
609 -- 624Antonius Weinzierl, Richard Taupe, Gerhard Friedrich. Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More
625 -- 640Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin. Managing caching strategies for stream reasoning with reinforcement learning
641 -- 655Elena Bellodi, Marco Alberti 0001, Fabrizio Riguzzi, Riccardo Zese. MAP Inference for Probabilistic Logic Programming
656 -- 670Farhad Shakerin, Gopal Gupta. White-box Induction From SVM Models: Explainable AI with Logic Programming
671 -- 686Fred Mesnard, Étienne Payet, Germán Vidal. Concolic Testing in CLP
687 -- 702George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis 0002. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
703 -- 718Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna. On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
719 -- 734Giovambattista Ianni, Francesco Pacenza, Jessica Zangari. Incremental maintenance of overgrounded logic programs with tailored simplifications
735 -- 750Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Verifying Tight Logic Programs with anthem and vampire
751 -- 766Laura Giordano 0001, Daniele Theseider Dupré. An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
767 -- 782Pedro Cabalar, Jorge Fandinno, Yuliya Lierler. Modular Answer Set Programming as a Formal Specification Language
783 -- 798Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann. Towards Metric Temporal Answer Set Programming
799 -- 814Richard Taupe, Antonius Weinzierl, Gerhard Friedrich. Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Volume 20, Issue 4

435 -- 455Manuel Bichler, Michael Morak, Stefan Woltran. selp: A Single-Shot Epistemic Logic Program Solver
456 -- 511Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi. OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain
512 -- 551Jori Bomanson, Tomi Janhunen. Boosting Answer Set Optimization with Weighted Comparator Networks
552 -- 586Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng 0003. Rethinking Defeasible Reasoning: A Scalable Approach

Volume 20, Issue 3

310 -- 357Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin. A Transformational Approach to Resource Analysis with Typed-norms Inference
358 -- 390Alejandro Javier García, Henry Prakken, Guillermo Ricardo Simari. A Comparative Study of Some Central Notions of ASPIC+ and DeLP
391 -- 431Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran. Solving Advanced Argumentation Problems with Answer Set Programming
432 -- 434Victor W. Marek. Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0

Volume 20, Issue 2

176 -- 204Martin Gebser, Marco Maratea, Francesco Ricca. The Seventh Answer Set Programming Competition: Design and Results
205 -- 224Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari. Efficiently Coupling the I-DLV Grounder with ASP Solvers
225 -- 248Carmine Dodaro, Francesco Ricca. The External Interface for Extending WASP
249 -- 272Marcello Balduccini, Emily C. LeBlanc. Action-Centered Information Retrieval
273 -- 293Qinglin Zhang, Chris Benton, Daniela Inclezan. An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus
294 -- 309Francesco Calimeri, Wolfgang Faber 0001, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub. ASP-Core-2 Input Language Format

Volume 20, Issue 1

1 -- 43Luciano Caroprese, Ester Zumpano. A Logic Framework for P2P Deductive Databases
44 -- 98Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Compositional Specification in Rewriting Logic
99 -- 146François Bry. In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
147 -- 175Sandra Dylus, Jan Christiansen, Finn Teegen. Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism