Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ai/BaralZ05,
  author       = {Chitta Baral and
                  Yan Zhang},
  title        = {Knowledge updates: Semantics and complexity issues},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {209--243},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2005.01.005},
  doi          = {10.1016/J.ARTINT.2005.01.005},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BaralZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/DunneWL05,
  author       = {Paul E. Dunne and
                  Michael J. Wooldridge and
                  Michael Laurence},
  title        = {The complexity of contract negotiation},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {23--46},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2005.01.006},
  doi          = {10.1016/J.ARTINT.2005.01.006},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/DunneWL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/FargierS05,
  author       = {H{\'{e}}l{\`{e}}ne Fargier and
                  R{\'{e}}gis Sabbadin},
  title        = {Qualitative decision under uncertainty: back to expected utility},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {245--280},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.12.002},
  doi          = {10.1016/J.ARTINT.2004.12.002},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FargierS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/HoekW05,
  author       = {Wiebe van der Hoek and
                  Michael J. Wooldridge},
  title        = {On the logic of cooperation and propositional control},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {81--119},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2005.01.003},
  doi          = {10.1016/J.ARTINT.2005.01.003},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/HoekW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Oglietti05,
  author       = {Marcelo Oglietti},
  title        = {Understanding planning with incomplete information and sensing},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {171--208},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.11.006},
  doi          = {10.1016/J.ARTINT.2004.11.006},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Oglietti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/OommenR05,
  author       = {B. John Oommen and
                  Lu{\'{\i}}s G. Rueda},
  title        = {A formal analysis of why heuristic functions work},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {1--22},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2002.02.001},
  doi          = {10.1016/J.ARTINT.2002.02.001},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/OommenR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/PencoleC05,
  author       = {Yannick Pencol{\'{e}} and
                  Marie{-}Odile Cordier},
  title        = {A formal framework for the decentralised diagnosis of large scale
                  discrete event systems and its application to telecommunication networks},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {121--170},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2005.01.002},
  doi          = {10.1016/J.ARTINT.2005.01.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PencoleC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/XingZ05,
  author       = {Zhao Xing and
                  Weixiong Zhang},
  title        = {MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability},
  journal      = {Artif. Intell.},
  volume       = {164},
  number       = {1-2},
  pages        = {47--80},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2005.01.004},
  doi          = {10.1016/J.ARTINT.2005.01.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/XingZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}