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
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-08 20:19 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:
