![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theory and Practice of Logic Programming, Volume 23
Volume 23, Number 1, January 2023
- Thomas Eiter
, Michael J. Maher
, Enrico Pontelli
, Luc De Raedt
, Miroslaw Truszczynski
:
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. 1
- Felicidad Aguado, Pedro Cabalar
, Martín Diéguez
, Gilberto Pérez, Torsten Schaub
, Anna Schuhmann, Concepción Vidal
:
Linear-Time Temporal Answer Set Programming. 2-56
- João Leite
, Martin Slota:
A Brief History of Updates of Answer-Set Programs. 57-110 - Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Forgetting in Answer Set Programming - A Survey. 111-156
- Mario Alviano
, Wolfgang Faber
, Martin Gebser
:
Aggregate Semantics for Propositional Answer Set Programs. 157-194 - Yuliya Lierler
:
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. 195-225 - Tran Cao Son
, Enrico Pontelli
, Marcello Balduccini, Torsten Schaub
:
Answer Set Planning: A Survey. 226-298 - Roland Kaminski
, Javier Romero
, Torsten Schaub
, Philipp Wanko
:
How to Build Your Own ASP-based System?! 299-361
Volume 23, Number 2, March 2023
- Nikos Katzouris
, Georgios Paliouras, Alexander Artikis:
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming. 362-386
- Mark Law
:
Conflict-Driven Inductive Logic Programming. 387-414 - Carmine Dodaro
, Marco Maratea
, Mauro Vallati
:
On the Configuration of More and Less Expressive Logic Programs. 415-443 - Jorge Fandinno
, Luis Fariñas del Cerro:
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. 444-467 - Maximiliano Cristiá
, Gianfranco Rossi:
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. 468-502
Volume 23, Number 3, May 2023
- Tomás Kliegr
, Víctor Gutiérrez-Basulto, Ahmet Soylu:
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020). 503-506 - Luigi Bellomarini
, Eleonora Laurenza, Emanuel Sallinger, Evgeny Sherkhonov:
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs. 507-534 - Simon Vandevelde
, Bram Aerts, Joost Vennekens
:
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning. 535-558 - Leopoldo E. Bertossi
:
Declarative Approaches to Counterfactual Explanations for Classification. 559-593 - Gabriella Pasi, Rafael Peñaloza
:
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. 594-623
Volume 23, Number 4, July 2023
- Stefania Costantini
, Enrico Pontelli
, Alessandra Russo, Francesca Toni
:
Introduction to the 39th International Conference on Logic Programming Special Issue. 624-631 - Jesse Heyninck
, Bart Bogaerts
:
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates. 632-647 - Pierre Carbonnelle
, Joost Vennekens, Marc Denecker, Bart Bogaerts
:
Interactive Model Expansion in an Observable Environment. 648-663 - Vladimir Lifschitz
:
On Program Completion, with an Application to the Sum and Product Puzzle. 664-677 - Yanhong A. Liu
, Scott D. Stoller, Yi Tong, Bo Lin:
Integrating Logic Rules with Everything Else, Seamlessly. 678-695 - Hasra Dodampegama
, Mohan Sridharan
:
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork. 696-714 - Michael Gelfond
, Jorge Fandinno
, Evgenii Balai
:
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. 715-729 - Ionela G. Mocanu
, Vaishak Belle
, Brendan Juba:
Learnability with PAC Semantics for Multi-agent Beliefs. 730-747 - Vito Barbara, Massimo Guarascio
, Nicola Leone, Giuseppe Manco
, Alessandro Quarta, Francesco Ricca
, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. 748-764 - Trung Hoang Le
, Huiping Cao
, Tran Cao Son
:
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. 765-781 - Masood Feyzbakhsh Rankooh
, Tomi Janhunen
:
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. 782-796 - Yuheng Wang
, Paul Fodor
, Michael Kifer:
Knowledge Authoring for Rules and Actions. 797-811 - Sarat Chandra Varanasi
, Neeraj Mittal, Gopal Gupta:
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. 812-831 - Daniela Inclezan
:
An ASP Framework for the Refinement of Authorization and Obligation Policies. 832-847 - Paola Cappanera, Marco Gavanelli
, Maddalena Nonato, Marco Roma
:
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling. 848-864 - Vaishak Belle
:
Toward A Logical Theory Of Fairness and Bias. 865-883 - Rafael Kiesel
, Kilian Rückschloß
, Felix Weitkämper
:
"What if?" in Probabilistic Logic Programming. 884-899 - Tom Schrijvers
, Birthe van den Berg, Fabrizio Riguzzi
:
Automatic Differentiation in Prolog. 900-917 - Wlodzimierz Drabent
:
Implementing Backjumping by Means of Exception Handling. 918-932 - Jorge Fandinno
, Zachary Hansen
, Yuliya Lierler
, Vladimir Lifschitz
, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. 933-947 - Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
:
An Efficient Solver for ASP(Q). 948-964
Volume 23, Number 5, September 2023
- Mario Alviano
, Carmine Dodaro
, Arnel Zamayla
:
ValAsp: A Tool for Data Validation in Answer Set Programming. 965-985 - Michael J. Maher
:
Defeasible Reasoning via Datalog¬. 986-1028 - Thanh Hai Nguyen
, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. 1029-1069 - Fabio Aurelio D'Asaro
, Luca Raggioli, Salim Malek
, Marco Grazioso, Silvia Rossi
:
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems. 1070-1093 - Andre Thevapalan
, Gabriele Kern-Isberner:
On Establishing Robust Consistency in Answer Set Programs. 1094-1127 - Jorge Fandinno
, Vladimir Lifschitz
:
Positive Dependency Graphs Revisited. 1128-1137
Volume 23, Number 6, November 2023
- Roland Kaminski
, Torsten Schaub
:
On the Foundations of Grounding in Answer Set Programming. 1138-1197 - Pietro Totis
, Luc De Raedt
, Angelika Kimmig:
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation. 1198-1247 - Yuliya Lierler
:
Unifying Framework for Optimizations in Non-Boolean Formalisms. 1248-1280 - Thomas Eiter
, Tobias Geibinger
, Nysret Musliu, Johannes Oetsch
, Peter Skocovský, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. 1281-1306 - Stefano Bistarelli, Carlo Taticchi
, Maria Chiara Meo:
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. 1307-1333
![](https://dblp.uni-trier.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.