![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Theory 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.