Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/AmirM05,
  author       = {Eyal Amir and
                  Sheila A. McIlraith},
  title        = {Partition-based logical reasoning for first-order and propositional
                  theories},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {49--88},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.11.004},
  doi          = {10.1016/J.ARTINT.2004.11.004},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AmirM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/CadoliS05,
  author       = {Marco Cadoli and
                  Andrea Schaerf},
  title        = {: Compiling problem specifications into {SAT}},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {89--120},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.01.006},
  doi          = {10.1016/J.ARTINT.2004.01.006},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CadoliS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/ChoueiryIM05,
  author       = {Berthe Y. Choueiry and
                  Yumi Iwasaki and
                  Sheila A. McIlraith},
  title        = {Towards a practical theory of reformulation for reasoning about physical
                  systems},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {145--204},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.01.004},
  doi          = {10.1016/J.ARTINT.2004.01.004},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ChoueiryIM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/EllmanG05,
  author       = {Thomas Ellman and
                  Fausto Giunchiglia},
  title        = {Introduction to the Special Volume on Reformulation},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {3--5},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.07.001},
  doi          = {10.1016/J.ARTINT.2004.07.001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/EllmanG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SachenbacherS05,
  author       = {Martin Sachenbacher and
                  Peter Struss},
  title        = {Task-dependent qualitative domain abstraction},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {121--143},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.01.005},
  doi          = {10.1016/J.ARTINT.2004.01.005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SachenbacherS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Val05,
  author       = {Alvaro del Val},
  title        = {First order {LUB} approximations: characterization and algorithms},
  journal      = {Artif. Intell.},
  volume       = {162},
  number       = {1-2},
  pages        = {7--48},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.01.003},
  doi          = {10.1016/J.ARTINT.2004.01.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Val05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}