default search action
Theory and Practice of Logic Programming, Volume 23
Volume 23, Number 1, January 2023
- Thomas Eiter
, Michael J. Maher
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. 1
- Felicidad Aguado, Pedro Cabalar
Linear-Time Temporal Answer Set Programming. 2-56
- João Leite
A Brief History of Updates of Answer-Set Programs. 57-110 - Ricardo Gonçalves
Forgetting in Answer Set Programming - A Survey. 111-156
- Mario Alviano
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
Answer Set Planning: A Survey. 226-298 - Roland Kaminski
How to Build Your Own ASP-based System?! 299-361
Volume 23, Number 2, March 2023
- Nikos Katzouris
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming. 362-386
- Mark Law
Conflict-Driven Inductive Logic Programming. 387-414 - Carmine Dodaro
On the Configuration of More and Less Expressive Logic Programs. 415-443 - Jorge Fandinno
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. 444-467 - Maximiliano Cristiá
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. 468-502
Volume 23, Number 3, May 2023
- Tomás Kliegr
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
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs. 507-534 - Simon Vandevelde
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
Introduction to the 39th International Conference on Logic Programming Special Issue. 624-631 - Jesse Heyninck
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates. 632-647 - Pierre Carbonnelle
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
Integrating Logic Rules with Everything Else, Seamlessly. 678-695 - Hasra Dodampegama
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork. 696-714 - Michael Gelfond
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. 715-729 - Ionela G. Mocanu
Learnability with PAC Semantics for Multi-agent Beliefs. 730-747 - Vito Barbara, Massimo Guarascio
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. 748-764 - Trung Hoang Le
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. 765-781 - Masood Feyzbakhsh Rankooh
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. 782-796 - Yuheng Wang
Knowledge Authoring for Rules and Actions. 797-811 - Sarat Chandra Varanasi
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
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
"What if?" in Probabilistic Logic Programming. 884-899 - Tom Schrijvers
Automatic Differentiation in Prolog. 900-917 - Wlodzimierz Drabent
Implementing Backjumping by Means of Exception Handling. 918-932 - Jorge Fandinno
External Behavior of a Logic Program and Verification of Refactoring. 933-947 - Wolfgang Faber, Giuseppe Mazzotta
An Efficient Solver for ASP(Q). 948-964
Volume 23, Number 5, September 2023
- Mario Alviano
ValAsp: A Tool for Data Validation in Answer Set Programming. 965-985 - Michael J. Maher
Defeasible Reasoning via Datalog¬. 986-1028 - Thanh Hai Nguyen
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. 1029-1069 - Fabio Aurelio D'Asaro
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems. 1070-1093 - Andre Thevapalan
On Establishing Robust Consistency in Answer Set Programs. 1094-1127 - Jorge Fandinno
Positive Dependency Graphs Revisited. 1128-1137
Volume 23, Number 6, November 2023
- Roland Kaminski
On the Foundations of Grounding in Answer Set Programming. 1138-1197 - Pietro Totis
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
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. 1281-1306 - Stefano Bistarelli, Carlo Taticchi
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. 1307-1333
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-11-22 19:43 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: