default search action
Theory and Practice of Logic Programming, Volume 20
Volume 20, Number 1, January 2020
- Luciano Caroprese
, Ester Zumpano:
A Logic Framework for P2P Deductive Databases. 1-43 - Óscar Martín
Compositional Specification in Rewriting Logic. 44-98 - François Bry
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. 99-146 - Sandra Dylus
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. 147-175
Volume 20, Number 2, March 2020
- Martin Gebser
The Seventh Answer Set Programming Competition: Design and Results. 176-204 - Francesco Calimeri
Efficiently Coupling the I-DLV Grounder with ASP Solvers. 205-224 - Carmine Dodaro
The External Interface for Extending WASP. 225-248 - Marcello Balduccini, Emily C. LeBlanc:
Action-Centered Information Retrieval. 249-272 - Qinglin Zhang, Chris Benton, Daniela Inclezan:
An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus. 273-293
- Francesco Calimeri, Wolfgang Faber
ASP-Core-2 Input Language Format. 294-309
Volume 20, Number 3, May 2020
- Elvira Albert, Samir Genaim
A Transformational Approach to Resource Analysis with Typed-norms Inference. 310-357 - Alejandro Javier García, Henry Prakken
A Comparative Study of Some Central Notions of ASPIC+ and DeLP. 358-390 - Gerhard Brewka, Martin Diller
Solving Advanced Argumentation Problems with Answer Set Programming. 391-431
- Victor W. Marek
Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. 432-434
Volume 20, Number 4, July 2020
- Manuel Bichler, Michael Morak
selp: A Single-Shot Epistemic Logic Program Solver. 435-455
- Daniela Briola
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. 456-511 - Jori Bomanson
Boosting Answer Set Optimization with Weighted Comparator Networks. 512-551 - Michael J. Maher, Ilias Tachmazidis
Rethinking Defeasible Reasoning: A Scalable Approach. 552-586
Volume 20, Number 5, September 2020
- Francesco Ricca
Introduction to the 36th International Conference on Logic Programming Special Issue I. 587-592
- Alessandro Burigana
Modelling Multi-Agent Epistemic Planning in ASP. 593-608 - Antonius Weinzierl
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. 609-624 - Carmine Dodaro
Managing caching strategies for stream reasoning with reinforcement learning. 625-640 - Elena Bellodi, Marco Alberti
MAP Inference for Probabilistic Logic Programming. 641-655 - Farhad Shakerin
White-box Induction From SVM Models: Explainable AI with Logic Programming. 656-670 - Fred Mesnard, Étienne Payet
Concolic Testing in CLP. 671-686 - George Baryannis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. 687-702 - Gianvincenzo Alfano
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. 703-718 - Giovambattista Ianni, Francesco Pacenza
Incremental maintenance of overgrounded logic programs with tailored simplifications. 719-734 - Jorge Fandinno
Verifying Tight Logic Programs with anthem and vampire. 735-750 - Laura Giordano
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. 751-766 - Pedro Cabalar
Modular Answer Set Programming as a Formal Specification Language. 767-782 - Pedro Cabalar
Towards Metric Temporal Answer Set Programming. 783-798 - Richard Taupe
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. 799-814
Volume 20, Number 6, November 2020
- Francesco Ricca
Introduction to the 36th International Conference on Logic Programming Special Issue II. 815-817
- Francesco Dagnino, Davide Ancona
Flexible coinductive logic programming. 818-833 - Pedro Cabalar
eclingo : A Solver for Epistemic Logic Programs. 834-847 - Pierre Talbot
Modular Constraint Solver Cooperation via Abstract Interpretation. 848-863 - Roberta Costabile
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. 864-879 - Simon Marynissen
Exploiting Game Theory for Analysing Justifications. 880-894 - Thomas Eiter
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. 895-910 - Esra Erdem
A General Framework for Stable Roommates Problems using Answer Set Programming. 911-925 - Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. 926-941 - Yusuf Izmirlioglu
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming. 942-957 - Alessio Fiorentino
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. 958-973 - Aysu Bogatarkan
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming. 974-989 - Ekaterina Komendantskaya
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. 990-1005 - Momina Rizwan
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach. 1006-1020
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:48 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: