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/tplp13.bht:"
download as .bib file
@article{DBLP:journals/tplp/AavaniTM13,
author = {Amir Aavani and
Eugenia Ternovska and
David G. Mitchell},
title = {Problem Solving with the Enfragmo System},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013025.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AavaniTM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertBGRS13,
author = {Elvira Albert and
Maria J. Garc{\'{\i}}a de la Banda and
Miguel G{\'{o}}mez{-}Zamalloa and
Jos{\'{e}} Miguel Rojas and
Peter J. Stuckey},
title = {A {CLP} heap solver for test case generation},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {721--735},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000458},
doi = {10.1017/S1471068413000458},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlbertBGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlrajehMRU13,
author = {Dalal Alrajeh and
Rob Miller and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Reasoning about Triggered Scenarios in Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013021.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlrajehMRU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoP13,
author = {Mario Alviano and
Rafael Pe{\~{n}}aloza},
title = {Fuzzy answer sets approximations},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {753--767},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000471},
doi = {10.1017/S1471068413000471},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Amadini13,
author = {Roberto Amadini},
title = {Evaluation and Application of Portfolio Approaches in Constraint Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013028.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Amadini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AnconaD13,
author = {Davide Ancona and
Agostino Dovier},
title = {co-LP: Back to the Roots},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013006.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AnconaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AnwarBI13,
author = {Saadat Anwar and
Chitta Baral and
Katsumi Inoue},
title = {Encoding Petri Nets in Answer Set Programming for Simulation Based
Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013023.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AnwarBI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ArbelaezTC13,
author = {Alejandro Arbelaez and
Charlotte Truchet and
Philippe Codognet},
title = {Using sequential runtime distributions for the parallel speedup prediction
of {SAT} local search},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {625--639},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000392},
doi = {10.1017/S1471068413000392},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ArbelaezTC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AsuncionZZZ13,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang and
Yi Zhou},
title = {Constructive Circumscription},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013009.pdf},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AsuncionZZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AzizCS13,
author = {Rehan Abdul Aziz and
Geoffrey Chu and
Peter J. Stuckey},
title = {Stable model semantics for founded bounds},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {517--532},
year = {2013},
url = {https://doi.org/10.1017/S147106841300032X},
doi = {10.1017/S147106841300032X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AzizCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Balduccini13,
author = {Marcello Balduccini},
title = {{ASP} with non-herbrand partial functions: a language and system for
practical use},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {547--561},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000343},
doi = {10.1017/S1471068413000343},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Balduccini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniL13,
author = {Marcello Balduccini and
Yuliya Lierler},
title = {Integration Schemas for Constraint Answer Set Programming: a Case
Study},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013024.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BalducciniL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraSTIS13,
author = {Mutsunori Banbara and
Takehide Soh and
Naoyuki Tamura and
Katsumi Inoue and
Torsten Schaub},
title = {Answer set programming as a modeling language for course timetabling},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {783--798},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000495},
doi = {10.1017/S1471068413000495},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BanbaraSTIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Bartholomew13,
author = {Michael Bartholomew},
title = {The Role of Functions in the Stable Model Semantics},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013029.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Bartholomew13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BartholomewL13,
author = {Michael Bartholomew and
Joohyung Lee},
title = {On the stable model semantics for intensional functions},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {863--876},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000549},
doi = {10.1017/S1471068413000549},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BartholomewL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BautersSJVC13,
author = {Kim Bauters and
Steven Schockaert and
Jeroen Janssen and
Dirk Vermeir and
Martine De Cock},
title = {Expressiveness of communication in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {3},
pages = {361--394},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000561},
doi = {10.1017/S1471068411000561},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BautersSJVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Belzner13,
author = {Lenz Belzner},
title = {Action Programming In Rewriting Logic},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013016.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Belzner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BusoniuOPST13,
author = {Paula{-}Andra Busoniu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Peter Skocovsky and
Hans Tompits},
title = {SeaLion: An eclipse-based {IDE} for answer-set programming with advanced
debugging support},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {657--673},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000410},
doi = {10.1017/S1471068413000410},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BusoniuOPST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Castro13,
author = {Sergio Castro},
title = {LogicObjects: {A} Portable and Extensible Approach for Linguistic
Symbiosis between an Object-Oriented and a Logic Programming Language},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013030.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Castro13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CatB13,
author = {Broes De Cat and
Maurice Bruynooghe},
title = {Detection and exploitation of functional dependencies for model generation},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {471--485},
year = {2013},
url = {https://doi.org/10.1017/S147106841300029X},
doi = {10.1017/S147106841300029X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CatB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ChaudhriHTW13,
author = {Vinay K. Chaudhri and
Stijn Heymans and
Son Tran and
Michael A. Wessel},
title = {Object-Oriented Knowledge Bases in Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013022.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ChaudhriHTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostaV13,
author = {V{\'{\i}}tor Santos Costa and
David Vaz},
title = {BigYAP: Exo-compilation meets {UDI}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {799--813},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000501},
doi = {10.1017/S1471068413000501},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CostaV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Desouter13,
author = {Benoit Desouter},
title = {Implementing {LP} Systems with {CP} Techniques},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013031.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Desouter13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Dodaro13,
author = {Carmine Dodaro},
title = {Engineering an Efficient Native {ASP} Solver},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013032.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Dodaro13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DovierFP13,
author = {Agostino Dovier and
Andrea Formisano and
Enrico Pontelli},
title = {Autonomous agents coordination: Action languages meet {CLP()} and
Linda},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {149--173},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000615},
doi = {10.1017/S1471068411000615},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DovierFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterEEF13,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding similar/diverse solutions in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {3},
pages = {303--359},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000548},
doi = {10.1017/S1471068411000548},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterEEF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ErdemPSSU13,
author = {Esra Erdem and
Volkan Patoglu and
Zeynep G. Saribatur and
Peter Sch{\"{u}}ller and
Tansel Uras},
title = {Finding optimal plans for multiple teams of robots through a mediator:
{A} logic-based approach},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {831--846},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000525},
doi = {10.1017/S1471068413000525},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ErdemPSSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberL13,
author = {Wolfgang Faber and
Nicola Leone},
title = {Introduction to the special issue on the 25th annual {GULP} conference},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {147--148},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000676},
doi = {10.1017/S1471068411000676},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fandinno13,
author = {Jorge Fandinno},
title = {Algebraic Approach to Causal Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013033.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fandinno13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FeierH13,
author = {Cristina Feier and
Stijn Heymans},
title = {Reasoning with Forest Logic Programs and f-hybrid knowledge bases},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {3},
pages = {395--463},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000597},
doi = {10.1017/S1471068411000597},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FeierH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fichte13,
author = {Johannes Klaus Fichte},
title = {Backdoors to the Tractability of Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013034.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fichte13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FioravantiPPS13,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Generalization strategies for the verification of infinite state systems},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {175--199},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000627},
doi = {10.1017/S1471068411000627},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FioravantiPPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GangeNSSS13,
author = {Graeme Gange and
Jorge A. Navas and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {Failure tabled constraint logic programming by interpolation},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {593--607},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000379},
doi = {10.1017/S1471068413000379},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GangeNSSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GavanelliG13,
author = {Marco Gavanelli and
Martin Gebser},
title = {The {ICLP} 2013 Doctoral Consortium},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013027.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GavanelliG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GiordanoMD13,
author = {Laura Giordano and
Alberto Martelli and
Daniele Theseider Dupr{\'{e}}},
title = {Reasoning about actions with Temporal Answer Sets},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {201--225},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000639},
doi = {10.1017/S1471068411000639},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GiordanoMD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GiordanoMSD13,
author = {Laura Giordano and
Alberto Martelli and
Matteo Spiotta and
Daniele Theseider Dupr{\'{e}}},
title = {Business process verification with constraint temporal answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {641--655},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000409},
doi = {10.1017/S1471068413000409},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GiordanoMSD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GomesA13,
author = {Ana Sofia Gomes and
Jos{\'{e}} J{\'{u}}lio Alferes},
title = {Extending Transaction Logic with External Actions},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013020.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GomesA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GottlobMP13,
author = {Georg Gottlob and
Marco Manna and
Andreas Pieris},
title = {Combining decidability paradigms for existential rules},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {877--892},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000550},
doi = {10.1017/S1471068413000550},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GottlobMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GrecoMT13,
author = {Sergio Greco and
Cristian Molinaro and
Irina Trubitsyna},
title = {Logic programming with function symbols: Checking termination of bottom-up
evaluation through program adornments},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {737--752},
year = {2013},
url = {https://doi.org/10.1017/S147106841300046X},
doi = {10.1017/S147106841300046X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GrecoMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Hanus13,
author = {Michael Hanus},
title = {Adding Plural Arguments to Curry Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013018.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Hanus13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Harrison13,
author = {Amelia Harrison},
title = {The Semantics of Gringo and Proving Strong Equivalence},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013035.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Harrison13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HertumVBDD13,
author = {Pieter Van Hertum and
Joost Vennekens and
Bart Bogaerts and
Jo Devriendt and
Marc Denecker},
title = {The effects of buying a new car: an extension of the {IDP} Knowledge
Base System},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013019.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HertumVBDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JabbourSS13,
author = {Sa{\"{\i}}d Jabbour and
Lakhdar Sais and
Yakoub Salhi},
title = {A Pigeon-Hole Based Encoding of Cardinality Constraints},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013026.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JabbourSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JansenJJ13,
author = {Joachim Jansen and
Albert Jorissen and
Gerda Janssens},
title = {Compiling Input* FO({\(\cdot\)}) inductive definitions into tabled
prolog rules for {IDP3}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {691--704},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000434},
doi = {10.1017/S1471068413000434},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JansenJJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JiLY13,
author = {Jianmin Ji and
Fangzhen Lin and
Jia{-}Huai You},
title = {Computing Loops with at Most One External Support Rule for Basic Logic
Programs with Arbitrary Constraint Atoms},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013015.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JiLY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KaminskiSSV13,
author = {Roland Kaminski and
Torsten Schaub and
Anne Siegel and
Santiago Videla},
title = {Minimal intervention strategies in logical signaling networks with
{ASP}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {675--690},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000422},
doi = {10.1017/S1471068413000422},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/KaminskiSSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Konig13,
author = {Arne K{\"{o}}nig},
title = {Visualizing Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013036.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Konig13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KonigS13,
author = {Arne K{\"{o}}nig and
Torsten Schaub},
title = {Monitoring and Visualizing Answer Set Solving},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013013.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KonigS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS13,
author = {Evelina Lamma and
Terrance Swift},
title = {Editorial: 29th International Conference on Logic Programming special
issue},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {465--470},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000112},
doi = {10.1017/S1471068413000112},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LiangK13,
author = {Senlin Liang and
Michael Kifer},
title = {A practical analysis of non-termination in large logic programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {705--719},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000446},
doi = {10.1017/S1471068413000446},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LiangK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LifschitzY13,
author = {Vladimir Lifschitz and
Fangkai Yang},
title = {Lloyd-Topor completion and general stable models},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {503--515},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000318},
doi = {10.1017/S1471068413000318},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LifschitzY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LiuY13,
author = {Guohua Liu and
Jia{-}Huai You},
title = {Relating weight constraint and aggregate programs: Semantics and representation},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {1},
pages = {1--31},
year = {2013},
url = {https://doi.org/10.1017/S147106841100038X},
doi = {10.1017/S147106841100038X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LiuY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lu13,
author = {Lunjin Lu},
title = {Towards Parametrizing Logic Program Analysis: Two Examples},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013004.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MaLWRL13,
author = {Jiefei Ma and
Franck Le and
David Wood and
Alessandra Russo and
Jorge Lobo},
title = {A declarative approach to distributed computing: Specification, execution
and analysis},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {815--830},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000513},
doi = {10.1017/S1471068413000513},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MaLWRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maher13,
author = {Michael J. Maher},
title = {Relative expressiveness of defeasible logics {II}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {579--592},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000367},
doi = {10.1017/S1471068413000367},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Maier13,
author = {Frederick Maier},
title = {Interdefinability of defeasible logic and logic programming under
the well-founded semantics},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {1},
pages = {107--142},
year = {2013},
url = {https://doi.org/10.1017/S147106841100041X},
doi = {10.1017/S147106841100041X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Maier13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MannaRT13,
author = {Marco Manna and
Francesco Ricca and
Giorgio Terracina},
title = {Consistent query answering via {ASP} from different perspectives:
Theory and practice},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {227--252},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000640},
doi = {10.1017/S1471068411000640},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MannaRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MascardiA13,
author = {Viviana Mascardi and
Davide Ancona},
title = {Attribute Global Types for Dynamic Checking of Protocols in Logic-based
Multiagent Systems},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013014.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MascardiA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MazuranSZ13,
author = {Mirjana Mazuran and
Edoardo Serra and
Carlo Zaniolo},
title = {A declarative extension of horn clauses, and its significance for
datalog and its applications},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {609--623},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000380},
doi = {10.1017/S1471068413000380},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MazuranSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MeraW13,
author = {Edison Mera and
Jan Wielemaker},
title = {Porting and refactoring Prolog programs: the {PROSYN} case study},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013003.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MeraW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MoguillanskyRFGS13,
author = {Mart{\'{\i}}n O. Moguillansky and
Nicol{\'{a}}s D. Rotstein and
Marcelo A. Falappa and
Alejandro Javier Garc{\'{\i}}a and
Guillermo Ricardo Simari},
title = {Dynamics of knowledge in \emph{DeLP} through Argument Theory Change},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {6},
pages = {893--957},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000603},
doi = {10.1017/S1471068411000603},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MoguillanskyRFGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenD13,
author = {Phuong{-}Lan Nguyen and
Bart Demoen},
title = {Representation sharing for Prolog},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {1},
pages = {71--106},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000421},
doi = {10.1017/S1471068411000421},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/NguyenD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NievesOC13,
author = {Juan Carlos Nieves and
Mauricio Osorio and
Ulises Cort{\'{e}}s},
title = {Semantics for Possibilistic Disjunctive Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {1},
pages = {33--70},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000408},
doi = {10.1017/S1471068411000408},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/NievesOC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NigamRL13,
author = {Vivek Nigam and
Giselle Reis and
Leonardo Lima},
title = {Checking Proof Transformations with {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013007.pdf},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NigamRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NuttPS13,
author = {Werner Nutt and
Sergey Paramonov and
Ognjen Savkovic},
title = {An {ASP} Approach to Query Completeness Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013005.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/NuttPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PerriRS13,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
title = {Parallel instantiation of {ASP} programs: techniques and experiments},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {253--278},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000652},
doi = {10.1017/S1471068411000652},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PerriRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PhanJS13,
author = {Quan Phan and
Gerda Janssens and
Zoltan Somogyi},
title = {Region-based memory management for Mercury programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {6},
pages = {959--1024},
year = {2013},
url = {https://doi.org/10.1017/S1471068412000075},
doi = {10.1017/S1471068412000075},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PhanJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RibeiroIB13,
author = {Tony Ribeiro and
Katsumi Inoue and
Gauvain Bourgne},
title = {Combining Answer Set Programs for Adaptive and Reactive Reasoning},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013012.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RibeiroIB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS13,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {Well-definedness and efficient inference for probabilistic logic programming
under the distribution semantics},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {279--302},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000664},
doi = {10.1017/S1471068411000664},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Saptawijaya13,
author = {Ari Saptawijaya},
title = {Towards Computational Morality with Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013037.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Saptawijaya13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SaptawijayaP13,
author = {Ari Saptawijaya and
Lu{\'{\i}}s Moniz Pereira},
title = {Tabled Abduction in Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013008.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SaptawijayaP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDDW13,
author = {Tom Schrijvers and
Bart Demoen and
Benoit Desouter and
Jan Wielemaker},
title = {Delimited continuations for prolog},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {533--546},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000331},
doi = {10.1017/S1471068413000331},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Schulz13,
author = {Claudia Schulz},
title = {Argumentation for Answer Set Programming and other Non-monotonic Reasoning
Systems},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013038.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Schulz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchulzT13,
author = {Claudia Schulz and
Francesca Toni},
title = {ABA-Based Answer Set Justification},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013002.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchulzT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Schwitter13,
author = {Rolf Schwitter},
title = {The jobs puzzle: Taking on the challenge via controlled natural language
processing},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {487--501},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000306},
doi = {10.1017/S1471068413000306},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Schwitter13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerranoLBH13,
author = {Alejandro Serrano and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Sized Type Analysis for Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013011.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SerranoLBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ShakarianSC13,
author = {Paulo Shakarian and
Gerardo I. Simari and
Devon Callahan},
title = {Reasoning about Complex Networks: {A} Logic Programming Approach},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013001.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ShakarianSC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ShterionovMJ13,
author = {Dimitar Sht. Shterionov and
Theofrastos Mantadelis and
Gerda Janssens},
title = {Pattern-Based Compaction for ProbLog Inference},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013017.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ShterionovMJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SneyersSF13,
author = {Jon Sneyers and
Danny De Schreye and
Thom W. Fr{\"{u}}hwirth},
title = {Probabilistic legal reasoning in CHRiSM},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {769--781},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000483},
doi = {10.1017/S1471068413000483},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SneyersSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Tarau13,
author = {Paul Tarau},
title = {Compact serialization of Prolog terms (with catalan skeletons, cantor
tupling and G{\"{o}}del numberings)},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {847--861},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000537},
doi = {10.1017/S1471068413000537},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Tarau13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Titolo13,
author = {Laura Titolo},
title = {An Abstract Interpretation Framework for Verification of Timed Concurrent
Constraint Languages},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013039.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Titolo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Yang13,
author = {Fangkai Yang},
title = {Representing Actions in Logic-based Languages},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013040.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Yang13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/YouZZ13,
author = {Jia{-}Huai You and
Heng Zhang and
Yan Zhang},
title = {Disjunctive logic programs with existential quantification in rule
heads},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {563--578},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000355},
doi = {10.1017/S1471068413000355},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/YouZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZakiFA13,
author = {Amira Zaki and
Thom W. Fr{\"{u}}hwirth and
Slim Abdennadher},
title = {Towards Inverse Execution of Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013010.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZakiFA13.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-05-29 00:05 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:
