default search action
Theory and Practice of Logic Programming, Volume 22
Volume 22, Number 1, January 2022
- Stefano Forti
, Federica Paganelli
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
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. 51-80 - Nitesh Kumar
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
Exploiting Database Management Systems and Treewidth for Counting. 128-157
Volume 22, Number 2, March 2022
- Paul Fodor
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. 158-161
- Franz Baader
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. 162-192 - Stefan Borgwardt, Walter Forkel
Temporal Minimal-World Query Answering over Sparse ABoxes. 193-228 - Carmine Dodaro
Operating Room (Re)Scheduling with Bed Management via ASP. 229-253 - Loris Bozzato
Reasoning on with Defeasibility in ASP. 254-304 - Fangfang Liu
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
Reactive Answer Set Programming. 367-418
- Dhruva Pendharkar, Kinjal Basu
An ASP-based Approach to Answering Natural Language Questions for Texts. 419-443
- María Alpuente
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
Introduction to the 38th International Conference on Logic Programming Special Issue. 499-504
- Rafael Kiesel
Efficient Knowledge Compilation Beyond Weighted Model Counting. 505-522 - Linde Vanbesien
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
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. 555-572 - Vladimir Lifschitz
Strong Equivalence of Logic Programs with Counting. 573-588 - Laura Giordano
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases. 589-605 - Alice Tarzariol
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. 606-622 - Mohammed M. S. El-Kholany
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling. 623-639
Volume 22, Number 5, September 2022
- Yuliya Lierler
Introduction to the 38th International Conference on Logic Programming Special Issue II. 640
- Simon Marynissen
On Nested Justification Systems. 641-657 - Huaduo Wang
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. 658-677 - Matthias Lanzinger, Stefano Sferrazza
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
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. 708-722 - Joaquín Arias
Building Information Modeling Using Constraint Logic Programming. 723-738 - Thomas Eiter
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. 739-754 - David Geleßus
Making ProB Compatible with SWI-Prolog. 755-769
Volume 22, Number 6, November 2022
- Thomas Eiter
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. 770-775
- Philipp Körner
Fifty Years of Prolog and Beyond. 776-858 - Dale Miller
A Survey of the Proof-Theoretic Foundations of Logic Programming. 859-904
- Agostino Dovier
Parallel Logic Programming: A Sequel. 905-973 - Emanuele De Angelis
Analysis and Transformation of Constrained Horn Clauses for Program Verification. 974-1042 - Jorge Fandinno
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 2024-11-18 20:34 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: