default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 24
Volume 24, Number 1, January 2024
- José A. Riaza
:
Tau Prolog: A Prolog Interpreter for the Web. 1-21 - Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev:
The Stable Model Semantics of Datalog with Metric Temporal Operators. 22-56 - Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Compositional Verification in Rewriting Logic. 57-109 - Alexander Vandenbroucke, Tom Schrijvers:
Disjunctive Delimited Control. 110-131 - Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler:
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. 132-156 - Chiaki Sakama:
Human Conditional Reasoning in Answer Set Programming. 157-192
Volume 24, Number 2, March 2024
- Mario Alviano, Andreas Pieris:
Selected Papers from Datalog 2.0 2022. 193-195 - Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio:
CNL2ASP: Converting Controlled Natural Language Sentences into ASP. 196-226 - Georg Gottlob, Marco Manna, Cinzia Marte:
Dyadic Existential Rules. 227-249 - Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. 250-278 - Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings. 279-309 - Sotiris Moschoyiannis, Rafael Peñaloza:
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). 310-312 - Francesco Cauteruccio, Giorgio Terracina:
Extended High-Utility Pattern Mining: An Answer Set Programming-Based Framework and Applications. 313-343 - Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro:
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach. 344-367 - Haya Majid Qureshi, Wolfgang Faber:
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. 368-393 - Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh:
Distributed Subweb Specifications for Traversing the Web. 394-420 - Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova:
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. 421
Volume 24, Number 3, 2024
- Georg Gottlob, Daniela Inclezan, Marco Maratea:
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning. 422-424 - Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. 425-452 - Benjamin Callewaert, Joost Vennekens:
Multi-Shot Answer Set Programming for Flexible Payroll Management. 453-481 - Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: A Study of Some Properties. 482-504 - Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac:
IASCAR: Incremental Answer Set Counting by Anytime Refinement. 505-532 - Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: A System for ASP-based Visualization. 533-559 - Simon Vandevelde, Joost Vennekens, Jeroen Jordens, Bart Van Doninck, Maarten Witters:
Knowledge-Based Support for Adhesive Selection: Will it Stick? 560-580
Volume 24, Number 4, 2024
- Pedro Cabalar, Theresa Swift:
Introduction to the 40th International Conference On Logic Programming Special Issue. 581-585 - Mohimenul Kabir, Kuldeep S. Meel:
On Lower Bounding Minimal Model Count. 586-605 - Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta:
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. 606-627 - Fieke Hillerström, Gertjan J. Burghouts:
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation. 628-643 - Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta:
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. 644-662 - Lachlan McGinness, Peter Baumgartner:
CON-FOLD Explainable Machine Learning with Confidence. 663-681 - Damiano Azzolini, Fabrizio Riguzzi:
Fast Inference for Probabilistic Answer Set Programs Via the Residual Program. 682-697 - Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi:
Symbolic Parameter Learning in Probabilistic Answer Set Programming. 698-715 - Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski:
Quantifying over Optimum Answer Sets. 716-736 - Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis:
The Stable Model Semantics for Higher-Order Logic Programming. 737-754 - Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
Dominating Set Reconfiguration with Answer Set Programming. 755-771 - Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl:
Winning Snake: Design Choices in Multi-Shot ASP. 772-789 - Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn:
Reasoning About Study Regulations in Answer Set Programming. 790-804 - Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby:
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. 805-824 - Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. 825-843 - Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. 844-862 - Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Abstract Environment Trimming. 863-884 - David Scott Warren:
The Semantics of Metaprogramming in Prolog. 885-900 - Riley Kinahan, Spencer Killen, Kevin Wan, Jia-Huai You:
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases. 901-920 - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping. 921-941
Volume 24, Number 5, 2024
- Jorge Fandinno, Vladimir Lifschitz, Nathan Temple:
Locally Tight Programs. 942-972 - Akihiro Takemura, Katsumi Inoue:
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. 973-1010 - Maximiliano Cristiá, Gianfranco Rossi:
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. 1011-1030 - Yuliya Lierler:
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12. 1031-1050 - Gianluca Amato, Francesca Scozzari:
Optimal Matching for Sharing and Linearity Analysis. 1051-1077
Volume 24, Number 6, 2024
- Giovanni Amendola, Giuseppe Mazzotta, Francesco Ricca, Tobias Berei:
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. 1078-1108 - Pedro Cabalar, Brais Muñiz:
Model Explanation via Support Graphs. 1109-1122 - Dale Miller, Alberto Momigliano:
Property-Based Testing by Elaborating Proof Outlines. 1123-1162 - Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García:
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs. 1163-1207 - João F. L. Alcântara, Renan Cordeiro, Samy Sá:
On the Equivalence between Logic Programming and SETAF. 1208-1236
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 2025-12-09 23:26 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:
