Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/BandaMSS98,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Kim Marriott and
                  Peter J. Stuckey and
                  Harald S{\o}ndergaard},
  title        = {Differential Methods in Logic Program Analysis},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {1},
  pages        = {1--37},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10002-4},
  doi          = {10.1016/S0743-1066(97)10002-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BandaMSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BaralGK98,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Olga Kosheleva},
  title        = {Expanding Queries to Incomplete Databases by Interpolating General
                  Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {195--230},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10011-5},
  doi          = {10.1016/S0743-1066(97)10011-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralGK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Bochman98,
  author       = {Alexander Bochman},
  title        = {A Logical Foundation for Logic Programming {I:} Biconsequence Relations
                  and Nonmonotonic Completion},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {2},
  pages        = {151--170},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10005-X},
  doi          = {10.1016/S0743-1066(97)10005-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Bochman98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Bochman98a,
  author       = {Alexander Bochman},
  title        = {A Logical Foundation for Logic Programming {II:} Semantics of General
                  Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {2},
  pages        = {171--194},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10006-1},
  doi          = {10.1016/S0743-1066(97)10006-1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Bochman98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GiannottiP98,
  author       = {Fosca Giannotti and
                  Dino Pedreschi},
  title        = {Datalog with Non-Deterministic Choice Computers {NDB-PTIME}},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {1},
  pages        = {79--101},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10004-8},
  doi          = {10.1016/S0743-1066(97)10004-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GiannottiP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HullS98,
  author       = {Richard Hull and
                  Jianwen Su},
  title        = {Deductive Query Languages for Recursively Typed Complex Objects},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {231--261},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10009-7},
  doi          = {10.1016/S0743-1066(97)10009-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HullS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/InoueS98,
  author       = {Katsumi Inoue and
                  Chiaki Sakama},
  title        = {Negation as Failure in the Head},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {1},
  pages        = {39--78},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10001-2},
  doi          = {10.1016/S0743-1066(97)10001-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/InoueS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/TomanC98,
  author       = {David Toman and
                  Jan Chomicki},
  title        = {Datalog with Integer Periodicity Constraints},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {263--290},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10008-5},
  doi          = {10.1016/S0743-1066(97)10008-5},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/TomanC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/TongL98,
  author       = {Bo{-}Ming Tong and
                  Ho{-}fung Leung},
  title        = {Data-Parallel Concurrent Constraint Programming},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {2},
  pages        = {103--150},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10003-6},
  doi          = {10.1016/S0743-1066(97)10003-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/TongL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}