Search dblp for Publications

export results for "toc:db/journals/tplp/tplp17.bht:"

 download as .bib file

@article{DBLP:journals/tplp/AguadoCPVD17,
  author       = {Felicidad Aguado and
                  Pedro Cabalar and
                  Gilberto P{\'{e}}rez and
                  Concepci{\'{o}}n Vidal and
                  Mart{\'{\i}}n Di{\'{e}}guez},
  title        = {Temporal logic programs with variables},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {2},
  pages        = {226--243},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000570},
  doi          = {10.1017/S1471068416000570},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AguadoCPVD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlpuenteESC17,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Julia Sapi{\~{n}}a and
                  Angel Cuenca{-}Ortega},
  title        = {Inspecting Maude variants with {GLINTS}},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {689--707},
  year         = {2017},
  url          = {https://doi.org/10.1017/S147106841700031X},
  doi          = {10.1017/S147106841700031X},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AlpuenteESC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Alviano17,
  author       = {Mario Alviano},
  title        = {Model enumeration in propositional circumscription via unsatisfiable
                  core analysis},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {708--725},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000278},
  doi          = {10.1017/S1471068417000278},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Alviano17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AmendolaLM17,
  author       = {Giovanni Amendola and
                  Nicola Leone and
                  Marco Manna},
  title        = {Finite model reasoning over existential rules},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {726--743},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000369},
  doi          = {10.1017/S1471068417000369},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AmendolaLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AntoyH17,
  author       = {Sergio Antoy and
                  Michael Hanus},
  title        = {Default rules for Curry},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {2},
  pages        = {121--147},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000168},
  doi          = {10.1017/S1471068416000168},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/AntoyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Apt17,
  author       = {Krzysztof R. Apt},
  title        = {Computation, Proof, Machine: Mathematics Enters a New Age, Gilles
                  Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9,
                  152 pages},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {3},
  pages        = {353--358},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000011},
  doi          = {10.1017/S1471068417000011},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Apt17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniL17,
  author       = {Marcello Balduccini and
                  Yuliya Lierler},
  title        = {Constraint answer set solver {EZCSP} and why integration schemas matter},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {462--515},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000102},
  doi          = {10.1017/S1471068417000102},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BalducciniL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniMML17,
  author       = {Marcello Balduccini and
                  Daniele Magazzeni and
                  Marco Maratea and
                  Emily Leblanc},
  title        = {{CASP} solutions for planning in hybrid domains},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {591--633},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000187},
  doi          = {10.1017/S1471068417000187},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BalducciniMML17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraKOS17,
  author       = {Mutsunori Banbara and
                  Benjamin Kaufmann and
                  Max Ostrowski and
                  Torsten Schaub},
  title        = {Clingcon: The next generation},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {408--461},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000138},
  doi          = {10.1017/S1471068417000138},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BanbaraKOS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Bartak17,
  author       = {Roman Bart{\'{a}}k},
  title        = {Constraint Solving and Planning with Picat by Neng-Fa Zhou , H{\aa}kan
                  Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015.
                  Paperback, {ISBN} 978-3-319-25881-2},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {1},
  pages        = {118--120},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000181},
  doi          = {10.1017/S1471068416000181},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Bartak17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BeckEB17,
  author       = {Harald Beck and
                  Thomas Eiter and
                  Christian Folie},
  title        = {Ticker: {A} system for incremental ASP-based stream reasoning},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {744--763},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000370},
  doi          = {10.1017/S1471068417000370},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BeckEB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BertossiB17,
  author       = {Leopoldo E. Bertossi and
                  Loreto Bravo},
  title        = {Consistency and trust in peer data exchange systems},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {2},
  pages        = {148--204},
  year         = {2017},
  url          = {https://doi.org/10.1017/S147106841600017X},
  doi          = {10.1017/S147106841600017X},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BertossiB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarF17,
  author       = {Pedro Cabalar and
                  Jorge Fandinno},
  title        = {Enablers and inhibitors in causal justifications of logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {1},
  pages        = {49--74},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000107},
  doi          = {10.1017/S1471068416000107},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CabalarF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ChenSMGTCDA17,
  author       = {Zhuo Chen and
                  Elmer Salazar and
                  Kyle Marple and
                  Gopal Gupta and
                  Lakshman Tamil and
                  Daniel Cheeran and
                  Sandeep Das and
                  Alpesh Amin},
  title        = {Improving adherence to heart failure management guidelines via abductive
                  reasoning},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {764--779},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000308},
  doi          = {10.1017/S1471068417000308},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/ChenSMGTCDA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CheneyM17,
  author       = {James Cheney and
                  Alberto Momigliano},
  title        = {{\(\alpha\)}Check: {A} mechanized metatheory model checker},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {3},
  pages        = {311--352},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000035},
  doi          = {10.1017/S1471068417000035},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CheneyM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CuteriDRS17,
  author       = {Bernardo Cuteri and
                  Carmine Dodaro and
                  Francesco Ricca and
                  Peter Sch{\"{u}}ller},
  title        = {Constraints, lazy constraints, or propagators in {ASP} solving: An
                  empirical analysis},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {780--799},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000254},
  doi          = {10.1017/S1471068417000254},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CuteriDRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Dovier17,
  author       = {Agostino Dovier},
  title        = {Preface},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {359--364},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000199},
  doi          = {10.1017/S1471068417000199},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Dovier17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GavanelliNPB17,
  author       = {Marco Gavanelli and
                  Maddalena Nonato and
                  Andrea Peano and
                  Davide Bertozzi},
  title        = {Logic programming approaches for routing fault-free and maximally
                  parallel wavelength-routed optical networks-on-chip (Application paper)},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {800--818},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000424},
  doi          = {10.1017/S1471068417000424},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GavanelliNPB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GoncalvesKLW17,
  author       = {Ricardo Gon{\c{c}}alves and
                  Matthias Knorr and
                  Jo{\~{a}}o Leite and
                  Stefan Woltran},
  title        = {When you must forget: Beyond strong persistence when forgetting in
                  answer set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {837--854},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000382},
  doi          = {10.1017/S1471068417000382},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GoncalvesKLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GovernatoriM17,
  author       = {Guido Governatori and
                  Michael J. Maher},
  title        = {Annotated defeasible logic},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {819--836},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000266},
  doi          = {10.1017/S1471068417000266},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GovernatoriM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonLR17,
  author       = {Amelia Harrison and
                  Vladimir Lifschitz and
                  Dhananjay Raju},
  title        = {Program completion in the input language of {GRINGO}},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {855--871},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000394},
  doi          = {10.1017/S1471068417000394},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HarrisonLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HertumDJD17,
  author       = {Pieter Van Hertum and
                  Ingmar Dasseville and
                  Gerda Janssens and
                  Marc Denecker},
  title        = {The {KB} paradigm and its application to interactive configuration},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {1},
  pages        = {91--117},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000156},
  doi          = {10.1017/S1471068416000156},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HertumDJD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenKOSWS17,
  author       = {Tomi Janhunen and
                  Roland Kaminski and
                  Max Ostrowski and
                  Sebastian Schellhorn and
                  Philipp Wanko and
                  Torsten Schaub},
  title        = {Clingo goes linear constraints over reals and integers},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {872--888},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000242},
  doi          = {10.1017/S1471068417000242},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/JanhunenKOSWS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JiLY17,
  author       = {Jianmin Ji and
                  Fangfang Liu and
                  Jia{-}Huai You},
  title        = {Well-founded operators for normal hybrid {MKNF} knowledge bases},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {889--905},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000291},
  doi          = {10.1017/S1471068417000291},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/JiLY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KomendantskayaL17,
  author       = {Ekaterina Komendantskaya and
                  Yue Li},
  title        = {Productive corecursion in logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {906--923},
  year         = {2017},
  url          = {https://doi.org/10.1017/S147106841700028X},
  doi          = {10.1017/S147106841700028X},
  timestamp    = {Tue, 07 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/KomendantskayaL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeSPY17,
  author       = {Tiep Le and
                  Tran Cao Son and
                  Enrico Pontelli and
                  William Yeoh},
  title        = {Solving distributed constraint optimization problems using logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {634--683},
  year         = {2017},
  url          = {https://doi.org/10.1017/S147106841700014X},
  doi          = {10.1017/S147106841700014X},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LeSPY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeeLM17,
  author       = {Joohyung Lee and
                  Nikhil Loney and
                  Yunsong Meng},
  title        = {Representing hybrid automata by action language modulo theories},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {924--941},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000412},
  doi          = {10.1017/S1471068417000412},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LeeLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeeTW17,
  author       = {Joohyung Lee and
                  Samidh Talsania and
                  Yi Wang},
  title        = {Computing {LPMLN} using {ASP} and {MLN} solvers},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {942--960},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000400},
  doi          = {10.1017/S1471068417000400},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LeeTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LefevreBSG17,
  author       = {Claire Lef{\`{e}}vre and
                  Christopher B{\'{e}}atrix and
                  Igor St{\'{e}}phan and
                  Laurent Garcia},
  title        = {ASPeRiX, a first-order forward chaining approach for answer set computing},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {3},
  pages        = {266--310},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000569},
  doi          = {10.1017/S1471068416000569},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LefevreBSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LierlerS17,
  author       = {Yuliya Lierler and
                  Benjamin Susman},
  title        = {On relation between constraint answer set programming and satisfiability
                  modulo theories},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {559--590},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000114},
  doi          = {10.1017/S1471068417000114},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LierlerS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lifschitz17,
  author       = {Vladimir Lifschitz},
  title        = {Achievements in answer set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {961--973},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000345},
  doi          = {10.1017/S1471068417000345},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Lifschitz17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher17,
  author       = {Michael J. Maher},
  title        = {Contractibility for open global constraints},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {365--407},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000126},
  doi          = {10.1017/S1471068417000126},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Maher17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OsorioN17,
  author       = {Mauricio Osorio and
                  Juan Carlos Nieves},
  title        = {Range-based argumentation semantics as two-valued models},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {1},
  pages        = {75--90},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000090},
  doi          = {10.1017/S1471068416000090},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/OsorioN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ReynoldsTB17,
  author       = {Andrew Reynolds and
                  Cesare Tinelli and
                  Clark W. Barrett},
  title        = {Constraint solving for finite model finding in {SMT} solvers},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {516--558},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000175},
  doi          = {10.1017/S1471068417000175},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/ReynoldsTB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RochaS17,
  author       = {Ricardo Rocha and
                  Tran Cao Son},
  title        = {Introduction to the 33rd international conference on logic programming
                  special issue},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {684--688},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000448},
  doi          = {10.1017/S1471068417000448},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/RochaS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RondogiannisS17,
  author       = {Panos Rondogiannis and
                  Ioanna Symeonidou},
  title        = {The intricacies of three-valued extensional semantics for higher-order
                  logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {974--991},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000357},
  doi          = {10.1017/S1471068417000357},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/RondogiannisS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Sato17,
  author       = {Taisuke Sato},
  title        = {A linear algebraic approach to datalog evaluation},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {3},
  pages        = {244--265},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000023},
  doi          = {10.1017/S1471068417000023},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Sato17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerranoH17,
  author       = {Alejandro Serrano and
                  Jurriaan Hage},
  title        = {Constraint handling rules with binders, patterns and generic quantification},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {992--1009},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000230},
  doi          = {10.1017/S1471068417000230},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/SerranoH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ShakerinSG17,
  author       = {Farhad Shakerin and
                  Elmer Salazar and
                  Gopal Gupta},
  title        = {A new algorithm to automate inductive learning of default theories},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {1010--1026},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000333},
  doi          = {10.1017/S1471068417000333},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/ShakerinSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VerborghAHRMSG17,
  author       = {Ruben Verborgh and
                  D{\"{o}}rthe Arndt and
                  Sofie Van Hoecke and
                  Jos De Roo and
                  Giovanni Mels and
                  Thomas Steiner and
                  Joaquim Gabarr{\'{o}}},
  title        = {The pragmatic proof: Hypermedia {API} composition and execution},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {1},
  pages        = {1--48},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000016},
  doi          = {10.1017/S1471068416000016},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/VerborghAHRMSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WalegaSB17,
  author       = {Przemyslaw Andrzej Walega and
                  Carl Schultz and
                  Mehul Bhatt},
  title        = {Non-monotonic spatial reasoning with answer set programming modulo
                  theories},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {2},
  pages        = {205--225},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068416000193},
  doi          = {10.1017/S1471068416000193},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/WalegaSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/YalcinerNPE17,
  author       = {Ibrahim Faruk Yalciner and
                  Ahmed Nouman and
                  Volkan Patoglu and
                  Esra Erdem},
  title        = {Hybrid conditional planning using answer set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {1027--1047},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000321},
  doi          = {10.1017/S1471068417000321},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/YalcinerNPE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZanioloYDSCI17,
  author       = {Carlo Zaniolo and
                  Mohan Yang and
                  Ariyam Das and
                  Alexander Shkapsky and
                  Tyson Condie and
                  Matteo Interlandi},
  title        = {Fixpoint semantics and optimization of recursive Datalog programs
                  with aggregates},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {5-6},
  pages        = {1048--1065},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000436},
  doi          = {10.1017/S1471068417000436},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/ZanioloYDSCI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics