- 2021
- Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub
, Ambra Toletti
, Philipp Wanko
:
Train Scheduling with Hybrid Answer Set Programming. Theory Pract. Log. Program. 21(3): 317-347 (2021) - Mario Alviano
, Sotiris Batsakis, George Baryannis
:
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21(5): 527-542 (2021) - Damiano Azzolini
, Fabrizio Riguzzi
:
Optimizing Probabilities in Probabilistic Logic Programs. Theory Pract. Log. Program. 21(5): 543-556 (2021) - Marcello Balduccini, Yuliya Lierler
, Stefan Woltran
:
Preface. Theory Pract. Log. Program. 21(3): 293-295 (2021) - Bartosz Bednarczyk
, Emanuel Kieronski, Piotr Witkowski
:
Completing the Picture: Complexity of Graded Modal Logics with Converse. Theory Pract. Log. Program. 21(4): 493-520 (2021) - Elena Bellodi
, Marco Gavanelli
, Riccardo Zese
, Evelina Lamma, Fabrizio Riguzzi
:
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. Theory Pract. Log. Program. 21(5): 557-574 (2021) - Christoph 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). Theory Pract. Log. Program. 21(1): 1-3 (2021) - Riccardo 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. Theory Pract. Log. Program. 21(3): 372-401 (2021) - Viktor Besin, Markus Hecher
, Stefan Woltran
:
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Theory Pract. Log. Program. 21(5): 575-592 (2021) - Leonard Botha, Thomas Andreas Meyer
, Rafael Peñaloza
:
The Probabilistic Description Logic. Theory Pract. Log. Program. 21(4): 404-427 (2021) - Joseph Boudou, Martín Diéguez
, David Fernández-Duque
, Philip Kremer:
Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. 21(4): 459-492 (2021) - Loris Bozzato
, Thomas Eiter
, Rafael Kiesel
:
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory Pract. Log. Program. 21(5): 593-609 (2021) - Alex Brik, Andrea Formisano
, Yanhong Annie Liu, Joost Vennekens
:
Introduction to the 37th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 21(5): 521-526 (2021) - Alex Brik
, Andrea Formisano
, Yanhong Annie Liu
, Joost Vennekens
:
Introduction to the 37th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 21(6): 698-699 (2021) - Selmer 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. Theory Pract. Log. Program. 21(2): 283-290 (2021) - Paul S. Brown
, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura:
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. Theory Pract. Log. Program. 21(6): 818-834 (2021) - Pedro Cabalar, Jorge Fandinno
, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21(3): 296-316 (2021) - Francesco 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. Theory Pract. Log. Program. 21(1): 80-124 (2021) - Francesco Calimeri
, Marco Manna
, Elena Mastria, Maria Concetta Morelli, Simona Perri
, Jessica Zangari
:
I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21(5): 610-628 (2021) - Francesco Calimeri
, Marco Manna
, Simona Perri
:
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Theory Pract. Log. Program. 21(4): 402-403 (2021) - Angelos Charalambidis
, Panos Rondogiannis, Antonis Troumpoukis:
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. Theory Pract. Log. Program. 21(5): 629-645 (2021) - Stathis Delivorias
, Michel Leclère, Marie-Laure Mugnier
, Federico Ulliana:
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21(1): 51-79 (2021) - Kylian Van Dessel
, Jo Devriendt, Joost Vennekens
:
as Input Language for Answer Set Solvers. Theory Pract. Log. Program. 21(6): 785-801 (2021) - Carmine Dodaro
, Giuseppe Galatà, Andrea Grioni, Marco Maratea
, Marco Mochi
, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21(6): 835-851 (2021) - Wolfgang Faber
, Michael Morak
, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. Theory Pract. Log. Program. 21(5): 646-662 (2021) - Jorge Fandinno
, François Laferrière, Javier Romero
, Torsten Schaub
, Tran Cao Son
:
Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. 21(5): 663-679 (2021) - Muge Fidan
, Esra Erdem
:
Knowledge-Based Stable Roommates Problem: A Real-World Application. Theory Pract. Log. Program. 21(6): 852-869 (2021) - Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo
:
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21(2): 196-243 (2021) - Pascual Julián Iranzo
, Fernando Sáenz-Pérez
:
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. Theory Pract. Log. Program. 21(2): 264-282 (2021) - Pascual Julián Iranzo
, Fernando Sáenz-Pérez
:
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory Pract. Log. Program. 21(5): 680-697 (2021)