Journal of Artificial Intelligence Research (JAIR), Volume 29

Volume 29, 2007

• Nadia Creignou, Hervé Daudé, Uwe Egly:
  Phase Transition for Random Quantified XOR-Formulas. 1-18
  
• Noam Nisan, Amir Ronen:
  Computationally Feasible VCG Mechanisms. 19-47
  
• J. Christopher Beck:
  Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling. 49-77
  
• Constantin Orasan, Richard Evans:
  NP Animacy Identification for Anaphora Resolution. 79-103
  
• Mihai Surdeanu, Lluís Màrquez, Xavier Carreras, Pere Comas:
  Combination Strategies for Semantic Role Labeling. 105-151
  
• Pedro F. Felzenszwalb, David A. McAllester:
  The Generalized A* Architecture. 153-190
  
• Jinbo Huang, Adnan Darwiche:
  The Language of Search. 191-219
  
• Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini:
  On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. 221-267
  
• Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
  Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. 269-307
  
• Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling:
  Learning Symbolic Models of Stochastic Domains. 309-352
  
• Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
  Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. 353-389
  
• Radu Jurca, Boi Faltings:
  Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms. 391-419
  
• Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
  An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. 421-489