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/tplp3.bht:"
download as .bib file
@article{DBLP:journals/tplp/Andrews03,
author = {James H. Andrews},
title = {The witness properties and the semantics of the Prolog cut},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {1},
pages = {1--59},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001540},
doi = {10.1017/S1471068402001540},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Andrews03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ArenasBC03,
author = {Marcelo Arenas and
Leopoldo E. Bertossi and
Jan Chomicki},
title = {Answer sets for consistent query answering in inconsistent databases},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {393--424},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001832},
doi = {10.1017/S1471068403001832},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ArenasBC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ArniOTWZ03,
author = {Faiz Arni and
KayLiang Ong and
Shalom Tsur and
Haixun Wang and
Carlo Zaniolo},
title = {The Deductive Database System {LDL++}},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {1},
pages = {61--94},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001515},
doi = {10.1017/S1471068402001515},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ArniOTWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniG03,
author = {Marcello Balduccini and
Michael Gelfond},
title = {Diagnostic reasoning with A-Prolog},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {425--461},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001807},
doi = {10.1017/S1471068403001807},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BalducciniG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaralPS03,
author = {Chitta Baral and
Alessandro Provetti and
Tran Cao Son},
title = {Introduction to the special issue on Programming with Answer Sets},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {387--391},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001820},
doi = {10.1017/S1471068403001820},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaralPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BertinoCP03,
author = {Elisa Bertino and
Barbara Catania and
Paolo Perlasca},
title = {Introducing Dynamic Behavior in Amalgamated Knowledge Bases},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {625--669},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001588},
doi = {10.1017/S1471068402001588},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BertinoCP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DelgrandeST03,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits},
title = {A Framework for Compiling Preferences in Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {129--187},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001539},
doi = {10.1017/S1471068402001539},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DelgrandeST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Dovier03,
author = {Agostino Dovier},
title = {Book review: Set Theory for Computing: From Decision Procedures to
Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo,
and Alberto Policriti, Springer, 2001, {ISBN} 0-387-95197-0},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {1},
pages = {125--128},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001503},
doi = {10.1017/S1471068402001503},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Dovier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFLP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing preferred answer sets by meta-interpretation in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {463--498},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001753},
doi = {10.1017/S1471068403001753},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ErdemL03,
author = {Esra Erdem and
Vladimir Lifschitz},
title = {Tight logic programs},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {499--518},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001765},
doi = {10.1017/S1471068403001765},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ErdemL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HeljankoN03,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {Bounded {LTL} model checking with stable models},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {519--550},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001790},
doi = {10.1017/S1471068403001790},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HeljankoN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HoweK03,
author = {Jacob M. Howe and
Andy King},
title = {Efficient Groundness Analysis in Prolog},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {1},
pages = {95--124},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001485},
doi = {10.1017/S1471068402001485},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HoweK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HoweK03a,
author = {Jacob M. Howe and
Andy King},
title = {Three Optimisations for Sharing},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {243--257},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001497},
doi = {10.1017/S1471068402001497},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HoweK03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JonghH03,
author = {Dick De Jongh and
Lex Hendriks},
title = {Characterization of strongly equivalent logic programs in intermediate
logics},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {259--270},
year = {2003},
url = {https://doi.org/10.1017/S147106840200159X},
doi = {10.1017/S147106840200159X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JonghH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Kuijpers03,
author = {Bart Kuijpers},
title = {Book review: Introduction to Constraint Databases by Peter Revesz.
Texts in Computer Science, Springer-Verlag, 2002, {ISBN} 0-387-98729-0,
xiv + 393 pages, 112 illustrations, hardcover},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {765--767},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001650},
doi = {10.1017/S1471068403001650},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Kuijpers03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR03,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {On the expressibility of stable logic programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {551--567},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001777},
doi = {10.1017/S1471068403001777},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Molina-BravoP03,
author = {Juan M. Molina{-}Bravo and
Ernesto Pimentel},
title = {Composing Programs in a Rewriting Logic for Declarative Programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {189--221},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001527},
doi = {10.1017/S1471068402001527},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Molina-BravoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RemshagenT03,
author = {Anja Remshagen and
Klaus Truemper},
title = {Learning in a Compiler for {MINSAT} Algorithms},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {271--286},
year = {2003},
url = {https://doi.org/10.1017/S147106840200162X},
doi = {10.1017/S147106840200162X},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RemshagenT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RoyBDHHS03,
author = {Peter Van Roy and
Per Brand and
Denys Duchier and
Seif Haridi and
Martin Henz and
Christian Schulte},
title = {Logic programming in the context of multiparadigm programming: the
Oz experience},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {715--763},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001741},
doi = {10.1017/S1471068403001741},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RoyBDHHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SakamaI03,
author = {Chiaki Sakama and
Katsumi Inoue},
title = {An abductive framework for computing knowledge base updates},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {671--713},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001716},
doi = {10.1017/S1471068403001716},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SakamaI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchaubW03,
author = {Torsten Schaub and
Kewen Wang},
title = {A semantic framework for preference handling in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {569--607},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001844},
doi = {10.1017/S1471068403001844},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SchaubW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TenienteU03,
author = {Ernest Teniente and
Toni Urp{\'{\i}}},
title = {On the abductive or deductive nature of database schema validation
and update processing problems},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {287--327},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001631},
doi = {10.1017/S1471068402001631},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TenienteU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Turner03,
author = {Hudson Turner},
title = {Strong equivalence made easy: nested expressions and weight constraints},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {609--622},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001819},
doi = {10.1017/S1471068403001819},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Turner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VandecasteeleJ03,
author = {Henk Vandecasteele and
Gerda Janssens},
title = {An Open Ended Tree},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {377--385},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001618},
doi = {10.1017/S1471068402001618},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/VandecasteeleJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Zhang03,
author = {Yan Zhang},
title = {Two results for prioritized logic programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {223--242},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001552},
doi = {10.1017/S1471068402001552},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Zhang03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Zhang03a,
author = {Yan Zhang},
title = {Handling defeasibilities in action domains},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {329--376},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001606},
doi = {10.1017/S1471068402001606},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Zhang03a.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-07-10 09:25 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:
