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
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. 4-50 - Stathis Delivorias
Characterizing Boundedness in Chase Variants. 51-79 - Francesco Calimeri
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. 80-124
Volume 21, Number 2, March 2021
- Ed Robbins
Backjumping is Exception Handling. 125-144
- Zeynep G. Saribatur
Omission-Based Abstraction for Answer Set Programs. 145-195
- Isabel Garcia-Contreras
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
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
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
Preface. 293-295
- Pedro Cabalar, Jorge Fandinno
Splitting Epistemic Logic Programs. 296-316 - Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub
Train Scheduling with Hybrid Answer Set Programming. 317-347 - Yi Wang
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +. 348-371 - Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. 372-401
Volume 21, Number 4, July 2021
- Francesco Calimeri
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
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
Exploring the Jungle of Intuitionistic Temporal Logics. 459-492 - Bartosz Bednarczyk
Completing the Picture: Complexity of Graded Modal Logics with Converse. 493-520
Volume 21, Number 5, September 2021
- Alex Brik, Andrea Formisano
Introduction to the 37th International Conference on Logic Programming Special Issue I. 521-526
- Mario Alviano
Modal Logic S5 Satisfiability in Answer Set Programming. 527-542 - Damiano Azzolini
Optimizing Probabilities in Probabilistic Logic Programs. 543-556 - Elena Bellodi
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints. 557-574 - Viktor Besin, Markus Hecher
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. 575-592 - Loris Bozzato
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. 593-609 - Francesco Calimeri
I-DLV-sr: A Stream Reasoning System based on I-DLV. 610-628 - Angelos Charalambidis
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. 629-645 - Wolfgang Faber
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. 646-662 - Jorge Fandinno
Planning with Incomplete Information in Quantified Answer Set Programming. 663-679 - Pascual Julián Iranzo
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. 680-697
Volume 21, Number 6, November 2021
- Alex Brik
Introduction to the 37th International Conference on Logic Programming Special Issue II. 698-699
- Bishoksan Kafle
Transformation-Enabled Precondition Inference. 700-716 - Tuomo Lehtonen
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
VeriFly: On-the-fly Assertion Checking via Incrementality. 768-784 - Kylian Van Dessel
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
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. 818-834 - Carmine Dodaro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. 835-851 - Muge Fidan
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 2024-12-29 01:16 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: