default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 25
Volume 25, Number 1, 2025
- Damiano Azzolini
, Fabrizio Riguzzi:
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. 1-32 - Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi:
Solving Decision Theory Problems with Probabilistic Answer Set Programming. 33-63 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Catamorphic Abstractions for Constrained Horn Clause Satisfiability. 64-91 - Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca:
Direct Encoding of Declare Constraints in ASP. 92-131
Volume 25, Number 2, 2025
- Guido Governatori, Anni-Yasmin Turhan:
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022). 132-133 - Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
Plingo: A System for Probabilistic Reasoning in Answer Set Programming. 134-167 - Luigi Bellomarini, Livia Blasi, Markus Nissl, Emanuel Sallinger:
The Temporal Vadalog System: Temporal Datalog-Based Reasoning. 168-196 - Javier Romero, Torsten Schaub, Klaus Strauch:
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. 197-224 - Dingmin Wang, Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, Pan Hu:
Practical Reasoning in DatalogMTL. 225-255
Volume 25, Number 3, 2025
- David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Provenance Guided Rollback Suggestions. 256-280 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding. 281-303 - Dörthe Arndt, Stephan Mennicke:
Existential Notation3 Logic. 304-339 - Sascha Rechenberger, Thom W. Frühwirth:
FreeCHR - An Algebraic Framework for Constraint Handling Rules Embeddings. 340-373 - Jordina Francès de Mas, Juliana Bowles:
A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs. 374-393
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-08-28 00:51 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:
