Artificial Intelligence, Volume 173

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 update Fri May 24 16:13:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page