Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AntoniouMB00,
  author    = {Grigoris Antoniou and
               Michael J. Maher and
               David Billington},
  title     = {Defeasible Logic versus Logic Programming without Negation as Failure},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {1},
  pages     = {47--57},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00060-6},
  doi       = {10.1016/S0743-1066(99)00060-6},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/AntoniouMB00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CodishLB00,
  author    = {Michael Codish and
               Vitaly Lagoon and
               Francisco Bueno},
  title     = {An Algebraic Approach to Sharing Analysis of Logic Programs},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {2},
  pages     = {111--149},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00007-2},
  doi       = {10.1016/S0743-1066(99)00007-2},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/CodishLB00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/FalaschiHW00,
  author    = {Moreno Falaschi and
               Patrick Hicks and
               William H. Winsborough},
  title     = {Demand Transformation Analysis for Concurrent Constraint Programs},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {3},
  pages     = {185--215},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00004-7},
  doi       = {10.1016/S0743-1066(99)00004-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/FalaschiHW00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/JayaramanM00,
  author    = {Bharat Jayaraman and
               Kyonghee Moon},
  title     = {Subset Logic Programs and Their Implementation},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {2},
  pages     = {71--110},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00005-9},
  doi       = {10.1016/S0743-1066(99)00005-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/JayaramanM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Priess-CrampeR00,
  author    = {Sibylla Priess{-}Crampe and
               Paulo Ribenboim},
  title     = {Ultrametric Spaces and Logic Programming},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {2},
  pages     = {59--70},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00002-3},
  doi       = {10.1016/S0743-1066(99)00002-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/Priess-CrampeR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/RamachandranHC00,
  author    = {Viswanath Ramachandran and
               Pascal Van Hentenryck and
               Agostino Cortesi},
  title     = {Abstract Domains for Reordering CLP(R\({}_{\mbox{Lin}}\)) Programs},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {3},
  pages     = {217--256},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00011-4},
  doi       = {10.1016/S0743-1066(99)00011-4},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/RamachandranHC00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Spoto00,
  author    = {Fausto Spoto},
  title     = {Operational and Goal-Independent Denotational Semantics for Prolog
               with Cut},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {1},
  pages     = {1--46},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00012-6},
  doi       = {10.1016/S0743-1066(99)00012-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/Spoto00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/VerbaetenDS00,
  author    = {Sofie Verbaeten and
               Marc Denecker and
               Danny De Schreye},
  title     = {Compositionality of Normal Open Logic Programs},
  journal   = {J. Log. Program.},
  volume    = {42},
  number    = {3},
  pages     = {151--183},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0743-1066(99)00003-5},
  doi       = {10.1016/S0743-1066(99)00003-5},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/VerbaetenDS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}