Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory 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 Georgiana 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
a service of 
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-04-30 20:56 CEST 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:
