ISSUE 1, January 2020
- A Logic Framework for P2P Deductive Databases Luciano Caroprese, Ester Zumpano, pp 1-43
- Compositional specification in rewriting logic. Óscar Martín, José Alberto Verdejo, Narciso Martí-Oliet, pp 44-98
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming Francois Bry, pp 99-146
- Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. Sandra Dylus, Jan Christiansen, and Finn Teegen, pp 147-175
ISSUE 2, March 2020
- The Seventh Answer Set Programming Competition: Design and Results Martin Gebser, Marco Maratea, Francesco Ricca, pp. 176-204
- Efficiently Coupling the I-DLV Grounder with ASP Solvers Carmine Dodaro, Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari, pp. 205-224
- The External Interface for Extending WASP Carmine Dodaro, Francesco Ricca, pp. 225-248
- Action-Centered Information Retrieval Marcello Balduccini, Emily LeBlanc, pp. 249-272
- An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus
Qinglin Zhang, Chris Benton, Daniela Inclezan, pp. 273-293
- ASP-Core-2 Input Language Format. Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub, pp. 294-309
ISSUE 3, May 2020
- A Transformational Approach to Resource Analysis with Typed-norms Inference, Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin, pp. 310-357
- A Comparative Study of Some Central Notions of ASPIC+ and DeLP. Alejandro Garcia, Henry Prakken, and Guillermo Simari, pp. 358-390
- Solving Advanced Argumentation Problems with Answer Set Programming Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan, pp. 391-431
- BOOK REVIEW: Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0.
Review by VICTOR W. MAREK, pp. 432-434
ISSUE 4 – July 2020
Rapid Communication
- A Single-Shot Epistemic Logic Program Solver
MANUEL BICHLER, MICHAEL MORAK, STEFAN WOLTRAN, pp. 435-455
Regular papers
- OntoScene, A Logic-based Scene Interpreter:Implementation and Application in the Rock Art Domain DANIELA BRIOLA, VIVIANA MASCARDI, MASSIMILIANO GIOSEFFI, pp. 456-511
- Boosting Answer Set Optimization with Weighted Comparator JORI BOMANSON, TOMI JANHUNEN, pp. 512-551
- Rethinking Defeasible Reasoning: A Scalable Approach MICHAEL J. MAHER, ILIAS TACHMAZIDIS, GRIGORIS ANTONIOU, STEPHEN WADE, LONG CHENG, pp. 552-586
ISSUE 5 – 36th International Conference on Logic Programming Special Issue I (September 2020)
- Introduction to the 36th International Conference on Logic Programming Special Issue I
Francesco Ricca, Alessandra Russo, pp. 587-592 - Modelling Multi-Agent Epistemic Planning in ASP
ALESSANDRO BURIGANA, FRANCESCO FABIANO, AGOSTINO DOVIER, ENRICO PONTELLI, pp. 593-608 - Advancing Lazy-Grounding ASP Solving Techniques — Restarts, Phase Saving, Heuristics, and More
ANTONIUS WEINZIERL, RICHARD TAUPE, GERHARD FRIEDRICH, pp. 609-624 - Managing caching strategies for stream reasoning with reinforcement learning
CARMINE DODARO, THOMAS EITER, PAUL OGRIS, KONSTANTIN SCHEKOTIHIN, pp. 625-640 - MAP Inference for Probabilistic Logic Programming
ELENA BELLODI, MARCO ALBERTI, FABRIZIO RIGUZZI, RICCARDO ZESE, pp. 641-655 - White-box Induction From SVM Models : Explainable AI with Logic Programming
FARHAD SHAKERIN, GOPAL GUPTA, pp. 656-670 - Concolic Testing in CLP
FRED MESNARD, ÉTIENNE PAYET, GERMÁN VIDAL, pp. 671-686 - A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
GEORGE BARYANNIS, ILIAS TACHMAZIDIS, SOTIRIS BATSAKIS, GRIGORIS ANTONIOU, MARIO ALVIANO, EMMANUEL PAPADAKIS, pp. 687-702 - On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna, pp. 703-718
- Incremental maintenance of overgrounded logic programs with tailored simplifications
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari, pp. 719-734 - Verifying Tight Logic Programs with anthem and Vampire
JORGE FANDINNO, VLADIMIR LIFSCHITZ, PATRICK LÜHNE, TORSTEN SCHAUB, pp. 735-750 - An ASP approach for reasoning in a concept-aware multipreferential lightweight DL Laura Giordano, Daniele Theseider Dupré, pp. 751-766
- Modular Answer Set Programming as a Formal Specification Language
PEDRO CABALAR, JORGE FANDINNO, YULIYA LIERLER, pp. 767-782 - Towards Metric Temporal Answer Set Programming
PEDRO CABALAR, MARTÍN DIÉGUEZ, TORSTEN SCHAUB, ANNA SCHUHMANN, pp. 783-798 - Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
RICHARD TAUPE, ANTONIUS WEINZIERL, GERHARD FRIEDRICH, pp. 799-814
ISSUE 6 – 36th International Conference on Logic Programming Special Issue II (November 2020)
- Introduction to the 36th International Conference on Logic Programming Special Issue II
Francesco Ricca, Alessandra Russo, pp. 815-817 - Flexible coinductive logic programming
FRANCESCO DAGNINO, DAVIDE ANCONA, ELENA ZUCCA, pp. 818-833 - eclingo: a Solver for Epistemic Logic Programs Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub, pp. 834-847
- Modular Constraint Solver Cooperation via Abstract Interpretation PIERRE TALBOT, ÉRIC MONFROY, CHARLOTTE TRUCHET, pp. 848-863
- A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
ROBERTA COSTABILE, GELSOMINA CATALANO, BERNARDO CUTERI, MARIA CONCETTA MORELLI, NICOLA LEONE, MARCO MANNA, pp. 864-879 - Exploiting Game Theory for Analysing Justifications
SIMON MARYNISSEN, BART BOGAERTS, MARC DENECKER, pp. 880-894 - ASP(AC): Answer Set Programming with Algebraic Constraints THOMAS EITER, RAFAEL KIESEL, pp. 895-910
- A General Framework for Stable Roommates Problems using Answer Set Programming
ESRA ERDEM, MÜGE FIDAN, DAVID MANLOVE, PATRICK PROSSER, pp. 911-925 - An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
BOTROS N. HANNA, LY LY T TRIEU, TRAN C. SON, NAM T. DINH, pp. 926-941 - Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Yusuf Izmirlioglu, Esra Erdem, pp. 942-957 - DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
ALESSIO FIORENTINO, JESSICA ZANGARI, MARCO MANNA, pp. 958-973 - Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
AYSU BOGATARKAN, ESRA ERDEM, pp. 974-989 - The New Normal: We Cannot Eliminate the Cuts, but We Can Explore Them Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold, pp. 990-1005
- Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
Momina Rizwan, Volkan Patoglu, Esra Erdem, pp. 1006-1020