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/tplp11.bht:"
download as .bib file
@article{DBLP:journals/tplp/Antoy11,
author = {Sergio Antoy},
title = {On the correctness of pull-tabbing},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {713--730},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000263},
doi = {10.1017/S1471068411000263},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Antoy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AreiasR11,
author = {Miguel Areias and
Ricardo Rocha},
title = {On combining linear-based strategies for tabled evaluation of logic
programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {681--696},
year = {2011},
url = {https://doi.org/10.1017/S147106841100024X},
doi = {10.1017/S147106841100024X},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AreiasR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BandaP11,
author = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Introduction to the 24th international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {131--133},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000020},
doi = {10.1017/S1471068411000020},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BandaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BoennBVF11,
author = {Georg Boenn and
Martin Brain and
Marina De Vos and
John P. Fitch},
title = {Automatic music composition using answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {397--427},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000530},
doi = {10.1017/S1471068410000530},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BoennBVF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BoneSS11,
author = {Paul Bone and
Zoltan Somogyi and
Peter Schachte},
title = {Estimating the overlap between dependent computations for automatic
parallelization},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {575--591},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000184},
doi = {10.1017/S1471068411000184},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BoneSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Cabalar11,
author = {Pedro Cabalar},
title = {Functional answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {203--233},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000517},
doi = {10.1017/S1471068410000517},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Cabalar11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CaropreseT11,
author = {Luciano Caroprese and
Miroslaw Truszczynski},
title = {Active integrity constraints and revision programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {905--952},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000475},
doi = {10.1017/S1471068410000475},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CaropreseT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CattafiGNAF11,
author = {Massimiliano Cattafi and
Marco Gavanelli and
Maddalena Nonato and
Stefano Alvisi and
Marco Franchini},
title = {Optimal placement of valves in a water distribution network with {CLP(FD)}},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {731--747},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000275},
doi = {10.1017/S1471068411000275},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CattafiGNAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CodishGBFG11,
author = {Michael Codish and
Igor Gonopolskiy and
Amir M. Ben{-}Amram and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {SAT-based termination analysis using monotonicity constraints over
the integers},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {503--520},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000147},
doi = {10.1017/S1471068411000147},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CodishGBFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CohenSS11,
author = {Shay B. Cohen and
Robert J. Simmons and
Noah A. Smith},
title = {Products of weighted logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {263--296},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000529},
doi = {10.1017/S1471068410000529},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CohenSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CominiTV11,
author = {Marco Comini and
Laura Titolo and
Alicia Villanueva},
title = {Abstract diagnosis for timed concurrent constraint programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {487--502},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000135},
doi = {10.1017/S1471068411000135},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CominiTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CorapiRVPS11,
author = {Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
title = {Normative design using inductive learning},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {783--799},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000305},
doi = {10.1017/S1471068411000305},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CorapiRVPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CruzR11,
author = {Fl{\'{a}}vio Cruz and
Ricardo Rocha},
title = {Efficient instance retrieval of subgoals for subsumptive tabled evaluation
of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {697--712},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000251},
doi = {10.1017/S1471068411000251},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CruzR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DrescherT11,
author = {Conrad Drescher and
Michael Thielscher},
title = {ALPprolog - {A} new logic programming method for dynamic domains},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {451--468},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000111},
doi = {10.1017/S1471068411000111},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DrescherT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DurzinskyMOSW11,
author = {Markus Durzinsky and
Wolfgang Marwan and
Max Ostrowski and
Torsten Schaub and
Annegret Wagler},
title = {Automatic network reconstruction using {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {749--766},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000287},
doi = {10.1017/S1471068411000287},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DurzinskyMOSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Fink11,
author = {Michael Fink},
title = {A general framework for equivalences in Answer-Set Programming by
countermodels in the logic of Here-and-There},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {171--202},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000542},
doi = {10.1017/S1471068410000542},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fink11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GallagherG11,
author = {John P. Gallagher and
Michael Gelfond},
title = {Introduction to the 27th International Conference on Logic Programming
Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {429--432},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000342},
doi = {10.1017/S1471068411000342},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GallagherG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserKS11,
author = {Martin Gebser and
Roland Kaminski and
Torsten Schaub},
title = {Complex optimization in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {821--839},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000329},
doi = {10.1017/S1471068411000329},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserLL11,
author = {Martin Gebser and
Joohyung Lee and
Yuliya Lierler},
title = {On elementary loops of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {953--988},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000019},
doi = {10.1017/S1471068411000019},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GebserLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserSTV11,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {Detecting inconsistencies in large biological networks with answer
set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {323--360},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000554},
doi = {10.1017/S1471068410000554},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Gennari11,
author = {Rosella Gennari},
title = {\emph{Mathematical Logic: Foundations for Information Science} by
Wei Li, Birkh{\"{a}}user, Berlin, 2010. Hardcover, {ISBN-978-3-7643-9976-4}},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {989--992},
year = {2011},
url = {https://doi.org/10.1017/S147106841100055X},
doi = {10.1017/S147106841100055X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Gennari11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GutmannTKBR11,
author = {Bernd Gutmann and
Ingo Thon and
Angelika Kimmig and
Maurice Bruynooghe and
Luc De Raedt},
title = {The magic of logical inference in probabilistic programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {663--680},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000238},
doi = {10.1017/S1471068411000238},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GutmannTKBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GuzmanCCH11,
author = {Pablo Chico de Guzm{\'{a}}n and
Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Parallel backtracking with answer memoing for independent and-parallelism},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {555--574},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000172},
doi = {10.1017/S1471068411000172},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GuzmanCCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Haemmerle11,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {Observational equivalences for linear logic concurrent constraint
languages},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {469--485},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000123},
doi = {10.1017/S1471068411000123},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Haemmerle11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Haemmerle11a,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {(Co-)Inductive semantics for Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {593--609},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000196},
doi = {10.1017/S1471068411000196},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Haemmerle11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HallerstedeL11,
author = {Stefan Hallerstede and
Michael Leuschel},
title = {Constraint-based deadlock checking of high-level specifications},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {767--782},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000299},
doi = {10.1017/S1471068411000299},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HallerstedeL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Heule11,
author = {Marijn Heule},
title = {\emph{Introduction to Mathematics of Satisfiability}, Victor W. Marek,
Chapman {\&} Hall/CRC, 2009. Hardback, {ISBN-13:} 978-143980167-3,
{\textdollar}89.95},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {126--130},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000451},
doi = {10.1017/S1471068410000451},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Heule11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KimmigDRCR11,
author = {Angelika Kimmig and
Bart Demoen and
Luc De Raedt and
V{\'{\i}}tor Santos Costa and
Ricardo Rocha},
title = {On the implementation of the probabilistic logic programming language
ProbLog},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {235--262},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000566},
doi = {10.1017/S1471068410000566},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KimmigDRCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KrienerK11,
author = {Jael Kriener and
Andy King},
title = {RedAlert: Determinacy inference for Prolog},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {537--553},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000160},
doi = {10.1017/S1471068411000160},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KrienerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LamS11,
author = {Edmund S. L. Lam and
Martin Sulzmann},
title = {Concurrent goal-based execution of Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {841--879},
year = {2011},
url = {https://doi.org/10.1017/S147106841000044X},
doi = {10.1017/S147106841000044X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LamS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lierler11,
author = {Yuliya Lierler},
title = {Abstract answer set solvers with backjumping and learning},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {135--169},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000578},
doi = {10.1017/S1471068410000578},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lierler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LierlerT11,
author = {Yuliya Lierler and
Miroslaw Truszczynski},
title = {Transition systems for model generators - {A} unifying approach},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {629--646},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000214},
doi = {10.1017/S1471068411000214},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LierlerT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR11,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {Guarded resolution for Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {111--123},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000062},
doi = {10.1017/S1471068410000062},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MileoMB11,
author = {Alessandra Mileo and
Davide Merico and
Roberto Bisiani},
title = {Reasoning support for risk prediction and prevention in independent
living},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {361--395},
year = {2011},
url = {https://doi.org/10.1017/S147106841000058X},
doi = {10.1017/S147106841000058X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MileoMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Monfroy11,
author = {{\'{E}}ric Monfroy},
title = {\emph{Constraint Handling Rules} by Thom Fr{\"{u}}hwirth, Cambridge
University Press, 2009. Hard cover: {ISBN} 978-0-521-87776-3},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {125--126},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000074},
doi = {10.1017/S1471068410000074},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Monfroy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenSGS11,
author = {Manh Thang Nguyen and
Danny De Schreye and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
title = {Polytool: Polynomial interpretations as a basis for termination analysis
of logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {33--63},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000025},
doi = {10.1017/S1471068410000025},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NguyenSGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Porto11,
author = {Ant{\'{o}}nio Porto},
title = {A structured alternative to Prolog with simple compositional semantics},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {611--627},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000202},
doi = {10.1017/S1471068411000202},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Porto11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PueblaAH11,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
title = {Efficient local unfolding with ancestor stacks},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {1--32},
year = {2011},
url = {https://doi.org/10.1017/S1471068409990263},
doi = {10.1017/S1471068409990263},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PueblaAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RaiserF11,
author = {Frank Raiser and
Thom W. Fr{\"{u}}hwirth},
title = {Analysing graph transformation systems through constraint handling
rules},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {65--109},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000438},
doi = {10.1017/S1471068410000438},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RaiserF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS11,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {The {PITA} system: Tabling and answer subsumption for reasoning under
uncertainty},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {433--449},
year = {2011},
url = {https://doi.org/10.1017/S147106841100010X},
doi = {10.1017/S147106841100010X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SlotaLS11,
author = {Martin Slota and
Jo{\~{a}}o Leite and
Terrance Swift},
title = {Splitting and updating hybrid knowledge bases},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {801--819},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000317},
doi = {10.1017/S1471068411000317},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SlotaLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Truszczynski11,
author = {Miroslaw Truszczynski},
title = {Trichotomy and dichotomy results on the complexity of reasoning with
disjunctive logic programs},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {6},
pages = {881--904},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000463},
doi = {10.1017/S1471068410000463},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Truszczynski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Vennekens11,
author = {Joost Vennekens},
title = {Actual causation in CP-logic},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {647--662},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000226},
doi = {10.1017/S1471068411000226},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Vennekens11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VoetsS11,
author = {Dean Voets and
Danny De Schreye},
title = {Non-termination analysis of logic programs with integer arithmetics},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {521--536},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000159},
doi = {10.1017/S1471068411000159},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/VoetsS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZhangY11,
author = {Yuanlin Zhang and
Roland H. C. Yap},
title = {Solving functional constraints by variable substitution},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {297--322},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000591},
doi = {10.1017/S1471068410000591},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZhangY11.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-04 14:00 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:
