Volume 174, Number 1, January 2010

• 
  Javier Farreres, Karina Gibert, Horacio Rodríguez, Charnyote Pluempitiwiriyawej: Inference of lexical ontologies. The LeOnI methodology. 1-19
• 
  Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge: Solving coalitional resource games. 20-50
• 
  Timothy J. Norman, Chris Reed: A logic of delegation. 51-71
• 
  John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian: An AGM-style belief revision mechanism for probabilistic spatio-temporal logics. 72-104
• 
  Georg Gottlob, Reinhard Pichler, Fang Wei: Bounded treewidth as a key to tractability of knowledge representation and reasoning. 105-132

Volume 174, Number 2, February 2010

Editorial

• 
  Randy Goebel, Mary-Anne Williams: The expanding breadth of artificial intelligence research. 133

Book Review

• 
  Salem Benferhat: A book review on Elements of Argumentation. 134-139
• 
  Carles Sierra: Eric R. Kandel, In Search of Memory: The Emergence of a New Science of Mind , W.W. Norton (2006) 352 pp. 140-142
• 
  Thomas Roth-Berghofer: A review of the textbook Graph-based Knowledge Representation. 143-144
• 
  Kevin P. Murphy: Review of "Probabilistic graphical models" by Koller and Friedman. 145-146
• 
  Yang Xiang: A. Darwiche, Modeling and Reasoning with Bayesian Networks , Cambridge (2009). 147-151
• 
  Michael L. Anderson: Rolf Pfeifer and Josh Bongard, How the Body Shapes the Way We Think: A New View of Intelligence A Bradford Book , MIT Press (2007) ISBN 978-0-262-16239-5 394 pp. 152-154
• 
  R. G. Goebel: William J. Raynor Jr., International Dictionary of Artificial Intelligence (2nd edition), Global Professional Publishing (2009) ISBN 978-0-85297-657-9 242 pp. 155

Field Reviews

• 
  Jim Hendler, Tim Berners-Lee: From the Semantic Web to social machines: A research challenge for AI on the World Wide Web. 156-161
• 
  Mingsheng Ying: Quantum computation, quantum theory and AI. 162-176

The Turing Tapes: Comments and Controversies in AI

• 
  Salem Benferhat: Interventions and belief change in possibilistic graphical models. 177-189
• 
  Hai Zhuge: Interactive semantics. 190-204
• 
  Bruce L. McNaughton: Cortical hierarchies, sleep, and the extraction of knowledge from memory. 205-214
• 
  Shun-Zheng Yu: Hidden semi-Markov models. 215-243

Volume 174, Numbers 3-4, March 2010

• 
  Blai Bonet: Conformant plans and beyond: Principles and complexity. 245-269
• 
  Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. 270-294
• 
  Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski: Logic programs with abstract constraint atoms: The role of computations. 295-315
• 
  Piergiorgio Bertoli, Marco Pistore, Paolo Traverso: Automated composition of Web services via planning in asynchronous domains. 316-361

Volume 174, Numbers 5-6, April 2010

• 
  Mingyu Guo, Vincent Conitzer: Optimal-in-expectation redistribution mechanisms. 363-381
• 
  Gianluigi Greco, Francesco Scarcello: On the power of structural decompositions of graph-based representations of constraint problems. 382-409
• 
  Cesar García-Osorio, Aida de Haro-García, Nicolás García-Pedrajas: Democratic instance selection: A linear complexity instance selection algorithm based on classifier ensemble concepts. 410-441
• 
  Binghui Liu, Jianhua Guo, Bing-Yi Jing: A note on minimal d-separation trees for structural learning. 442-448

Volume 174, Numbers 7-8, May 2010

• 
  Martin C. Cooper, Simon de Givry, M. Sanchez, Thomas Schiex, Matthias Zytnicki, T. Werner: Soft arc consistency revisited. 449-478
• 
  Thierry Denoeux, Zoulficar Younes, Fahed Abdallah: Representing uncertainty on set-valued variables using belief functions. 479-499
• 
  Michele Lombardi, Michela Milano: Allocation and scheduling of Conditional Task Graphs. 500-529
• 
  David Gianazza: Forecasting workload and airspace configuration with neural networks and tree search methods. 530-549

Volume 174, Numbers 9-10, June 2010

• 
  Sung-Soon Choi, Jeong Han Kim: Optimal query complexity bounds for finding graphs. 551-569
• 
  Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. 570-584
• 
  Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall: Information loss in knowledge compilation: A comparison of Boolean envelopes. 585-596
• 
  Yuhua Qian, Jiye Liang, Witold Pedrycz, Chuangyin Dang: Positive approximation: An accelerator for attribute reduction in rough set theory. 597-618
• 
  Mausam, Stephen Soderland, Oren Etzioni, Daniel S. Weld, Kobi Reiter, Michael Skinner, Marcus Sammer, Jeff Bilmes: Panlingual lexical translation via probabilistic inference. 619-637

Volume 174, Number 11, July 2010

• 
  Loizos Michael: Partial observability and learnability. 639-669
• 
  Paolo Ciancarini, Gian Piero Favini: Monte Carlo tree search in Kriegspiel. 670-684
• 
  Frédéric Koriche, Bruno Zanuttini: Learning conditional preference networks. 685-703
• 
  Mohan Sridharan, Jeremy L. Wyatt, Richard Dearden: Planning to see: A hierarchical approach to planning visual actions on a robot using POMDPs. 704-725
• 
  Doug Downey, Oren Etzioni, Stephen Soderland: Analysis of a probabilistic model of redundancy in unsupervised information extraction. 726-748
• 
  Pingzhong Tang, Yoav Shoham, Fangzhen Lin: Designing competitions between teams of individuals. 749-766

Volume 174, Numbers 12-13, August 2010

• 
  Michael Katz, Carmel Domshlak: Optimal admissible composition of abstraction heuristics. 767-798
• 
  Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: A forgetting-based approach. 799-823
• 
  Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Disjunctive merging: Quota and Gmin merging operators. 824-849
• 
  Christine Solnon: AllDifferent-based filtering for subgraph isomorphism. 850-864
• 
  Ryan F. Kelly, Adrian R. Pearce: Property persistence in the situation calculus. 865-888
• 
  Peter A. Thwaites, Jim Q. Smith, Eva Riccomagno: Causal analysis with Chain Event Graphs. 889-909
• 
  Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock: Automatically generating personalized user interfaces with Supple. 910-950
• 
  Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying: Reasoning about cardinal directions between extended objects. 951-983
• 
  Ole J. Mengshoel: Understanding the scalability of Bayesian network inference using clique tree growth curves. 984-1006

Volume 174, Number 14, September 2010

• 
  Anthony Hunter, Sébastien Konieczny: On the measure of conflicts: Shapley Inconsistency Values. 1007-1026
• 
  John A. Bateman, Joana Hois, Robert J. Ross, Thora Tenbrink: A linguistic ontology of space for natural language processing. 1027-1071
• 
  Sandra Zilles, Robert C. Holte: The computational complexity of avoiding spurious states in state space abstraction. 1072-1092

Volume 174, Number 15, October 2010

• 
  Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Logic-based ontology comparison and module extraction, with an application to DL-Lite. 1093-1141
• 
  James Pita, Manish Jain, Milind Tambe, Fernando Ordóñez, Sarit Kraus: Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition. 1142-1171
• 
  Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Updating action domain descriptions. 1172-1221
• 
  Joel Uckelman, Ulle Endriss: Compactly representing utility functions using weighted goals and the max aggregator. 1222-1246
• 
  Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection for simple default theories. 1247-1253
• 
  Mario Graff, Riccardo Poli: Practical performance models of algorithms in evolutionary program induction and other domains. 1254-1276
• 
  Jinbo Huang: Extended clause learning. 1277-1284

Volume 174, Numbers 16-17, November 2010

• 
  Miroslaw Truszczynski: Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. 1285-1306
• 
  Dongmo Zhang: A logic-based axiomatic model of bargaining. 1307-1322
• 
  Dana S. Nau, Mitja Lustrek, Austin Parker, Ivan Bratko, Matjaz Gams: When is it better not to look ahead? 1323-1338
• 
  Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose: Double preference relations for generalised belief change. 1339-1368
• 
  Ivan Serina: Kernel functions for case-based planning. 1369-1406
• 
  Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie: Implementing logical connectives in constraint programming. 1407-1429

Volume 174, Number 18, December 2010

• 
  Erik Sandewall: Defeasible inheritance with doubt index and its axiomatic characterization. 1431-1459
• 
  Ya'akov Gal, Barbara J. Grosz, Sarit Kraus, Avi Pfeffer, Stuart M. Shieber: Agent decision-making in open mixed networks. 1460-1480
• 
  Rui Abreu, Arjan J. C. van Gemund: Diagnosing multiple intermittent failures using maximum likelihood estimation. 1481-1497
• 
  Diedrich Wolter, J. H. Lee: Qualitative reasoning with directional relations. 1498-1507
• 
  José Hernández-Orallo, David L. Dowe: Measuring universal intelligence: Towards an anytime intelligence test. 1508-1539
• 
  Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei Li: Learning complex action models with quantifiers and logical implications. 1540-1569
• 
  Zhi-Hua Zhou, Jianxin Wu, Wei Tang: Corrigendum to "Ensembling neural networks: Many could be better than all" [Artificial Intelligence 137 (1-2) (2002) 239-263]. 1570