Search dblp for Publications

export results for "toc:db/journals/ai/ai164.bht:"

 download as .bib file

@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 = {Sat, 27 May 2017 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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/XingZ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics