JAIR Volume 29 (2007)
Toby Walsh, Editor in Chief
494 pp., references, index, illus., $85.00 softcover, ISBN 978-1-57735-353-9
[Add to Cart] [View Cart]
Contents
Phase Transition for Random Quantified XOR-Formulas / 1
N. Creignou, H. Daude, and U. Egly
Computationally Feasible VCG Mechanisms / 19
N. Nisan and A. Ronen
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling / 49
J. C. Beck
NP Animacy Identification for Anaphora Resolution / 79
C. Orasan and R. J. Evans
Combination Strategies for Semantic Role Labeling / 105
M. Surdeanu, L. Marquez, X. Carreras, and P. R. Comas
The Generalized A* Architecture / 153
P. F. Felzenszwalb and D. McAllester
The Language of Search / 191
J. Huang and A. Darwiche
On the Formal Semantics of Speech-Act Based Communication in an
Agent-Oriented Programming Language / 221
R. Vieira, A. F. Moreira, M. Wooldridge, and R. H. Bordini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach / 269
T. Di Noia, E. Di Sciascio, and F. M. Donini
Learning Symbolic Models of Stochastic Domains / 309
H. M. Pasula, L. S. Zettlemoyer, and L. P. Kaelbling
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms / 353
T. C. Son, E. Pontelli, and P. H. Tu
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms / 391
R. Jurca and B. Faltings
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities / 421
C. Pralet, G. Verfaillie, and T. Schiex
Index / 491