Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tplp/tplp19.bht:"
download as .bib file
@article{DBLP:journals/tplp/00010M19,
author = {Sergey Paramonov and
Daria Stepanova and
Pauli Miettinen},
title = {Hybrid ASP-based Approach to Pattern Mining},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {505--535},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000467},
doi = {10.1017/S1471068418000467},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/00010M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0001FVY19,
author = {Esra Erdem and
Andrea Formisano and
Germ{\'{a}}n Vidal and
Fangkai Yang},
title = {Introduction to the 35th International Conference on Logic Programming
Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {630--635},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000413},
doi = {10.1017/S1471068419000413},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0001FVY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0001MW19,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {On Uniform Equivalence of Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {826--840},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000218},
doi = {10.1017/S1471068419000218},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0001R19,
author = {Adri{\'{a}}n Riesco and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
title = {Property-Based Testing for Spark Streaming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {574--602},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000012},
doi = {10.1017/S1471068419000012},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/0001R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0048ZL19,
author = {Yi Wang and
Shiqi Zhang and
Joohyung Lee},
title = {Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic
Action Language},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1090--1106},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000371},
doi = {10.1017/S1471068419000371},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0048ZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AguadoCF0PV19,
author = {Felicidad Aguado and
Pedro Cabalar and
Jorge Fandinno and
David Pearce and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
title = {Revisiting Explicit Negation in Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {908--924},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000267},
doi = {10.1017/S1471068419000267},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AguadoCF0PV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertBBMR19,
author = {Elvira Albert and
Miquel Bofill and
Cristina Borralleras and
Enrique Martin{-}Martin and
Albert Rubio},
title = {Resource Analysis driven by (Conditional) Termination Proofs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {722--739},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000152},
doi = {10.1017/S1471068419000152},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlbertBBMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlcantaraSG19,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}} and
Juan Carlos Acosta Guadarrama},
title = {On the Equivalence Between Abstract Dialectical Frameworks and Logic
Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {941--956},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000280},
doi = {10.1017/S1471068419000280},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlcantaraSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteESB19,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Julia Sapi{\~{n}}a and
Demis Ballis},
title = {Symbolic Analysis of Maude Theories with Narval},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {874--890},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000243},
doi = {10.1017/S1471068419000243},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteESB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDFHPR19,
author = {Mario Alviano and
Carmine Dodaro and
Johannes Klaus Fichte and
Markus Hecher and
Tobias Philipp and
Jakob Rath},
title = {Inconsistency Proofs for {ASP:} The {ASP} - {DRUPE} Format},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {891--907},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000255},
doi = {10.1017/S1471068419000255},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoDFHPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoLVZ19,
author = {Mario Alviano and
Nicola Leone and
Pierfrancesco Veltri and
Jessica Zangari},
title = {Enhancing Magic Sets with an Application to Ontological Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {654--670},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000115},
doi = {10.1017/S1471068419000115},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoLVZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaDM19,
author = {Giovanni Amendola and
Carmine Dodaro and
Marco Maratea},
title = {Abstract Solvers for Computing Cautious Consequences of {ASP} programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {740--756},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000164},
doi = {10.1017/S1471068419000164},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AmendolaDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaDR19,
author = {Giovanni Amendola and
Carmine Dodaro and
Francesco Ricca},
title = {Better Paracoherent Answer Sets with Less Resources},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {757--772},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000176},
doi = {10.1017/S1471068419000176},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AmendolaDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaR19,
author = {Giovanni Amendola and
Francesco Ricca},
title = {Paracoherent Answer Set Semantics meets Argumentation Frameworks},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {688--704},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000139},
doi = {10.1017/S1471068419000139},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AmendolaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaRT19,
author = {Giovanni Amendola and
Francesco Ricca and
Miroslaw Truszczynski},
title = {Beyond {NP:} Quantifying over Answer Sets},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {705--721},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000140},
doi = {10.1017/S1471068419000140},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AmendolaRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP19,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
title = {Solving Horn Clauses on Inductive Data Types Without Induction - {ERRATUM}},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {629},
year = {2019},
url = {https://doi.org/10.1017/S147106841900005X},
doi = {10.1017/S147106841900005X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AriasC19,
author = {Joaqu{\'{\i}}n Arias and
Manuel Carro},
title = {Description, Implementation, and Evaluation of a Generic Design for
Tabled {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {412--448},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000571},
doi = {10.1017/S1471068418000571},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AriasC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AriasC19a,
author = {Joaqu{\'{\i}}n Arias and
Manuel Carro},
title = {Evaluation of the Implementation of an Abstract Interpretation Algorithm
using Tabled {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1107--1123},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000383},
doi = {10.1017/S1471068419000383},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AriasC19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Berthold0KL19,
author = {Matti Berthold and
Ricardo Gon{\c{c}}alves and
Matthias Knorr and
Jo{\~{a}}o Leite},
title = {A Syntactic Operator for Forgetting that Satisfies Strong Persistence},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1038--1055},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000346},
doi = {10.1017/S1471068419000346},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Berthold0KL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriIPPZ19,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Pacenza and
Simona Perri and
Jessica Zangari},
title = {Incremental Answer Set Programming with Overgrounding},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {957--973},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000292},
doi = {10.1017/S1471068419000292},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriIPPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriPZ19,
author = {Francesco Calimeri and
Simona Perri and
Jessica Zangari},
title = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {603--628},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000036},
doi = {10.1017/S1471068419000036},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalvaneseMDM19,
author = {Diego Calvanese and
Marco Montali and
Marlon Dumas and
Fabrizio Maria Maggi},
title = {Semantic {DMN:} Formalizing and Reasoning About Decisions in the Presence
of Background Knowledge},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {536--573},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000479},
doi = {10.1017/S1471068418000479},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalvaneseMDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CharalambidisNR19,
author = {Angelos Charalambidis and
Christos Nomikos and
Panos Rondogiannis},
title = {The Expressive Power of Higher-Order Datalog},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {925--940},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000279},
doi = {10.1017/S1471068419000279},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CharalambidisNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Costantini19,
author = {Stefania Costantini},
title = {About Epistemic Negation and World Views in Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {790--807},
year = {2019},
url = {https://doi.org/10.1017/S147106841900019X},
doi = {10.1017/S147106841900019X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Costantini19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS19,
author = {Bernardo Cuteri and
Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
title = {Partial Compilation of {ASP} Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {857--873},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000231},
doi = {10.1017/S1471068419000231},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CuteriDRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DasZ19,
author = {Ariyam Das and
Carlo Zaniolo},
title = {A Case for Stale Synchronous Distributed Model for Declarative Recursive
Computation},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1056--1072},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000358},
doi = {10.1017/S1471068419000358},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DasZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DimopoulosGLRS19,
author = {Yannis Dimopoulos and
Martin Gebser and
Patrick L{\"{u}}hne and
Javier Romero and
Torsten Schaub},
title = {plasp 3: Towards Effective {ASP} Planning},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {477--504},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000583},
doi = {10.1017/S1471068418000583},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DimopoulosGLRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroGRRS19,
author = {Carmine Dodaro and
Philip Gasteiger and
Kristian Reale and
Francesco Ricca and
Konstantin Schekotihin},
title = {Debugging Non-ground {ASP} Programs: Technique and Graphical Tools},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {290--316},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000492},
doi = {10.1017/S1471068418000492},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DodaroGRRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DomenechGG19,
author = {Jes{\'{u}}s J. Dom{\'{e}}nech and
John P. Gallagher and
Samir Genaim},
title = {Control-Flow Refinement by Partial Evaluation, and its Application
to Termination and Cost Analysis},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {990--1005},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000310},
doi = {10.1017/S1471068419000310},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DomenechGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterOS19,
author = {Thomas Eiter and
Paul Ogris and
Konstantin Schekotihin},
title = {A Distributed Approach to {LARS} Stream Reasoning (System paper)},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {974--989},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000309},
doi = {10.1017/S1471068419000309},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EllmauthalerS19,
author = {Stefan Ellmauthaler and
Claudia Schulz},
title = {Introduction to the {TPLP} Special Issue on User-oriented Logic Programming
and Reasoning Paradigms},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {109--113},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000510},
doi = {10.1017/S1471068418000510},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EllmauthalerS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fandinno19,
author = {Jorge Fandinno},
title = {Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {671--687},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000127},
doi = {10.1017/S1471068419000127},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fandinno19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoS19,
author = {Jorge Fandinno and
Claudia Schulz},
title = {Answering the "why" in answer set programming - {A} survey of explanation
approaches},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {114--203},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000534},
doi = {10.1017/S1471068418000534},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FiorentinoLMPZ19,
author = {Alessio Fiorentino and
Nicola Leone and
Marco Manna and
Simona Perri and
Jessica Zangari},
title = {Precomputing Datalog Evaluation Plans in Large-Scale Scenarios},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1073--1089},
year = {2019},
url = {https://doi.org/10.1017/S147106841900036X},
doi = {10.1017/S147106841900036X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FiorentinoLMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FriouxSSSW19,
author = {Cl{\'{e}}mence Frioux and
Torsten Schaub and
Sebastian Schellhorn and
Anne Siegel and
Philipp Wanko},
title = {Hybrid metabolic network completion},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {1},
pages = {83--108},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000455},
doi = {10.1017/S1471068418000455},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FriouxSSSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GaoFK19,
author = {Tiantian Gao and
Paul Fodor and
Michael Kifer},
title = {Querying Knowledge via Multi-Hop English Questions},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {636--653},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000103},
doi = {10.1017/S1471068419000103},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GaoFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserKKS19,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Torsten Schaub},
title = {Multi-shot {ASP} solving with clingo},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {1},
pages = {27--82},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000054},
doi = {10.1017/S1471068418000054},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserKKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonL19,
author = {Amelia Harrison and
Vladimir Lifschitz},
title = {Relating Two Dialects of Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1006--1020},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000322},
doi = {10.1017/S1471068419000322},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LamH19,
author = {Ho{-}Pun Lam and
Mustafa Hashmi},
title = {Enabling reasoning with LegalRuleML},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {1},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000339},
doi = {10.1017/S1471068418000339},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LamH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarcopoulosZ19,
author = {Elias Marcopoulos and
Yuanlin Zhang},
title = {onlineSPARC: {A} Programming Environment for Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {262--289},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000509},
doi = {10.1017/S1471068418000509},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarcopoulosZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Redl19,
author = {Christoph Redl},
title = {Inlining External Sources in Answer Set Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {360--411},
year = {2019},
url = {https://doi.org/10.1017/S147106841800056X},
doi = {10.1017/S147106841800056X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Redl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RodosthenousM19,
author = {Christos T. Rodosthenous and
Loizos Michael},
title = {Web-STAR: {A} Visual Web-based {IDE} for a Story Comprehension System},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {317--359},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000443},
doi = {10.1017/S1471068418000443},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RodosthenousM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Saenz-Perez19,
author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez},
title = {Applying Constraint Logic Programming to {SQL} Semantic Analysis},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {808--825},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000206},
doi = {10.1017/S1471068419000206},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Saenz-Perez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Sharma19,
author = {Arpit Sharma},
title = {Using Answer Set Programming for Commonsense Reasoning in the Winograd
Schema Challenge},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1021--1037},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000334},
doi = {10.1017/S1471068419000334},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Sharma19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SpiesYH19,
author = {David Spies and
Jia{-}Huai You and
Ryan Hayward},
title = {Domain-Independent Cost-Optimal Planning in {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1124--1142},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000395},
doi = {10.1017/S1471068419000395},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SpiesYH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TsilionisKNDA19,
author = {Efthimis Tsilionis and
Nikolaos Koutroumanis and
Panagiotis Nikitopoulos and
Christos Doulkeridis and
Alexander Artikis},
title = {Online Event Recognition from Moving Vehicles: Application Paper},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {841--856},
year = {2019},
url = {https://doi.org/10.1017/S147106841900022X},
doi = {10.1017/S147106841900022X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TsilionisKNDA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WielemakerRKLSC19,
author = {Jan Wielemaker and
Fabrizio Riguzzi and
Robert A. Kowalski and
Torbj{\"{o}}rn Lager and
Fariba Sadri and
Miguel Calejo},
title = {Using {SWISH} to Realize Interactive Web-based Tutorials for Logic-based
Languages},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {229--261},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000522},
doi = {10.1017/S1471068418000522},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WielemakerRKLSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/YernauxV19,
author = {Gonzague Yernaux and
Wim Vanhoof},
title = {Anti-unification in Constraint Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {773--789},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000188},
doi = {10.1017/S1471068419000188},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/YernauxV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/YuenRZ19,
author = {Timothy T. Yuen and
Maritza Reyes and
Yuanlin Zhang},
title = {Introducing Computer Science to High School Students Through Logic
Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {204--228},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000431},
doi = {10.1017/S1471068418000431},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/YuenRZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZeseCLBR19,
author = {Riccardo Zese and
Giuseppe Cota and
Evelina Lamma and
Elena Bellodi and
Fabrizio Riguzzi},
title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based
Approach},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {449--476},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000480},
doi = {10.1017/S1471068418000480},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZeseCLBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-01 00:24 CEST from data curated 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:
