![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theory 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
![](https://dblp.org/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.