Search dblp for Publications

export results for "toc:db/journals/tplp/tplp6.bht:"

 download as .bib file

@article{DBLP:journals/tplp/AntoniouBGM06,
  author       = {Grigoris Antoniou and
                  David Billington and
                  Guido Governatori and
                  Michael J. Maher},
  title        = {Embedding defeasible logic into logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {6},
  pages        = {703--735},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002778},
  doi          = {10.1017/S1471068406002778},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AntoniouBGM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/BouajjaniM06,
  author       = {Ahmed Bouajjani and
                  Agathe Merceron},
  title        = {Parametric Verification of a Group Membership Algorithm},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {3},
  pages        = {321--353},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002663},
  doi          = {10.1017/S1471068406002663},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BouajjaniM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/Costantini06,
  author       = {Stefania Costantini},
  title        = {On the existence of stable models of non-stratified logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {169--212},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002589},
  doi          = {10.1017/S1471068405002589},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Costantini06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/DelzannoEG06,
  author       = {Giorgio Delzanno and
                  Sandro Etalle and
                  Maurizio Gabbrielli},
  title        = {Introduction to the Special Issue on Specification Analysis and Verification
                  of Reactive Systems},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {3},
  pages        = {225--226},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002638},
  doi          = {10.1017/S1471068406002638},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/DelzannoEG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/DovierPR06,
  author       = {Agostino Dovier and
                  Enrico Pontelli and
                  Gianfranco Rossi},
  title        = {Set unification},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {6},
  pages        = {645--701},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002730},
  doi          = {10.1017/S1471068406002730},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DovierPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/DungHT06,
  author       = {Phan Minh Dung and
                  Do Duc Hanh and
                  Phan Minh Thang},
  title        = {Stabilization of cooperative information agents in unpredictable environment:
                  a logic programming approach},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {1--22},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002553},
  doi          = {10.1017/S1471068405002553},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DungHT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/EiterP06,
  author       = {Thomas Eiter and
                  Axel Polleres},
  title        = {Towards automated integration of guess and check programs in answer
                  set programming: a meta-interpreter and applications},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {23--60},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002577},
  doi          = {10.1017/S1471068405002577},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/EiterP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/ErdemLR06,
  author       = {Esra Erdem and
                  Vladimir Lifschitz and
                  Donald Ringe},
  title        = {Temporal phylogenetic networks and logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {5},
  pages        = {539--558},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002729},
  doi          = {10.1017/S1471068406002729},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/ErdemLR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/FalaschiV06,
  author       = {Moreno Falaschi and
                  Alicia Villanueva},
  title        = {Automatic verification of timed concurrent constraint programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {3},
  pages        = {265--300},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002675},
  doi          = {10.1017/S1471068406002675},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/FalaschiV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/GardeyRR06,
  author       = {Guillaume Gardey and
                  Olivier H. Roux and
                  Olivier F. Roux},
  title        = {State space computation and analysis of Time Petri Nets},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {3},
  pages        = {301--320},
  year         = {2006},
  url          = {https://doi.org/10.1017/S147106840600264X},
  doi          = {10.1017/S147106840600264X},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GardeyRR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/KimTB06,
  author       = {Hahnsang Kim and
                  Thierry Turletti and
                  Amar Bouali},
  title        = {EPspectra: a formal toolkit for developing {DSP} software applications},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {4},
  pages        = {451--481},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002565},
  doi          = {10.1017/S1471068405002565},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/KimTB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/KonczakLS06,
  author       = {Kathrin Konczak and
                  Thomas Linke and
                  Torsten Schaub},
  title        = {Graphs and colorings for answer set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {61--106},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002528},
  doi          = {10.1017/S1471068405002528},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/KonczakLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/KuceraJ06,
  author       = {Anton{\'{\i}}n Kucera and
                  Petr Jancar},
  title        = {Equivalence-checking on infinite-state systems: Techniques and results},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {3},
  pages        = {227--264},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002651},
  doi          = {10.1017/S1471068406002651},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/KuceraJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/LoncT06,
  author       = {Zbigniew Lonc and
                  Miroslaw Truszczynski},
  title        = {Computing minimal models, stable models and answer sets},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {4},
  pages        = {395--449},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002607},
  doi          = {10.1017/S1471068405002607},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LoncT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/LoyerS06,
  author       = {Yann Loyer and
                  Umberto Straccia},
  title        = {Epistemic foundation of stable model semantics},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {4},
  pages        = {355--393},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002619},
  doi          = {10.1017/S1471068405002619},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/LoyerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/Naish06,
  author       = {Lee Naish},
  title        = {A three-valued semantics for logic programmers},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {5},
  pages        = {509--538},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002742},
  doi          = {10.1017/S1471068406002742},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/Naish06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/NieuwenborghV06,
  author       = {Davy Van Nieuwenborgh and
                  Dirk Vermeir},
  title        = {Preferred answer sets for ordered logic programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {107--167},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068404002315},
  doi          = {10.1017/S1471068404002315},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/NieuwenborghV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/SchrijversDBS06,
  author       = {Tom Schrijvers and
                  Bart Demoen and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Peter J. Stuckey},
  title        = {Improving {PARMA} trailing},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {6},
  pages        = {609--644},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002620},
  doi          = {10.1017/S1471068405002620},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/SchrijversDBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/SchrijversF06,
  author       = {Tom Schrijvers and
                  Thom W. Fr{\"{u}}hwirth},
  title        = {Optimal union-find in Constraint Handling Rules},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {1-2},
  pages        = {213--224},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002541},
  doi          = {10.1017/S1471068405002541},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/SchrijversF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/SonP06,
  author       = {Tran Cao Son and
                  Enrico Pontelli},
  title        = {Planning with preferences using logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {5},
  pages        = {559--607},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002717},
  doi          = {10.1017/S1471068406002717},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/SonP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/Yamasaki06,
  author       = {Susumu Yamasaki},
  title        = {Logic programming with default, weak and strict negations},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {6},
  pages        = {737--749},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068406002791},
  doi          = {10.1017/S1471068406002791},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/Yamasaki06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/Zhou06,
  author       = {Neng{-}Fa Zhou},
  title        = {Programming finite-domain constraint propagators in Action Rules},
  journal      = {Theory Pract. Log. Program.},
  volume       = {6},
  number       = {5},
  pages        = {483--507},
  year         = {2006},
  url          = {https://doi.org/10.1017/S1471068405002590},
  doi          = {10.1017/S1471068405002590},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Zhou06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.