default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming, Volume 19
Volume 19, Number 1, January 2019
- Ho-Pun Lam
, Mustafa Hashmi:
Enabling reasoning with LegalRuleML. 1-26 - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-shot ASP solving with clingo. 27-82
- Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid metabolic network completion. 83-108
Volume 19, Number 2, March 2019
- Stefan Ellmauthaler, Claudia Schulz:
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms. 109-113
- Jorge Fandinno, Claudia Schulz:
Answering the "why" in answer set programming - A survey of explanation approaches. 114-203
- Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
Introducing Computer Science to High School Students Through Logic Programming. 204-228 - Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo:
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. 229-261 - Elias Marcopoulos, Yuanlin Zhang:
onlineSPARC: A Programming Environment for Answer Set Programming. 262-289 - Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-ground ASP Programs: Technique and Graphical Tools. 290-316 - Christos T. Rodosthenous, Loizos Michael:
Web-STAR: A Visual Web-based IDE for a Story Comprehension System. 317-359
Volume 19, Number 3, May 2019
- Christoph Redl:
Inlining External Sources in Answer Set Programs. 360-411 - Joaquín Arias, Manuel Carro:
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. 412-448 - Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi:
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. 449-476
- Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. 477-504
Volume 19, Number 4, July 2019
- Sergey Paramonov, Daria Stepanova, Pauli Miettinen:
Hybrid ASP-based Approach to Pattern Mining. 505-535 - Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. 536-573 - Adrián Riesco, Juan Rodríguez-Hortalá:
Property-Based Testing for Spark Streaming. 574-602
- Francesco Calimeri, Simona Perri, Jessica Zangari:
Optimizing Answer Set Computation via Heuristic-Based Decomposition. 603-628
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. 629
Volume 19, Numbers 5-6, September 2019
- Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang:
Introduction to the 35th International Conference on Logic Programming Special Issue. 630-635
- Tiantian Gao, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. 636-653 - Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari:
Enhancing Magic Sets with an Application to Ontological Reasoning. 654-670 - Jorge Fandinno:
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting. 671-687 - Giovanni Amendola, Francesco Ricca:
Paracoherent Answer Set Semantics meets Argumentation Frameworks. 688-704 - Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
Beyond NP: Quantifying over Answer Sets. 705-721 - Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. 722-739 - Giovanni Amendola, Carmine Dodaro, Marco Maratea:
Abstract Solvers for Computing Cautious Consequences of ASP programs. 740-756 - Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
Better Paracoherent Answer Sets with Less Resources. 757-772 - Gonzague Yernaux, Wim Vanhoof:
Anti-unification in Constraint Logic Programming. 773-789 - Stefania Costantini:
About Epistemic Negation and World Views in Epistemic Logic Programs. 790-807 - Fernando Sáenz-Pérez:
Applying Constraint Logic Programming to SQL Semantic Analysis. 808-825 - Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. 826-840 - Efthimis Tsilionis, Nikolaos Koutroumanis, Panagiotis Nikitopoulos, Christos Doulkeridis, Alexander Artikis:
Online Event Recognition from Moving Vehicles: Application Paper. 841-856 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. 857-873 - María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis:
Symbolic Analysis of Maude Theories with Narval. 874-890 - Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath:
Inconsistency Proofs for ASP: The ASP - DRUPE Format. 891-907 - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Revisiting Explicit Negation in Answer Set Programming. 908-924 - Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
The Expressive Power of Higher-Order Datalog. 925-940 - João F. L. Alcântara, Samy Sá, Juan Carlos Acosta Guadarrama:
On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs. 941-956 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
Incremental Answer Set Programming with Overgrounding. 957-973 - Thomas Eiter, Paul Ogris, Konstantin Schekotihin:
A Distributed Approach to LARS Stream Reasoning (System paper). 974-989 - Jesús J. Doménech, John P. Gallagher, Samir Genaim:
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. 990-1005 - Amelia Harrison, Vladimir Lifschitz:
Relating Two Dialects of Answer Set Programming. 1006-1020 - Arpit Sharma:
Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. 1021-1037 - Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. 1038-1055 - Ariyam Das, Carlo Zaniolo:
A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation. 1056-1072 - Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. 1073-1089 - Yi Wang, Shiqi Zhang, Joohyung Lee:
Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language. 1090-1106 - Joaquín Arias, Manuel Carro:
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. 1107-1123 - David Spies, Jia-Huai You, Ryan Hayward:
Domain-Independent Cost-Optimal Planning in ASP. 1124-1142
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-09-18 23:40 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:
