Volume 21 – Issue 1 – January 2021
Special Issue from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
-
Introduction, CHRISTOPH BENZMÜLLER, XAVIER PARENT, FRANCESCO RICCA, pp 1-3.
- Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation Arash Karimi, Heng Zhang, Jia-Huai You, pp. 4-50
- Characterizing Boundedness in Chase Variants Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier, Federico Ulliana, pp. 51-79
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francoise Durand-Dubief, Dominique Sappey-Marinier, pp. 80-124.
Volume 21 – Issue 2 – March 2021
- Backjumping is Exception Handling Ed Robbins, Andy King, Jacob M. Howe. 125-144
- Omission-based Abstraction for Answer Set Programs Saribatur, Zeynep G; Eiter, Thomas. 145-195
- Incremental and Modular Context-sensitive Analysis ISABEL GARCIA-CONTRERAS, JOSÉ F. MORALES, MANUEL V. HERMENEGILDO, 196-243.
- Interactive Text Graph Mining with a Prolog-based Dialog Engine Paul Tarau, Eduardo Blanco, 244-263
- Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Julián-Iranzo, Pascual; Sáenz-Pérez, Fernando, 264-282 - BOOK REVIEW: Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
SELMER BRINGSJORD, NAVEEN SUNDAR GOVINDARAJULU, 283-290 - Plus a corrigendum and an errata (291,292)
Volume 21 – Issue 3 – May 2021
Special issue: selected papers from LPNMR 2019
- Preface. MARCELLO BALDUCCINI, YULIYA LIERLER, STEFAN WOLTRAN, 293-295
- Splitting Epistemic Logic Programs Cabalar, Pedro; Fandinno, Jorge, Fariñas del Cerro, Luis, 296-316
- Train Scheduling with Hybrid Answer Set Programming Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko, 317-347
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language. YI WANG, JOOHYUNG LEE 348-371
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
RICCARDO BERTOLUCCI, ALESSIO CAPITANELLI, CARMINE DODARO, NICOLA LEONE, MARCO MARATEA, FULVIO MASTROGIOVANNI, MAURO VALLATI. 372-401
Volume 21 – Issue 4 – July 2021
Special Issue from JELIA 2019
- Introduction. Francesco Calimeri, Marco Manna, Simona Perri, 402-403.
- The Probabilistic Description Logic BALC
Leonard Botha, Thomas Meyer, Rafael Peñaloza, 404-427 - A Qualitative Theory of Cognitive Attitudes and their Change.
Lorini, Emiliano, 428-458 - Exploring the Jungle of Intuitionistic Temporal Logics
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer, 459-492 - Completing the Picture: Complexity of Graded Modal Logics with Converse
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski, 493-520
Volume 21 – ISSUE 5 and 6, Sept 2021 – Special issue on ICLP 2021
-
Preface (by Alex Brik , Andrea Formisano, Yanhong Annie Liu, and Joost Vennekens), 521-526 and 698-699
- Modal Logic S5 Satisfiability in Answer Set Programmingrse
Mario Alviano, Sotiris Batsakis, George Baryannis, 527-542. - Optimizing Probabilities in Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, 543-556. - Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi, 557-574. - Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
Viktor Besin, Markus Hecher, Stefan Woltran, 575-592, - Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Loris Bozzato, Thomas Eiter, Rafael Kiesel, 593-609. - I-DLV-sr: A Stream Reasoning System based on I-DLV
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari, 610-628. - A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis, 629-645. - Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Wolfgang Faber, Michael Morak, Lukáš Chrpa, 646-662. - Planning with Incomplete Information in Quantified Answer Set Programming
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son, 663-679. - Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
Pascual Julián-Iranzo, Fernando Sáenz-Pérez, 680-697 - Transformation-Enabled Precondition Inference
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Sondergaard, 700-716 - Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo, 717-734 - Here and There with Arithmetic
Vladimir Lifschitz, 735-749 - Solution Enumeration by Optimality in Answer Set Programming
Jukka Pajunen, Tomi Janhunen, 750-767 - VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, Jose F. Morales, Pedro lopez-Garcia, Manuel V. Hermenegildo, 768-784 - FOLASP: FO(.) as Input Language for Answer Set Solvers
Kylian Van Dessel, Jo Devriendt, Joost Vennekens, 785-801 - An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions
Felix Weitkämper, 802-817 - Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura, 818-834 - An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
Carmine Dodaro, Giuseppe Galatà , Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro, 835-851 - Knowledge-Based Stable Roommates Problem: A Real-World Application
Muge Fidan, Esra Erdem, 852-869