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/tplp7.bht:"
download as .bib file
@article{DBLP:journals/tplp/AlpuenteEL07,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Salvador Lucas},
title = {Removing redundant arguments automatically},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {3--35},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002869},
doi = {10.1017/S1471068406002869},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlpuenteEL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CabalarF07,
author = {Pedro Cabalar and
Paolo Ferraris},
title = {Propositional theories are strongly equivalent to logic programs},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {6},
pages = {745--759},
year = {2007},
url = {https://doi.org/10.1017/S1471068407003110},
doi = {10.1017/S1471068407003110},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CadoliM07,
author = {Marco Cadoli and
Toni Mancini},
title = {Combining relational algebra, SQL, constraint modelling, and local
search},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {37--65},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002857},
doi = {10.1017/S1471068406002857},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CadoliM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Delzanno07,
author = {Giorgio Delzanno},
title = {Constraint-based automatic verification of abstract models of multithreaded
programs},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {67--91},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002821},
doi = {10.1017/S1471068406002821},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Delzanno07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Djelloul07,
author = {Khalil Djelloul},
title = {Decomposable theories},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {5},
pages = {583--632},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002997},
doi = {10.1017/S1471068406002997},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Djelloul07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFT07,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits},
title = {A knowledge-based approach for selecting information sources},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {249--300},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002754},
doi = {10.1017/S1471068406002754},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FalaschiM07,
author = {Moreno Falaschi and
Michael J. Maher},
title = {Introduction Special Issue on Multiparadigm Languages and Constraint
Programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002808},
doi = {10.1017/S1471068406002808},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FalaschiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FernandezHSV07,
author = {Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
title = {Constraint functional logic programming over finite domains},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {5},
pages = {537--582},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002924},
doi = {10.1017/S1471068406002924},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FernandezHSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HofstedtP07,
author = {Petra Hofstedt and
Peter Pepper},
title = {Integration of declarative and constraint programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {93--121},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002833},
doi = {10.1017/S1471068406002833},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HofstedtP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JanhunenO07,
author = {Tomi Janhunen and
Emilia Oikarinen},
title = {Automated Verification of Weak Equivalence within the {SMODELS} System},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {6},
pages = {697--744},
year = {2007},
url = {https://doi.org/10.1017/S1471068407003031},
doi = {10.1017/S1471068407003031},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanhunenO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LaneseM07,
author = {Ivan Lanese and
Ugo Montanari},
title = {Mapping Fusion and Synchronized Hyperedge Replacement into logic programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {123--151},
year = {2007},
url = {https://doi.org/10.1017/S147106840600281X},
doi = {10.1017/S147106840600281X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LaneseM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Marek07,
author = {Victor W. Marek},
title = {Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific,
Hardback: {ISBN} 981-256-101-3, xiv + 408 pages},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {499--503},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002766},
doi = {10.1017/S1471068406002766},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Marek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarinoHM07,
author = {Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Demand analysis with partial predicates},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {153--182},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002882},
doi = {10.1017/S1471068406002882},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarinoHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/OsorioC07,
author = {Mauricio Osorio and
V{\'{\i}}ctor Cuevas},
title = {Updates in answer set programming: An approach based on basic structural
properties},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {451--479},
year = {2007},
url = {https://doi.org/10.1017/S1471068406003000},
doi = {10.1017/S1471068406003000},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/OsorioC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Palomino07,
author = {Miguel Palomino},
title = {A comparison between two logical formalisms for rewriting},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {183--213},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002845},
doi = {10.1017/S1471068406002845},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Palomino07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PelovDB07,
author = {Nikolay Pelov and
Marc Denecker and
Maurice Bruynooghe},
title = {Well-founded and stable semantics of logic programs with aggregates},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {301--353},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002973},
doi = {10.1017/S1471068406002973},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PelovDB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PontelliVGG07,
author = {Enrico Pontelli and
Karen Villaverde and
Hai{-}Feng Guo and
Gopal Gupta},
title = {{PALS:} Efficient Or-Parallel execution of Prolog on Beowulf clusters},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {6},
pages = {633--695},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002985},
doi = {10.1017/S1471068406002985},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PontelliVGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SilvaV07,
author = {Josep Silva and
Germ{\'{a}}n Vidal},
title = {Forward slicing of functional logic programs by partial evaluation},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {215--247},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002870},
doi = {10.1017/S1471068406002870},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SilvaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SonP07,
author = {Tran Cao Son and
Enrico Pontelli},
title = {A Constructive semantic characterization of aggregates in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {355--375},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002936},
doi = {10.1017/S1471068406002936},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TronconJDV07,
author = {Remko Tron{\c{c}}on and
Gerda Janssens and
Bart Demoen and
Henk Vandecasteele},
title = {Fast Frequent Querying with Lazy Control Flow Compilation},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {481--498},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002894},
doi = {10.1017/S1471068406002894},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TronconJDV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TuSB07,
author = {Phan Huy Tu and
Tran Cao Son and
Chitta Baral},
title = {Reasoning and planning with sensing actions, incomplete information,
and static causal laws using answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {377--450},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002948},
doi = {10.1017/S1471068406002948},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TuSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VandeginsteD07,
author = {Ruben Vandeginste and
Bart Demoen},
title = {Incremental copying garbage collection for WAM-based Prolog systems},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {5},
pages = {505--536},
year = {2007},
url = {https://doi.org/10.1017/S147106840600278X},
doi = {10.1017/S147106840600278X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/VandeginsteD07.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-08 18:47 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:
