default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory 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, Alberto Verdejo, Narciso Martí-Oliet:
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, Jan Christiansen, Finn Teegen:
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. 147-175
Volume 20, Number 2, March 2020
- Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. 176-204 - Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari:
Efficiently Coupling the I-DLV Grounder with ASP Solvers. 205-224 - Carmine Dodaro, Francesco Ricca:
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, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. 294-309
Volume 20, Number 3, May 2020
- Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. 310-357 - Alejandro Javier García, Henry Prakken, Guillermo Ricardo Simari:
A Comparative Study of Some Central Notions of ASPIC+ and DeLP. 358-390 - Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
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, Stefan Woltran:
selp: A Single-Shot Epistemic Logic Program Solver. 435-455
- Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi:
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. 456-511 - Jori Bomanson, Tomi Janhunen:
Boosting Answer Set Optimization with Weighted Comparator Networks. 512-551 - Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. 552-586
Volume 20, Number 5, September 2020
- Francesco Ricca, Alessandra Russo:
Introduction to the 36th International Conference on Logic Programming Special Issue I. 587-592
- Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli:
Modelling Multi-Agent Epistemic Planning in ASP. 593-608 - Antonius Weinzierl, Richard Taupe, Gerhard Friedrich:
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More. 609-624 - Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
Managing caching strategies for stream reasoning with reinforcement learning. 625-640 - Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese:
MAP Inference for Probabilistic Logic Programming. 641-655 - Farhad Shakerin, Gopal Gupta:
White-box Induction From SVM Models: Explainable AI with Logic Programming. 656-670 - Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in CLP. 671-686 - George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis:
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. 687-702 - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. 703-718 - Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Incremental maintenance of overgrounded logic programs with tailored simplifications. 719-734 - Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and vampire. 735-750 - Laura Giordano, Daniele Theseider Dupré:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. 751-766 - Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
Modular Answer Set Programming as a Formal Specification Language. 767-782 - Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. 783-798 - Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. 799-814
Volume 20, Number 6, November 2020
- Francesco Ricca, Alessandra Russo:
Introduction to the 36th International Conference on Logic Programming Special Issue II. 815-817
- Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. 818-833 - Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo : A Solver for Epistemic Logic Programs. 834-847 - Pierre Talbot, Éric Monfroy, Charlotte Truchet:
Modular Constraint Solver Cooperation via Abstract Interpretation. 848-863 - Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna:
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. 864-879 - Simon Marynissen, Bart Bogaerts, Marc Denecker:
Exploiting Game Theory for Analysing Justifications. 880-894 - Thomas Eiter, Rafael Kiesel:
ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints. 895-910 - Esra Erdem, Müge Fidan, David F. Manlove, Patrick Prosser:
A General Framework for Stable Roommates Problems using Answer Set Programming. 911-925 - Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh:
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. 926-941 - Yusuf Izmirlioglu, Esra Erdem:
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming. 942-957 - Alessio Fiorentino, Jessica Zangari, Marco Manna:
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. 958-973 - Aysu Bogatarkan, Esra Erdem:
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming. 974-989 - Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold:
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. 990-1005 - Momina Rizwan, Volkan Patoglu, Esra Erdem:
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 2026-10-16 02:08 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
