Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ai/AgotnesHW09,
  author       = {Thomas {\AA}gotnes and
                  Wiebe van der Hoek and
                  Michael J. Wooldridge},
  title        = {Reasoning about coalitional games},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {45--79},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.08.004},
  doi          = {10.1016/J.ARTINT.2008.08.004},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AgotnesHW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmgoudP09,
  author       = {Leila Amgoud and
                  Henri Prade},
  title        = {Using arguments for making and explaining decisions},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {3-4},
  pages        = {413--436},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.006},
  doi          = {10.1016/J.ARTINT.2008.11.006},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AmgoudP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ArkoudasB09,
  author       = {Konstantine Arkoudas and
                  Selmer Bringsjord},
  title        = {Vivid: {A} framework for heterogeneous problem solving},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {15},
  pages        = {1367--1405},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.002},
  doi          = {10.1016/J.ARTINT.2009.06.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ArkoudasB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AshlagiMT09,
  author       = {Itai Ashlagi and
                  Dov Monderer and
                  Moshe Tennenholtz},
  title        = {Two-terminal routing games with unknown active players},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {15},
  pages        = {1441--1455},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.002},
  doi          = {10.1016/J.ARTINT.2009.07.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AshlagiMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaierBM09,
  author       = {Jorge A. Baier and
                  Fahiem Bacchus and
                  Sheila A. McIlraith},
  title        = {A heuristic search approach to planning with temporally extended preferences},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {593--618},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.011},
  doi          = {10.1016/J.ARTINT.2008.11.011},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BaierBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaldassarreN09,
  author       = {Gianluca Baldassarre and
                  Stefano Nolfi},
  title        = {Strengths and synergies of evolved and designed controllers: {A} study
                  within collective robotics},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {7-8},
  pages        = {857--875},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.01.001},
  doi          = {10.1016/J.ARTINT.2009.01.001},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BaldassarreN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliL09,
  author       = {Francesco Belardinelli and
                  Alessio Lomuscio},
  title        = {Quantified epistemic logics for reasoning about knowledge in multi-agent
                  systems},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {9-10},
  pages        = {982--1013},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.02.003},
  doi          = {10.1016/J.ARTINT.2009.02.003},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BelardinelliL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BentonDK09,
  author       = {J. Benton and
                  Minh Binh Do and
                  Subbarao Kambhampati},
  title        = {Anytime heuristic search for partial satisfaction planning},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {562--592},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.010},
  doi          = {10.1016/J.ARTINT.2008.11.010},
  timestamp    = {Mon, 22 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BentonDK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BesnardHW09,
  author       = {Philippe Besnard and
                  Anthony Hunter and
                  Stefan Woltran},
  title        = {Encoding deductive argumentation in quantified Boolean formulae},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {15},
  pages        = {1406--1423},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.006},
  doi          = {10.1016/J.ARTINT.2009.06.006},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BesnardHW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BessiereHHKW09,
  author       = {Christian Bessiere and
                  Emmanuel Hebrard and
                  Brahim Hnich and
                  Zeynep Kiziltan and
                  Toby Walsh},
  title        = {Range and Roots: Two common patterns for specifying and propagating
                  counting and occurrence constraints},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {11},
  pages        = {1054--1078},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.03.001},
  doi          = {10.1016/J.ARTINT.2009.03.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BessiereHHKW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bonanno09,
  author       = {Giacomo Bonanno},
  title        = {Rational choice and {AGM} belief revision},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {12-13},
  pages        = {1194--1203},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.05.001},
  doi          = {10.1016/J.ARTINT.2009.05.001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Bonanno09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BouveretL09,
  author       = {Sylvain Bouveret and
                  Michel Lema{\^{\i}}tre},
  title        = {Computing leximin-optimal solutions in constraint networks},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {343--364},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.010},
  doi          = {10.1016/J.ARTINT.2008.10.010},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BouveretL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrandtFHS09,
  author       = {Felix Brandt and
                  Felix A. Fischer and
                  Paul Harrenstein and
                  Yoav Shoham},
  title        = {Ranking games},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {221--239},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.008},
  doi          = {10.1016/J.ARTINT.2008.10.008},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BrandtFHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BuffetA09,
  author       = {Olivier Buffet and
                  Douglas Aberdeen},
  title        = {The factored policy-gradient planner},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {722--747},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.008},
  doi          = {10.1016/J.ARTINT.2008.11.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BuffetA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChabertJ09,
  author       = {Gilles Chabert and
                  Luc Jaulin},
  title        = {Contractor programming},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {11},
  pages        = {1079--1100},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.03.002},
  doi          = {10.1016/J.ARTINT.2009.03.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ChabertJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChenHXZ09,
  author       = {Yixin Chen and
                  Ruoyun Huang and
                  Zhao Xing and
                  Weixiong Zhang},
  title        = {Long-distance mutual exclusion for planning},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {365--391},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.004},
  doi          = {10.1016/J.ARTINT.2008.11.004},
  timestamp    = {Thu, 12 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ChenHXZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ColesFHLS09,
  author       = {Andrew Coles and
                  Maria Fox and
                  Keith Halsey and
                  Derek Long and
                  Amanda Smith},
  title        = {Managing concurrency in temporal planning using planner-scheduler
                  interaction},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {1--44},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.08.003},
  doi          = {10.1016/J.ARTINT.2008.08.003},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ColesFHLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DeeH09,
  author       = {Hannah M. Dee and
                  David C. Hogg},
  title        = {Navigational strategies in behaviour modelling},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {329--342},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.011},
  doi          = {10.1016/J.ARTINT.2008.10.011},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/DeeH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DeruyverHB09,
  author       = {Aline Deruyver and
                  Yann Hod{\'{e}} and
                  Luc Brun},
  title        = {Image interpretation with a conceptual graph: Labeling over-segmented
                  images and detection of unexpected objects},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1245--1265},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.05.003},
  doi          = {10.1016/J.ARTINT.2009.05.003},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/DeruyverHB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Dunne09,
  author       = {Paul E. Dunne},
  title        = {The computational complexity of ideal semantics},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {18},
  pages        = {1559--1591},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.09.001},
  doi          = {10.1016/J.ARTINT.2009.09.001},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Dunne09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DuongPBV09,
  author       = {Thi V. Duong and
                  Dinh Q. Phung and
                  Hung Bui and
                  Svetha Venkatesh},
  title        = {Efficient duration and hierarchical modeling for human activity recognition},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {7-8},
  pages        = {830--856},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.12.005},
  doi          = {10.1016/J.ARTINT.2008.12.005},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/DuongPBV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EbendtD09,
  author       = {R{\"{u}}diger Ebendt and
                  Rolf Drechsler},
  title        = {Weighted A\({}^{\mbox{*}}\) search - unifying view and application},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1310--1342},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.004},
  doi          = {10.1016/J.ARTINT.2009.06.004},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/EbendtD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FanBP09,
  author       = {James Fan and
                  Ken Barker and
                  Bruce W. Porter},
  title        = {Automatic interpretation of loosely encoded input},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {197--220},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.007},
  doi          = {10.1016/J.ARTINT.2008.10.007},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/FanBP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FoxT09,
  author       = {Maria Fox and
                  Sylvie Thi{\'{e}}baux},
  title        = {Advances in automated plan generation},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {501--502},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.12.003},
  doi          = {10.1016/J.ARTINT.2008.12.003},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/FoxT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Freund09,
  author       = {Michael Freund},
  title        = {On the notion of concept {II}},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {167--179},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.09.003},
  doi          = {10.1016/J.ARTINT.2008.09.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Freund09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FrischHKMW09,
  author       = {Alan M. Frisch and
                  Brahim Hnich and
                  Zeynep Kiziltan and
                  Ian Miguel and
                  Toby Walsh},
  title        = {Filtering algorithms for the multiset ordering constraint},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {299--328},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.001},
  doi          = {10.1016/J.ARTINT.2008.11.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FrischHKMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FroeseZ09,
  author       = {Tom Froese and
                  Tom Ziemke},
  title        = {Enactive artificial intelligence: Investigating the systemic organization
                  of life and mind},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {3-4},
  pages        = {466--500},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.12.001},
  doi          = {10.1016/J.ARTINT.2008.12.001},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FroeseZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Gao09,
  author       = {Yong Gao},
  title        = {Data reductions, fixed parameter tractability, and random weighted
                  d-CNF satisfiability},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1343--1366},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.005},
  doi          = {10.1016/J.ARTINT.2009.06.005},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/Gao09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GeibG09,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  title        = {A probabilistic plan recognition algorithm based on plan tree grammars},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {11},
  pages        = {1101--1132},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.01.003},
  doi          = {10.1016/J.ARTINT.2009.01.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GeibG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GereviniHLSD09,
  author       = {Alfonso Gerevini and
                  Patrik Haslum and
                  Derek Long and
                  Alessandro Saetti and
                  Yannis Dimopoulos},
  title        = {Deterministic planning in the fifth international planning competition:
                  {PDDL3} and experimental evaluation of the planners},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {619--668},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.012},
  doi          = {10.1016/J.ARTINT.2008.10.012},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GereviniHLSD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GoldDCS09,
  author       = {Kevin Gold and
                  Marek W. Doniec and
                  Christopher Crick and
                  Brian Scassellati},
  title        = {Robotic vocabulary building using extension inference and implicit
                  contrast},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {145--166},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.09.002},
  doi          = {10.1016/J.ARTINT.2008.09.002},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GoldDCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HahmannWG09,
  author       = {Torsten Hahmann and
                  Michael Winter and
                  Michael Gruninger},
  title        = {Stonian p-ortholattices: {A} new approach to the mereotopology RT\({}_{\mbox{0}}\)},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {15},
  pages        = {1424--1440},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.001},
  doi          = {10.1016/J.ARTINT.2009.07.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/HahmannWG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HamidMJBEI09,
  author       = {Raffay Hamid and
                  Siddhartha Maddi and
                  Amos Y. Johnson and
                  Aaron F. Bobick and
                  Irfan A. Essa and
                  Charles Lee Isbell Jr.},
  title        = {A novel sequence representation for unsupervised analysis of human
                  activities},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1221--1244},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.05.002},
  doi          = {10.1016/J.ARTINT.2009.05.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/HamidMJBEI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Helmert09,
  author       = {Malte Helmert},
  title        = {Concise finite-domain representations for {PDDL} planning tasks},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {503--535},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.013},
  doi          = {10.1016/J.ARTINT.2008.10.013},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Helmert09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JudaP09,
  author       = {Adam I. Juda and
                  David C. Parkes},
  title        = {An options-based solution to the sequential auction problem},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {7-8},
  pages        = {876--899},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.01.002},
  doi          = {10.1016/J.ARTINT.2009.01.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/JudaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KarpasSB09,
  author       = {Erez Karpas and
                  Solomon Eyal Shimony and
                  Amos Beimel},
  title        = {Approximate belief updating in max-2-connected Bayes networks is NP-hard},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {12-13},
  pages        = {1150--1153},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.04.001},
  doi          = {10.1016/J.ARTINT.2009.04.001},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/KarpasSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KarunatillakeJRM09,
  author       = {Nishan C. Karunatillake and
                  Nicholas R. Jennings and
                  Iyad Rahwan and
                  Peter McBurney},
  title        = {Dialogue games that agents play within a society},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {9-10},
  pages        = {935--981},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.02.002},
  doi          = {10.1016/J.ARTINT.2009.02.002},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KarunatillakeJRM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KayserN09,
  author       = {Daniel Kayser and
                  Farid Nouioua},
  title        = {From the textual description of an accident to its causes},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {12-13},
  pages        = {1154--1193},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.04.002},
  doi          = {10.1016/J.ARTINT.2009.04.002},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KayserN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KlenkF09,
  author       = {Matthew Klenk and
                  Kenneth D. Forbus},
  title        = {Analogical model formulation for transfer learning in {AP} Physics},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {18},
  pages        = {1615--1638},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.09.003},
  doi          = {10.1016/J.ARTINT.2009.09.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KlenkF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KuterNPT09,
  author       = {Ugur Kuter and
                  Dana S. Nau and
                  Marco Pistore and
                  Paolo Traverso},
  title        = {Task decomposition on abstract states, for planning under nondeterminism},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {669--695},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.012},
  doi          = {10.1016/J.ARTINT.2008.11.012},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KuterNPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LawryT09,
  author       = {Jonathan Lawry and
                  Yongchuan Tang},
  title        = {Uncertainty modelling for vague concepts: {A} prototype theory approach},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {18},
  pages        = {1539--1558},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.006},
  doi          = {10.1016/J.ARTINT.2009.07.006},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/LawryT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LecoutreSTV09,
  author       = {Christophe Lecoutre and
                  Lakhdar Sais and
                  S{\'{e}}bastien Tabary and
                  Vincent Vidal},
  title        = {Reasoning from last conflict(s) in constraint programming},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {18},
  pages        = {1592--1614},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.09.002},
  doi          = {10.1016/J.ARTINT.2009.09.002},
  timestamp    = {Sat, 30 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/LecoutreSTV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LikhachevS09,
  author       = {Maxim Likhachev and
                  Anthony Stentz},
  title        = {Probabilistic planning with clear preferences on missing information},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {696--721},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.014},
  doi          = {10.1016/J.ARTINT.2008.10.014},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/LikhachevS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MarinescuD09,
  author       = {Radu Marinescu and
                  Rina Dechter},
  title        = {{AND/OR} Branch-and-Bound search for combinatorial optimization in
                  graphical models},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {16-17},
  pages        = {1457--1491},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.003},
  doi          = {10.1016/J.ARTINT.2009.07.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MarinescuD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MarinescuD09a,
  author       = {Radu Marinescu and
                  Rina Dechter},
  title        = {Memory intensive {AND/OR} search for combinatorial optimization in
                  graphical models},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {16-17},
  pages        = {1492--1524},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.004},
  doi          = {10.1016/J.ARTINT.2009.07.004},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MarinescuD09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MirandaZ09,
  author       = {Enrique Miranda and
                  Marco Zaffalon},
  title        = {Coherence graphs},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {104--144},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.09.001},
  doi          = {10.1016/J.ARTINT.2008.09.001},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MirandaZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Modgil09,
  author       = {Sanjay Modgil},
  title        = {Reasoning about preferences in argumentation frameworks},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {9-10},
  pages        = {901--934},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.02.001},
  doi          = {10.1016/J.ARTINT.2009.02.001},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Modgil09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MondererT09,
  author       = {Dov Monderer and
                  Moshe Tennenholtz},
  title        = {Strong mediated equilibrium},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {180--195},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.005},
  doi          = {10.1016/J.ARTINT.2008.10.005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MondererT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MotikGHS09,
  author       = {Boris Motik and
                  Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Ulrike Sattler},
  title        = {Representing ontologies using description logics, description graphs,
                  and rules},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1275--1309},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.003},
  doi          = {10.1016/J.ARTINT.2009.06.003},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MotikGHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PaiementBE09,
  author       = {Jean{-}Fran{\c{c}}ois Paiement and
                  Samy Bengio and
                  Douglas Eck},
  title        = {Probabilistic models for melodic prediction},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {14},
  pages        = {1266--1274},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.001},
  doi          = {10.1016/J.ARTINT.2009.06.001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PaiementBE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PortetRGHSFS09,
  author       = {Fran{\c{c}}ois Portet and
                  Ehud Reiter and
                  Albert Gatt and
                  Jim Hunter and
                  Somayajulu Sripada and
                  Yvonne Freer and
                  Cindy Sykes},
  title        = {Automatic generation of textual summaries from neonatal intensive
                  care data},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {7-8},
  pages        = {789--816},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.12.002},
  doi          = {10.1016/J.ARTINT.2008.12.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/PortetRGHSFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PradaP09,
  author       = {Rui Prada and
                  Ana Paiva},
  title        = {Teaming up humans with autonomous synthetic characters},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {1},
  pages        = {80--103},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.08.006},
  doi          = {10.1016/J.ARTINT.2008.08.006},
  timestamp    = {Fri, 17 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/PradaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ProcacciaZPR09,
  author       = {Ariel D. Procaccia and
                  Aviv Zohar and
                  Yoni Peleg and
                  Jeffrey S. Rosenschein},
  title        = {The learnability of voting rules},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {12-13},
  pages        = {1133--1149},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.03.003},
  doi          = {10.1016/J.ARTINT.2009.03.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ProcacciaZPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/RobertsH09,
  author       = {Mark Roberts and
                  Adele E. Howe},
  title        = {Learning from planner performance},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {536--561},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.009},
  doi          = {10.1016/J.ARTINT.2008.11.009},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/RobertsH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/RosAMV09,
  author       = {Raquel Ros and
                  Josep Llu{\'{\i}}s Arcos and
                  Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Manuela M. Veloso},
  title        = {A case-based approach for coordinated action selection in robot soccer},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {9-10},
  pages        = {1014--1039},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.02.004},
  doi          = {10.1016/J.ARTINT.2009.02.004},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/RosAMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SannerB09,
  author       = {Scott Sanner and
                  Craig Boutilier},
  title        = {Practical solution techniques for first-order MDPs},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {5-6},
  pages        = {748--788},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.003},
  doi          = {10.1016/J.ARTINT.2008.11.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SannerB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SchockaertCK09,
  author       = {Steven Schockaert and
                  Martine De Cock and
                  Etienne E. Kerre},
  title        = {Spatial reasoning in a fuzzy region connection calculus},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {258--298},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.10.009},
  doi          = {10.1016/J.ARTINT.2008.10.009},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SchockaertCK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TangL09,
  author       = {Pingzhong Tang and
                  Fangzhen Lin},
  title        = {Computer-aided proofs of Arrow's and other impossibility theorems},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {11},
  pages        = {1041--1053},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.02.005},
  doi          = {10.1016/J.ARTINT.2009.02.005},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/TangL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/YuWJ09,
  author       = {Liang{-}Chih Yu and
                  Chung{-}Hsien Wu and
                  Fong{-}Lin Jang},
  title        = {Psychiatric document retrieval using a discourse-aware model},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {7-8},
  pages        = {817--829},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.12.004},
  doi          = {10.1016/J.ARTINT.2008.12.004},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/YuWJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangM09,
  author       = {Yuanlin Zhang and
                  Satyanarayana Marisetti},
  title        = {Solving connected row convex constraints by variable elimination},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {12-13},
  pages        = {1204--1219},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.05.004},
  doi          = {10.1016/J.ARTINT.2009.05.004},
  timestamp    = {Tue, 26 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ZhangM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangMKSP09,
  author       = {Yingqian Zhang and
                  Efrat Manisterski and
                  Sarit Kraus and
                  V. S. Subrahmanian and
                  David Peleg},
  title        = {Computing the fault tolerance of multi-agent deployment},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {3-4},
  pages        = {437--465},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.007},
  doi          = {10.1016/J.ARTINT.2008.11.007},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ZhangMKSP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangZ09,
  author       = {Yan Zhang and
                  Yi Zhou},
  title        = {Knowledge forgetting: Properties and applications},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {16-17},
  pages        = {1525--1537},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.07.005},
  doi          = {10.1016/J.ARTINT.2009.07.005},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ZhangZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhouHN09,
  author       = {Yuren Zhou and
                  Jun He and
                  Qing Nie},
  title        = {A comparative runtime analysis of heuristic algorithms for satisfiability
                  problems},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {240--257},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.002},
  doi          = {10.1016/J.ARTINT.2008.11.002},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/ZhouHN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZuckermanPR09,
  author       = {Michael Zuckerman and
                  Ariel D. Procaccia and
                  Jeffrey S. Rosenschein},
  title        = {Algorithms for the coalitional manipulation problem},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {2},
  pages        = {392--412},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2008.11.005},
  doi          = {10.1016/J.ARTINT.2008.11.005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ZuckermanPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics