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/tplp21.bht:"
download as .bib file
@article{DBLP:journals/tplp/AbelsJOSTW21,
author = {Dirk Abels and
Julian Jordi and
Max Ostrowski and
Torsten Schaub and
Ambra Toletti and
Philipp Wanko},
title = {Train Scheduling with Hybrid Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {317--347},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000046},
doi = {10.1017/S1471068420000046},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AbelsJOSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoBB21,
author = {Mario Alviano and
Sotiris Batsakis and
George Baryannis},
title = {Modal Logic {S5} Satisfiability in Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {527--542},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000247},
doi = {10.1017/S1471068421000247},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AzzoliniR21,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
title = {Optimizing Probabilities in Probabilistic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {543--556},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000260},
doi = {10.1017/S1471068421000260},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AzzoliniR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniLW21,
author = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Preface},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {293--295},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000484},
doi = {10.1017/S1471068420000484},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BalducciniLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BednarczykKW21,
author = {Bartosz Bednarczyk and
Emanuel Kieronski and
Piotr Witkowski},
title = {Completing the Picture: Complexity of Graded Modal Logics with Converse},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {493--520},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000065},
doi = {10.1017/S1471068421000065},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BednarczykKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiGZLR21,
author = {Elena Bellodi and
Marco Gavanelli and
Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Nonground Abductive Logic Programming with Probabilistic Integrity
Constraints},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {557--574},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000417},
doi = {10.1017/S1471068421000417},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiGZLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BenzmullerPR21,
author = {Christoph Benzm{\"{u}}ller and
Xavier Parent and
Francesco Ricca},
title = {Introduction to the Special Issue on Logic Rules and Reasoning: Selected
Papers from the 2nd International Joint Conference on Rules and Reasoning
(RuleML+RR 2018)},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {1},
pages = {1--3},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000113},
doi = {10.1017/S1471068420000113},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BenzmullerPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BertolucciCDLMM21,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Manipulation of Articulated Objects Using Dual-arm Robots via Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {372--401},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000459},
doi = {10.1017/S1471068420000459},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BertolucciCDLMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BesinHW21,
author = {Viktor Besin and
Markus Hecher and
Stefan Woltran},
title = {Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic
Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {575--592},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000399},
doi = {10.1017/S1471068421000399},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BesinHW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BothaMP21,
author = {Leonard Botha and
Thomas Andreas Meyer and
Rafael Pe{\~{n}}aloza},
title = {The Probabilistic Description Logic},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {404--427},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000460},
doi = {10.1017/S1471068420000460},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BothaMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BoudouDFK21,
author = {Joseph Boudou and
Mart{\'{\i}}n Di{\'{e}}guez and
David Fern{\'{a}}ndez{-}Duque and
Philip Kremer},
title = {Exploring the Jungle of Intuitionistic Temporal Logics},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {459--492},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000089},
doi = {10.1017/S1471068421000089},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BoudouDFK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BozzatoEK21,
author = {Loris Bozzato and
Thomas Eiter and
Rafael Kiesel},
title = {Reasoning on Multirelational Contextual Hierarchies via Answer Set
Programming with Algebraic Measures},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {593--609},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000284},
doi = {10.1017/S1471068421000284},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BozzatoEK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrikFLV21,
author = {Alex Brik and
Andrea Formisano and
Yanhong Annie Liu and
Joost Vennekens},
title = {Introduction to the 37th International Conference on Logic Programming
Special Issue {I}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {521--526},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000442},
doi = {10.1017/S1471068421000442},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrikFLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrikFLV21a,
author = {Alex Brik and
Andrea Formisano and
Yanhong Annie Liu and
Joost Vennekens},
title = {Introduction to the 37th International Conference on Logic Programming
Special Issue {II}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {698--699},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000454},
doi = {10.1017/S1471068421000454},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrikFLV21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BringsjordG21,
author = {Selmer Bringsjord and
Naveen Sundar Govindarajulu},
title = {Fundamental Proof Methods in Computer Science: {A} Computer-Based
Approach, by Arkoudas and Musser, The {MIT} Press, Cambridge, USA,
{ISBN} 978-0-262-03553-8},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {283--290},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000071},
doi = {10.1017/S1471068420000071},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BringsjordG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrownDHCM21,
author = {Paul S. Brown and
Vania Dimitrova and
Glen Hart and
Anthony G. Cohn and
Paulo Moura},
title = {Refactoring the Whitby Intelligent Tutoring System for Clean Architecture},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {818--834},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000326},
doi = {10.1017/S1471068421000326},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BrownDHCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarFC21,
author = {Pedro Cabalar and
Jorge Fandinno and
Luis Fari{\~{n}}as del Cerro},
title = {Splitting Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {296--316},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000058},
doi = {10.1017/S1471068420000058},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriCCMSTDS21,
author = {Francesco Calimeri and
Francesco Cauteruccio and
Luca Cinelli and
Aldo Marzullo and
Claudio Stamile and
Giorgio Terracina and
Fran{\c{c}}oise Durand{-}Dubief and
Dominique Sappey{-}Marinier},
title = {A Logic-Based Framework Leveraging Neural Networks for Studying the
Evolution of Neurological Disorders},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {1},
pages = {80--124},
year = {2021},
url = {https://doi.org/10.1017/S1471068419000449},
doi = {10.1017/S1471068419000449},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriCCMSTDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriMMMPZ21,
author = {Francesco Calimeri and
Marco Manna and
Elena Mastria and
Maria Concetta Morelli and
Simona Perri and
Jessica Zangari},
title = {I-DLV-sr: {A} Stream Reasoning System based on {I-DLV}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {610--628},
year = {2021},
url = {https://doi.org/10.1017/S147106842100034X},
doi = {10.1017/S147106842100034X},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriMMMPZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriMP21,
author = {Francesco Calimeri and
Marco Manna and
Simona Perri},
title = {Introduction to the {TPLP} Special Issue from the 16th European Conference
on Logics in Artificial Intelligence {(JELIA} 2019)},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {402--403},
year = {2021},
url = {https://doi.org/10.1017/S147106842100017X},
doi = {10.1017/S147106842100017X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CharalambidisRT21,
author = {Angelos Charalambidis and
Panos Rondogiannis and
Antonis Troumpoukis},
title = {A Logical Characterization of the Preferred Models of Logic Programs
with Ordered Disjunction},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {629--645},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000235},
doi = {10.1017/S1471068421000235},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CharalambidisRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DelivoriasLMU21,
author = {Stathis Delivorias and
Michel Lecl{\`{e}}re and
Marie{-}Laure Mugnier and
Federico Ulliana},
title = {Characterizing Boundedness in Chase Variants},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {1},
pages = {51--79},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000083},
doi = {10.1017/S1471068420000083},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DelivoriasLMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DesselDV21,
author = {Kylian Van Dessel and
Jo Devriendt and
Joost Vennekens},
title = {as Input Language for Answer Set Solvers},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {785--801},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000351},
doi = {10.1017/S1471068421000351},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DesselDV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroGGMMP21,
author = {Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Andrea Grioni and
Marco Maratea and
Marco Mochi and
Ivan Porro},
title = {An ASP-based Solution to the Chemotherapy Treatment Scheduling problem},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {835--851},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000363},
doi = {10.1017/S1471068421000363},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DodaroGGMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberMC21,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set and
Epistemic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {646--662},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000429},
doi = {10.1017/S1471068421000429},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberMC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLRSS21,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {663--679},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000259},
doi = {10.1017/S1471068421000259},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLRSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FidanE21,
author = {Muge Fidan and
Esra Erdem},
title = {Knowledge-Based Stable Roommates Problem: {A} Real-World Application},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {852--869},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000302},
doi = {10.1017/S1471068421000302},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FidanE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Garcia-Contreras21,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Incremental and Modular Context-sensitive Analysis},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {196--243},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000496},
doi = {10.1017/S1471068420000496},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Garcia-Contreras21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/IranzoS21,
author = {Pascual Juli{\'{a}}n Iranzo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
title = {Implementing WordNet Measures of Lexical Semantic Similarity in a
Fuzzy Logic Programming System},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {264--282},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000028},
doi = {10.1017/S1471068421000028},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/IranzoS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/IranzoS21a,
author = {Pascual Juli{\'{a}}n Iranzo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
title = {Planning for an Efficient Implementation of Hypothetical Bousi{\(\sim\)}Prolog},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {680--697},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000405},
doi = {10.1017/S1471068421000405},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/IranzoS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGSSS21,
author = {Bishoksan Kafle and
Graeme Gange and
Peter J. Stuckey and
Peter Schachte and
Harald S{\o}ndergaard},
title = {Transformation-Enabled Precondition Inference},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {700--716},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000272},
doi = {10.1017/S1471068421000272},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KafleGSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KarimiZY21,
author = {Arash Karimi and
Heng Zhang and
Jia{-}Huai You},
title = {Restricted Chase Termination for Existential Rules: {A} Hierarchical
Approach and Experimentation},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {1},
pages = {4--50},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000101},
doi = {10.1017/S1471068420000101},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KarimiZY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LehtonenWJ21,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based
Argumentation},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {717--734},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000296},
doi = {10.1017/S1471068421000296},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/LehtonenWJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lifschitz21,
author = {Vladimir Lifschitz},
title = {Here and There with Arithmetic},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {735--749},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000338},
doi = {10.1017/S1471068421000338},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lifschitz21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-GarciaKLH21,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {A general framework for static profiling of parametric resource usage
- {CORRIGENDUM}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {291},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000447},
doi = {10.1017/S1471068420000447},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaKLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lorini21,
author = {Emiliano Lorini},
title = {A Qualitative Theory of Cognitive Attitudes and their Change},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {4},
pages = {428--458},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000053},
doi = {10.1017/S1471068421000053},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lorini21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PajunenJ21,
author = {Jukka Pajunen and
Tomi Janhunen},
title = {Solution Enumeration by Optimality in Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {750--767},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000375},
doi = {10.1017/S1471068421000375},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PajunenJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RobbinsKH21,
author = {Ed Robbins and
Andy King and
Jacob M. Howe},
title = {Backjumping is Exception Handling},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {125--144},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000435},
doi = {10.1017/S1471068420000435},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RobbinsKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Sanchez-OrdazGP21,
author = {Miguel A. Sanchez{-}Ordaz and
Isabel Garcia{-}Contreras and
Victor Perez{-}Carrasco and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {VeriFly: On-the-fly Assertion Checking via Incrementality},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {768--784},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000430},
doi = {10.1017/S1471068421000430},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Sanchez-OrdazGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SaribaturE21,
author = {Zeynep G. Saribatur and
Thomas Eiter},
title = {Omission-Based Abstraction for Answer Set Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {145--195},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000095},
doi = {10.1017/S1471068420000095},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SaribaturE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SaribaturE21a,
author = {Zeynep G. Saribatur and
Thomas Eiter},
title = {Omission-based Abstraction for Answer Set Programs - {ERRATUM}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {292},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000125},
doi = {10.1017/S1471068420000125},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SaribaturE21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TarauB21,
author = {Paul Tarau and
Eduardo Blanco},
title = {Interactive Text Graph Mining with a Prolog-Based Dialog Engine},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {244--263},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000137},
doi = {10.1017/S1471068420000137},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/TarauB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WangL21,
author = {Yi Wang and
Joohyung Lee},
title = {Elaboration Tolerant Representation of Markov Decision Process via
Decision-Theoretic Extension of Probabilistic Action Language +},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {348--371},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000472},
doi = {10.1017/S1471068420000472},
timestamp = {Fri, 03 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WangL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Weitkamper21,
author = {Felix Q. Weitk{\"{a}}mper},
title = {An Asymptotic Analysis of Probabilistic Logic Programming, with Implications
for Expressing Projective Families of Distributions},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {802--817},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000314},
doi = {10.1017/S1471068421000314},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Weitkamper21.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-19 08:54 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:
