Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/Bonatti04,
  author       = {Piero A. Bonatti},
  title        = {Reasoning with infinite stable models},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {1},
  pages        = {75--111},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.02.001},
  doi          = {10.1016/J.ARTINT.2004.02.001},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bonatti04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/CristaniH04,
  author       = {Matteo Cristani and
                  Robin Hirsch},
  title        = {The complexity of constraint satisfaction problems for small relation
                  algebras},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {2},
  pages        = {177--196},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.02.003},
  doi          = {10.1016/J.ARTINT.2004.02.003},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/CristaniH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/GoldsmithSST04,
  author       = {Judy Goldsmith and
                  Robert H. Sloan and
                  Bal{\'{a}}zs Sz{\"{o}}r{\'{e}}nyi and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Theory revision with queries: Horn, read-once, and parity formulas},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {2},
  pages        = {139--176},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.01.002},
  doi          = {10.1016/J.ARTINT.2004.01.002},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GoldsmithSST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/HirshMP04,
  author       = {Haym Hirsh and
                  Nina Mishra and
                  Leonard Pitt},
  title        = {Version spaces and the consistency problem},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {2},
  pages        = {115--138},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2003.04.003},
  doi          = {10.1016/J.ARTINT.2003.04.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/HirshMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/KutzLWZ04,
  author       = {Oliver Kutz and
                  Carsten Lutz and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {E-connections of abstract description systems},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {1},
  pages        = {1--73},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.02.002},
  doi          = {10.1016/J.ARTINT.2004.02.002},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/KutzLWZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/ParkD04,
  author       = {James D. Park and
                  Adnan Darwiche},
  title        = {A differential semantics for jointree algorithms},
  journal      = {Artif. Intell.},
  volume       = {156},
  number       = {2},
  pages        = {197--216},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2003.04.004},
  doi          = {10.1016/J.ARTINT.2003.04.004},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ParkD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}