Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AlferesLPPP00,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite and
                  Lu{\'{\i}}s Moniz Pereira and
                  Halina Przymusinska and
                  Teodor C. Przymusinski},
  title        = {Dynamic updates of non-monotonic knowledge bases},
  journal      = {J. Log. Program.},
  volume       = {45},
  number       = {1-3},
  pages        = {43--70},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(99)00065-5},
  doi          = {10.1016/S0743-1066(99)00065-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AlferesLPPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HeatonACK00,
  author       = {Andy Heaton and
                  Muhamed Abo{-}Zaed and
                  Michael Codish and
                  Andy King},
  title        = {A simple polynomial groundness analysis for logic programs},
  journal      = {J. Log. Program.},
  volume       = {45},
  number       = {1-3},
  pages        = {143--156},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(00)00006-6},
  doi          = {10.1016/S0743-1066(00)00006-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HeatonACK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/SagonasSW00,
  author       = {Konstantinos Sagonas and
                  Terrance Swift and
                  David Scott Warren},
  title        = {An abstract machine for efficiently computing queries to well-founded
                  models},
  journal      = {J. Log. Program.},
  volume       = {45},
  number       = {1-3},
  pages        = {1--41},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(00)00005-4},
  doi          = {10.1016/S0743-1066(00)00005-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/SagonasSW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Wang00,
  author       = {Kewen Wang},
  title        = {Argumentation-based abduction in disjunctive logic programming},
  journal      = {J. Log. Program.},
  volume       = {45},
  number       = {1-3},
  pages        = {105--141},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(00)00004-2},
  doi          = {10.1016/S0743-1066(00)00004-2},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Wang00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Zhou00,
  author       = {Jianyang Zhou},
  title        = {Introduction to the constraint language {NCL}},
  journal      = {J. Log. Program.},
  volume       = {45},
  number       = {1-3},
  pages        = {71--103},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0743-1066(99)00063-1},
  doi          = {10.1016/S0743-1066(99)00063-1},
  timestamp    = {Thu, 29 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Zhou00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}