Journal: TPLP

Volume 21, Issue 6

698 -- 699Alex Brik, Andrea Formisano 0001, Yanhong Annie Liu, Joost Vennekens. Introduction to the 37th International Conference on Logic Programming Special Issue II
700 -- 716Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard. Transformation-Enabled Precondition Inference
717 -- 734Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo. Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
735 -- 749Vladimir Lifschitz. Here and There with Arithmetic
750 -- 767Jukka Pajunen, Tomi Janhunen. Solution Enumeration by Optimality in Answer Set Programming
768 -- 784Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality
785 -- 801Kylian Van Dessel, Jo Devriendt, Joost Vennekens. as Input Language for Answer Set Solvers
802 -- 817Felix Q. Weitkämper. An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
818 -- 834Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura. Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
835 -- 851Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro. An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
852 -- 869Muge Fidan, Esra Erdem 0001. Knowledge-Based Stable Roommates Problem: A Real-World Application

Volume 21, Issue 5

521 -- 526Alex Brik, Andrea Formisano 0001, Yanhong Annie Liu, Joost Vennekens. Introduction to the 37th International Conference on Logic Programming Special Issue I
527 -- 542Mario Alviano, Sotiris Batsakis, George Baryannis. Modal Logic S5 Satisfiability in Answer Set Programming
543 -- 556Damiano Azzolini, Fabrizio Riguzzi. Optimizing Probabilities in Probabilistic Logic Programs
557 -- 574Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi. Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
575 -- 592Viktor Besin, Markus Hecher, Stefan Woltran. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
593 -- 609Loris Bozzato, Thomas Eiter, Rafael Kiesel. Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
610 -- 628Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari. I-DLV-sr: A Stream Reasoning System based on I-DLV
629 -- 645Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis. A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
646 -- 662Wolfgang Faber 0001, Michael Morak, Lukás Chrpa. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
663 -- 679Jorge Fandinno, François Laferrière, Javier Romero 0003, Torsten Schaub, Tran Cao Son. Planning with Incomplete Information in Quantified Answer Set Programming
680 -- 697Pascual Julián Iranzo, Fernando Sáenz-Pérez. Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

Volume 21, Issue 4

402 -- 403Francesco Calimeri, Marco Manna, Simona Perri. Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
404 -- 427Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza. The Probabilistic Description Logic
428 -- 458Emiliano Lorini. A Qualitative Theory of Cognitive Attitudes and their Change
459 -- 492Joseph Boudou, Martín Diéguez, David Fernández Duque, Philip Kremer. Exploring the Jungle of Intuitionistic Temporal Logics
493 -- 520Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001. Completing the Picture: Complexity of Graded Modal Logics with Converse

Volume 21, Issue 3

293 -- 295Marcello Balduccini, Yuliya Lierler, Stefan Woltran. Preface
296 -- 316Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro. Splitting Epistemic Logic Programs
317 -- 347Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko. Train Scheduling with Hybrid Answer Set Programming
348 -- 371Yi Wang, Joohyung Lee 0002. Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
372 -- 401Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati. Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming

Volume 21, Issue 2

125 -- 144Ed Robbins 0001, Andy King, Jacob M. Howe. Backjumping is Exception Handling
145 -- 195Zeynep Gözen Saribatur, Thomas Eiter. Omission-Based Abstraction for Answer Set Programs
196 -- 243Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo. Incremental and Modular Context-sensitive Analysis
244 -- 263Paul Tarau, Eduardo Blanco 0002. Interactive Text Graph Mining with a Prolog-Based Dialog Engine
264 -- 282Pascual Julián Iranzo, Fernando Sáenz-Pérez. Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
283 -- 290Selmer Bringsjord, Naveen Sundar Govindarajulu. 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
291 -- 0Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo. A general framework for static profiling of parametric resource usage - CORRIGENDUM
292 -- 0Zeynep Gözen Saribatur, Thomas Eiter. Omission-based Abstraction for Answer Set Programs - ERRATUM

Volume 21, Issue 1

1 -- 3Christoph Benzmüller, Xavier Parent, Francesco Ricca. Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
4 -- 50Arash Karimi, Heng Zhang 0006, Jia-Huai You. Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
51 -- 79Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. Characterizing Boundedness in Chase Variants
80 -- 124Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier. A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders