default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 21
Volume 21, Number 1, January 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). 1-3
- Arash Karimi, Heng Zhang, Jia-Huai You:
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. 4-50 - Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
Characterizing Boundedness in Chase Variants. 51-79 - 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. 80-124
Volume 21, Number 2, March 2021
- Ed Robbins, Andy King, Jacob M. Howe:
Backjumping is Exception Handling. 125-144
- Zeynep G. Saribatur, Thomas Eiter:
Omission-Based Abstraction for Answer Set Programs. 145-195
- Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Incremental and Modular Context-sensitive Analysis. 196-243
- Paul Tarau, Eduardo Blanco:
Interactive Text Graph Mining with a Prolog-Based Dialog Engine. 244-263
- Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. 264-282
- 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. 283-290
- Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A general framework for static profiling of parametric resource usage - CORRIGENDUM. 291
- Zeynep G. Saribatur, Thomas Eiter:
Omission-based Abstraction for Answer Set Programs - ERRATUM. 292
Volume 21, Number 3, May 2021
- Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Preface. 293-295
- Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. 296-316 - Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid Answer Set Programming. 317-347 - Yi Wang, Joohyung Lee:
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. 348-371 - 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. 372-401
Volume 21, Number 4, July 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). 402-403
- Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic. 404-427 - Emiliano Lorini:
A Qualitative Theory of Cognitive Attitudes and their Change. 428-458 - Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer:
Exploring the Jungle of Intuitionistic Temporal Logics. 459-492 - Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski:
Completing the Picture: Complexity of Graded Modal Logics with Converse. 493-520
Volume 21, Number 5, September 2021
- Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens:
Introduction to the 37th International Conference on Logic Programming Special Issue I. 521-526
- Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 Satisfiability in Answer Set Programming. 527-542 - Damiano Azzolini, Fabrizio Riguzzi:
Optimizing Probabilities in Probabilistic Logic Programs. 543-556 - Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi:
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. 557-574 - Viktor Besin, Markus Hecher, Stefan Woltran:
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. 575-592 - Loris Bozzato, Thomas Eiter, Rafael Kiesel:
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. 593-609 - Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari:
I-DLV-sr: A Stream Reasoning System based on I-DLV. 610-628 - Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. 629-645 - Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. 646-662 - Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. 663-679 - Pascual Julián Iranzo, Fernando Sáenz-Pérez:
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. 680-697
Volume 21, Number 6, November 2021
- Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens:
Introduction to the 37th International Conference on Logic Programming Special Issue II. 698-699
- Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. 700-716 - Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo:
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. 717-734 - Vladimir Lifschitz:
Here and There with Arithmetic. 735-749 - Jukka Pajunen, Tomi Janhunen:
Solution Enumeration by Optimality in Answer Set Programming. 750-767 - Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
VeriFly: On-the-fly Assertion Checking via Incrementality. 768-784 - Kylian Van Dessel, Jo Devriendt, Joost Vennekens:
as Input Language for Answer Set Solvers. 785-801 - Felix Q. Weitkämper:
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions. 802-817 - Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura:
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. 818-834 - Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro:
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. 835-851 - Muge Fidan, Esra Erdem:
Knowledge-Based Stable Roommates Problem: A Real-World Application. 852-869
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
