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/tplp18.bht:"
download as .bib file
@article{DBLP:journals/tplp/AlvianoDJM18,
author = {Mario Alviano and
Carmine Dodaro and
Matti J{\"{a}}rvisalo and
Marco Maratea and
Alessandro Previti},
title = {Cautious reasoning in {ASP} via minimal models and unsatisfiable cores},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {319--336},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000145},
doi = {10.1017/S1471068418000145},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoDJM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDM18,
author = {Mario Alviano and
Carmine Dodaro and
Marco Maratea},
title = {Shared aggregate sets in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {301--318},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000133},
doi = {10.1017/S1471068418000133},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmadiniGM18,
author = {Roberto Amadini and
Maurizio Gabbrielli and
Jacopo Mauro},
title = {{SUNNY-CP} and the MiniZinc challenge},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {81--96},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000205},
doi = {10.1017/S1471068417000205},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AmadiniGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP18,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
title = {Predicate Pairing for program verification},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {126--166},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000497},
doi = {10.1017/S1471068417000497},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP18a,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
title = {Solving Horn Clauses on Inductive Data Types Without Induction},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {452--469},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000157},
doi = {10.1017/S1471068418000157},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AreiasR18,
author = {Miguel Areias and
Ricardo Rocha},
title = {Table space designs for implicit and explicit concurrent tabled evaluation},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {950--992},
year = {2018},
url = {https://doi.org/10.1017/S147106841800039X},
doi = {10.1017/S147106841800039X},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AreiasR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AriasCSM18,
author = {Joaqu{\'{\i}}n Arias and
Manuel Carro and
Elmer Salazar and
Kyle Marple and
Gopal Gupta},
title = {Constraint Answer Set Programming without Grounding},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {337--354},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000285},
doi = {10.1017/S1471068418000285},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AriasCSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaryannisTBA18,
author = {George Baryannis and
Ilias Tachmazidis and
Sotiris Batsakis and
Grigoris Antoniou and
Mario Alviano and
Timos Sellis and
Pei{-}Wei Tsai},
title = {A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {355--371},
year = {2018},
url = {https://doi.org/10.1017/S147106841800011X},
doi = {10.1017/S147106841800011X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaryannisTBA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BendkowskiGT18,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Paul Tarau},
title = {Random generation of closed simply typed {\(\lambda\)}-terms: {A}
synergy between logic programming and Boltzmann samplers},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {97--119},
year = {2018},
url = {https://doi.org/10.1017/S147106841700045X},
doi = {10.1017/S147106841700045X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BendkowskiGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BonifatiDA18,
author = {Angela Bonifati and
Stefania Dumbrava and
Emilio Jes{\'{u}}s Gallego Arias},
title = {Certified Graph View Maintenance with Regular Datalog},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {372--389},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000224},
doi = {10.1017/S1471068418000224},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BonifatiDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFCP18,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro and
David Pearce},
title = {Functional {ASP} with Intensional Sets: Application to Gelfond-Zhang
Aggregates},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {390--405},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000169},
doi = {10.1017/S1471068418000169},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarKSS18,
author = {Pedro Cabalar and
Roland Kaminski and
Torsten Schaub and
Anna Schuhmann},
title = {Temporal Answer Set Programming on Finite Traces},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {406--420},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000297},
doi = {10.1017/S1471068418000297},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarKSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalegariDMO18,
author = {Roberta Calegari and
Enrico Denti and
Stefano Mariani and
Andrea Omicini},
title = {Logic programming as a service},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {846--873},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000364},
doi = {10.1017/S1471068418000364},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalegariDMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CharalambidisRS18,
author = {Angelos Charalambidis and
Panos Rondogiannis and
Ioanna Symeonidou},
title = {Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order
Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {421--437},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000108},
doi = {10.1017/S1471068418000108},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CharalambidisRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CondieDISYZ18,
author = {Tyson Condie and
Ariyam Das and
Matteo Interlandi and
Alexander Shkapsky and
Mohan Yang and
Carlo Zaniolo},
title = {Scaling-up reasoning and advanced analytics on BigData},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {806--845},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000418},
doi = {10.1017/S1471068418000418},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CondieDISYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DahlemBS18,
author = {Marc Dahlem and
Anoop Bhagyanath and
Klaus Schneider},
title = {Optimal Scheduling for Exposed Datapath Architectures with Buffered
Processing Units by {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {438--451},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000170},
doi = {10.1017/S1471068418000170},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DahlemBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent18,
author = {Wlodzimierz Drabent},
title = {Logic + control: On program construction and verification},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000047},
doi = {10.1017/S1471068417000047},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Drabent18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DuckJY18,
author = {Gregory J. Duck and
Joxan Jaffar and
Roland H. C. Yap},
title = {Shape Neutral Analysis of Graph-based Data-structures},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {470--483},
year = {2018},
url = {https://doi.org/10.1017/S147106841800025X},
doi = {10.1017/S147106841800025X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DuckJY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FarkaKH18,
author = {Frantisek Farka and
Ekaterina Komendantskaya and
Kevin Hammond},
title = {Proof-relevant Horn Clauses for Dependent Type Inference and Term
Synthesis},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {484--501},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000212},
doi = {10.1017/S1471068418000212},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FarkaKH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FiorettoP18,
author = {Ferdinando Fioretto and
Enrico Pontelli},
title = {Past and present (and future) of parallel and distributed computation
in (constraint) logic programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {722--724},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000406},
doi = {10.1017/S1471068418000406},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FiorettoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fruhwirth18,
author = {Thom W. Fr{\"{u}}hwirth},
title = {Parallelism, concurrency and distribution in constraint handling rules:
{A} survey},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {759--805},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000078},
doi = {10.1017/S1471068418000078},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fruhwirth18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserOOS18,
author = {Martin Gebser and
Philipp Obermeier and
Thomas Otto and
Torsten Schaub and
Orkunt Sabuncu and
Van Nguyen and
Tran Cao Son},
title = {Experimenting with robotic intra-logistics domains},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {502--519},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000200},
doi = {10.1017/S1471068418000200},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserOOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserOSR18,
author = {Martin Gebser and
Philipp Obermeier and
Torsten Schaub and
Michel Ratsch{-}Heitmann and
Mario Runge},
title = {Routing Driverless Transport Vehicles in Car Assembly with Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {520--534},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000182},
doi = {10.1017/S1471068418000182},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserOSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GentMNMPMU18,
author = {Ian P. Gent and
Ian Miguel and
Peter Nightingale and
Ciaran McCreesh and
Patrick Prosser and
Neil C. A. Moore and
Chris Unsworth},
title = {A review of literature on parallel constraint solving},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {725--758},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000340},
doi = {10.1017/S1471068418000340},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GentMNMPMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/InclezanZBI18,
author = {Daniela Inclezan and
Qinglin Zhang and
Marcello Balduccini and
Ankush Israney},
title = {An {ASP} Methodology for Understanding Narratives about Stereotypical
Activities},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {535--552},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000121},
doi = {10.1017/S1471068418000121},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/InclezanZBI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/InterlandiT18,
author = {Matteo Interlandi and
Letizia Tanca},
title = {A datalog-based computational model for coordination-free, data-parallel
systems},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {874--927},
year = {2018},
url = {https://doi.org/10.1017/S147106841800042X},
doi = {10.1017/S147106841800042X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/InterlandiT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGG18,
author = {Bishoksan Kafle and
John P. Gallagher and
Pierre Ganty},
title = {Tree dimension in verification of constrained Horn clauses},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {224--251},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000030},
doi = {10.1017/S1471068418000030},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGGS18,
author = {Bishoksan Kafle and
John P. Gallagher and
Graeme Gange and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {An iterative approach to precondition inference using constrained
Horn clauses},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {553--570},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000091},
doi = {10.1017/S1471068418000091},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KaminskiEI18,
author = {Tobias Kaminski and
Thomas Eiter and
Katsumi Inoue},
title = {Exploiting Answer Set Programming with External Sources for Meta-Interpretive
Learning},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {571--588},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000261},
doi = {10.1017/S1471068418000261},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KaminskiEI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS18,
author = {Evelina Lamma and
Terrance Swift},
title = {Editorial: 29th International conference on logic programming special
issue - {ADDENDUM}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {121},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000229},
doi = {10.1017/S1471068417000229},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeeW18,
author = {Joohyung Lee and
Yi Wang},
title = {A Probabilistic Extension of Action Language {\textdollar}\{{\textbackslash}cal
BC\}{\textdollar}+\}{\textdollar}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {607--622},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000303},
doi = {10.1017/S1471068418000303},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeeW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeeY18,
author = {Joohyung Lee and
Zhun Yang},
title = {Translating {LPOD} and CR-Prolog2 into standard answer set programs},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {589--606},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000315},
doi = {10.1017/S1471068418000315},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeeY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-GarciaDKL18,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Maximiliano Klemen and
Umer Liqat and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Interval-based resource usage verification by translation into Horn
clauses and an application to energy consumption},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {167--223},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000042},
doi = {10.1017/S1471068418000042},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaDKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MitraB18,
author = {Arindam Mitra and
Chitta Baral},
title = {Incremental and Iterative Learning of Answer Set Programs from Mutually
Distinct Examples},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {623--637},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000248},
doi = {10.1017/S1471068418000248},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MitraB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NampallyZR18,
author = {Arun Nampally and
Timothy Zhang and
C. R. Ramakrishnan},
title = {Constraint-Based Inference in Probabilistic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {638--655},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000273},
doi = {10.1017/S1471068418000273},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NampallyZR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenPS18,
author = {Thanh Hai Nguyen and
Enrico Pontelli and
Tran Cao Son},
title = {Phylotastic: An Experiment in Creating, Manipulating, and Evolving
Phylogenetic Biology Workflows Using Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {656--672},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000236},
doi = {10.1017/S1471068418000236},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NguyenPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OetschPT18,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
title = {Stepwise debugging of answer-set programs},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {30--80},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000217},
doi = {10.1017/S1471068417000217},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OetschPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OlartePR18,
author = {Carlos Olarte and
Elaine Pimentel and
Camilo Rueda},
title = {A concurrent constraint programming interpretation of access permissions},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {252--295},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000017},
doi = {10.1017/S1471068418000017},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/OlartePR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Pakin18,
author = {Scott Pakin},
title = {Performing fully parallel constraint logic programming on a quantum
annealer},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {5-6},
pages = {928--949},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000066},
doi = {10.1017/S1471068418000066},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Pakin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PaluT18,
author = {Alessandro Dal Pal{\`{u}} and
Paul Tarau},
title = {Introduction to the 34-th international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {296--300},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000352},
doi = {10.1017/S1471068418000352},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PaluT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchubertU18,
author = {Aleksy Schubert and
Pawel Urzyczyn},
title = {First-order Answer Set Programming as Constructive Proof Search},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {673--690},
year = {2018},
url = {https://doi.org/10.1017/S147106841800008X},
doi = {10.1017/S147106841800008X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SchubertU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Schwitter18,
author = {Rolf Schwitter},
title = {Specifying and Verbalising Answer Set Programs in Controlled Natural
Language},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {691--705},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000327},
doi = {10.1017/S1471068418000327},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Schwitter18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Vidal18,
author = {Germ{\'{a}}n Vidal},
title = {Introduction to the special issue on computational logic for verification},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {122--125},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000029},
doi = {10.1017/S1471068418000029},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Vidal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Warren18,
author = {David Scott Warren},
title = {Top-down and Bottom-up Evaluation Procedurally Integrated},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {706--721},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000194},
doi = {10.1017/S1471068418000194},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Warren18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WielemakerH18,
author = {Jan Wielemaker and
Keri Harris},
title = {Lock-free atom garbage collection for multithreaded Prolog - {ERRATUM}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {120},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000059},
doi = {10.1017/S1471068417000059},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WielemakerH18.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-04-19 11:22 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:
