Volume 173, Number 1, January 2009

• 
  Andrew Coles, Maria Fox, Keith Halsey, Derek Long, Amanda Smith: Managing concurrency in temporal planning using planner-scheduler interaction. 1-44
• 
  Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. 45-79
• 
  Rui Prada, Ana Paiva: Teaming up humans with autonomous synthetic characters. 80-103
• 
  Enrique Miranda, Marco Zaffalon: Coherence graphs. 104-144
• 
  Kevin Gold, Marek W. Doniec, Christopher Crick, Brian Scassellati: Robotic vocabulary building using extension inference and implicit contrast. 145-166
• 
  Michael Freund: On the notion of concept II. 167-179
• 
  Dov Monderer, Moshe Tennenholtz: Strong mediated equilibrium. 180-195

Volume 173, Number 2, February 2009

• 
  James Fan, Ken Barker, Bruce W. Porter: Automatic interpretation of loosely encoded input. 197-220
• 
  Felix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham: Ranking games. 221-239
• 
  Yuren Zhou, Jun He, Qing Nie: A comparative runtime analysis of heuristic algorithms for satisfiability problems. 240-257
• 
  Steven Schockaert, Martine De Cock, Etienne E. Kerre: Spatial reasoning in a fuzzy region connection calculus. 258-298
• 
  Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh: Filtering algorithms for the multiset ordering constraint. 299-328
• 
  Hannah M. Dee, David C. Hogg: Navigational strategies in behaviour modelling. 329-342
• 
  Sylvain Bouveret, Michel Lemaître: Computing leximin-optimal solutions in constraint networks. 343-364
• 
  Yixin Chen, Ruoyun Huang, Zhao Xing, Weixiong Zhang: Long-distance mutual exclusion for planning. 365-391
• 
  Michael Zuckerman, Ariel D. Procaccia, Jeffrey S. Rosenschein: Algorithms for the coalitional manipulation problem. 392-412

Volume 173, Numbers 3-4, March 2009

• 
  Leila Amgoud, Henri Prade: Using arguments for making and explaining decisions. 413-436
• 
  Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V. S. Subrahmanian, David Peleg: Computing the fault tolerance of multi-agent deployment. 437-465
• 
  Tom Froese, Tom Ziemke: Enactive artificial intelligence: Investigating the systemic organization of life and mind. 466-500

Volume 173, Numbers 5-6, April 2009

• 
  Maria Fox, Sylvie Thiébaux: Advances in automated plan generation. 501-502
• 
  Malte Helmert: Concise finite-domain representations for PDDL planning tasks. 503-535
• 
  Mark Roberts, Adele E. Howe: Learning from planner performance. 536-561
• 
  J. Benton, Minh Binh Do, Subbarao Kambhampati: Anytime heuristic search for partial satisfaction planning. 562-592
• 
  Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A heuristic search approach to planning with temporally extended preferences. 593-618
• 
  Alfonso Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti, Yannis Dimopoulos: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. 619-668
• 
  Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: Task decomposition on abstract states, for planning under nondeterminism. 669-695
• 
  Maxim Likhachev, Anthony Stentz: Probabilistic planning with clear preferences on missing information. 696-721
• 
  Olivier Buffet, Douglas Aberdeen: The factored policy-gradient planner. 722-747
• 
  Scott Sanner, Craig Boutilier: Practical solution techniques for first-order MDPs. 748-788

Volume 173, Numbers 7-8, May 2009

• 
  François Portet, Ehud Reiter, Albert Gatt, Jim Hunter, Somayajulu Sripada, Yvonne Freer, Cindy Sykes: Automatic generation of textual summaries from neonatal intensive care data. 789-816
• 
  Liang-Chih Yu, Chung-Hsien Wu, Fong-Lin Jang: Psychiatric document retrieval using a discourse-aware model. 817-829
• 
  Thi V. Duong, Dinh Q. Phung, Hung Hai Bui, Svetha Venkatesh: Efficient duration and hierarchical modeling for human activity recognition. 830-856
• 
  Gianluca Baldassarre, Stefano Nolfi: Strengths and synergies of evolved and designed controllers: A study within collective robotics. 857-875
• 
  Adam I. Juda, David C. Parkes: An options-based solution to the sequential auction problem. 876-899

Volume 173, Numbers 9-10, June 2009

• 
  Sanjay Modgil: Reasoning about preferences in argumentation frameworks. 901-934
• 
  Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Peter McBurney: Dialogue games that agents play within a society. 935-981
• 
  Francesco Belardinelli, Alessio Lomuscio: Quantified epistemic logics for reasoning about knowledge in multi-agent systems. 982-1013
• 
  Raquel Ros, Josep Lluís Arcos, Ramon López de Mántaras, Manuela M. Veloso: A case-based approach for coordinated action selection in robot soccer. 1014-1039

Volume 173, Number 11, July 2009

• 
  Pingzhong Tang, Fangzhen Lin: Computer-aided proofs of Arrow's and other impossibility theorems. 1041-1053
• 
  Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. 1054-1078
• 
  Gilles Chabert, Luc Jaulin: Contractor programming. 1079-1100
• 
  Christopher W. Geib, Robert P. Goldman: A probabilistic plan recognition algorithm based on plan tree grammars. 1101-1132

Volume 173, Numbers 12-13, August 2009

• 
  Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein: The learnability of voting rules. 1133-1149
• 
  Erez Karpas, Solomon Eyal Shimony, Amos Beimel: Approximate belief updating in max-2-connected Bayes networks is NP-hard. 1150-1153
• 
  Daniel Kayser, Farid Nouioua: From the textual description of an accident to its causes. 1154-1193
• 
  Giacomo Bonanno: Rational choice and AGM belief revision. 1194-1203
• 
  Yuanlin Zhang, Satyanarayana Marisetti: Solving connected row convex constraints by variable elimination. 1204-1219

Volume 173, Number 14, September 2009

• 
  Raffay Hamid, Siddhartha Maddi, Amos Y. Johnson, Aaron F. Bobick, Irfan A. Essa, Charles Lee Isbell Jr.: A novel sequence representation for unsupervised analysis of human activities. 1221-1244
• 
  Aline Deruyver, Yann Hodé, Luc Brun: Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects. 1245-1265
• 
  Jean-François Paiement, Samy Bengio, Douglas Eck: Probabilistic models for melodic prediction. 1266-1274
• 
  Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. 1275-1309
• 
  Rüdiger Ebendt, Rolf Drechsler: Weighted A^* search - unifying view and application. 1310-1342
• 
  Yong Gao: Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability. 1343-1366

Volume 173, Number 15, October 2009

• 
  Konstantine Arkoudas, Selmer Bringsjord: Vivid: A framework for heterogeneous problem solving. 1367-1405
• 
  Philippe Besnard, Anthony Hunter, Stefan Woltran: Encoding deductive argumentation in quantified Boolean formulae. 1406-1423
• 
  Torsten Hahmann, Michael Winter, Michael Gruninger: Stonian p-ortholattices: A new approach to the mereotopology RT₀. 1424-1440
• 
  Itai Ashlagi, Dov Monderer, Moshe Tennenholtz: Two-terminal routing games with unknown active players. 1441-1455

Volume 173, Numbers 16-17, November 2009

• 
  Radu Marinescu, Rina Dechter: AND/OR Branch-and-Bound search for combinatorial optimization in graphical models. 1457-1491
• 
  Radu Marinescu, Rina Dechter: Memory intensive AND/OR search for combinatorial optimization in graphical models. 1492-1524
• 
  Yan Zhang, Yi Zhou: Knowledge forgetting: Properties and applications. 1525-1537

Volume 173, Number 18, December 2009

• 
  Jonathan Lawry, Yongchuan Tang: Uncertainty modelling for vague concepts: A prototype theory approach. 1539-1558
• 
  Paul E. Dunne: The computational complexity of ideal semantics. 1559-1591
• 
  Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Reasoning from last conflict(s) in constraint programming. 1592-1614
• 
  Matthew Klenk, Kenneth D. Forbus: Analogical model formulation for transfer learning in AP Physics. 1615-1638

last updated on Sat May 18 05:47:06 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page