default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 22
Volume 22, Number 1, January 2022
- Stefano Forti
, Federica Paganelli, Antonio Brogi:
Probabilistic QoS-aware Placement of VNF Chains at the Edge. 1-36 - Wlodzimierz Drabent:
On Correctness and Completeness of an n Queens Program. 37-50 - Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. 51-80 - Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt:
Learning Distributional Programs for Relational Autocompletion. 81-114
- Michael J. Maher:
On Signings and the Well-Founded Semantics. 115-127
- Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran:
Exploiting Database Management Systems and Treewidth for Counting. 128-157
Volume 22, Number 2, March 2022
- Paul Fodor, Marco Montali:
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. 158-161
- Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. 162-192 - Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Temporal Minimal-World Query Answering over Sparse ABoxes. 193-228 - Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro:
Operating Room (Re)Scheduling with Bed Management via ASP. 229-253 - Loris Bozzato, Thomas Eiter, Luciano Serafini:
Reasoning on with Defeasibility in ASP. 254-304 - Fangfang Liu, Jia-Huai You:
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. 305-334
Volume 22, Number 3, May 2022
- Yuliya Lierler:
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. 335-366 - Krysia Broda, Fariba Sadri, Stephen Butler:
Reactive Answer Set Programming. 367-418
- Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta:
An ASP-based Approach to Answering Natural Language Questions for Texts. 419-443
- María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis:
Symbolic Specialization of Rewriting Logic Theories with Presto. 444-495
- Gian Luca Pozzato:
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo. 496-498
Volume 22, Number 4, July 2022
- Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue. 499-504
- Rafael Kiesel, Pietro Totis, Angelika Kimmig:
Efficient Knowledge Compilation Beyond Weighted Model Counting. 505-522 - Linde Vanbesien, Maurice Bruynooghe, Marc Denecker:
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. 523-537 - Michael Hanus:
From Logic to Functional Logic Programs. 538-554 - Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi:
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. 555-572 - Vladimir Lifschitz:
Strong Equivalence of Logic Programs with Counting. 573-588 - Laura Giordano, Daniele Theseider Dupré:
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. 589-605 - Alice Tarzariol, Konstantin Schekotihin, Martin Gebser, Mark Law:
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. 606-622 - Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin:
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. 623-639
Volume 22, Number 5, September 2022
- Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue II. 640
- Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker:
On Nested Justification Systems. 641-657 - Huaduo Wang, Farhad Shakerin, Gopal Gupta:
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. 658-677 - Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob:
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. 678-692 - Paul Tarau:
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. 693-707 - Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. 708-722 - Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta:
Building Information Modeling Using Constraint Logic Programming. 723-738 - Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz:
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. 739-754 - David Geleßus, Michael Leuschel:
Making ProB Compatible with SWI-Prolog. 755-769
Volume 22, Number 6, November 2022
- Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski:
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. 770-775
- Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu:
Fifty Years of Prolog and Beyond. 776-858 - Dale Miller:
A Survey of the Proof-Theoretic Foundations of Logic Programming. 859-904
- Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. 905-973 - Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. 974-1042 - Jorge Fandinno, Wolfgang Faber, Michael Gelfond:
Thirty years of Epistemic Specifications. 1043-1083
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-02-14 01:04 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:
