Volume 29 Masthead

Published: 2007-05-01

Articles

Phase Transition for Random Quantified XOR-Formulas

N. Creignou, H. Daude, U. Egly

1-18

PDF PS

Computationally Feasible VCG Mechanisms

N. Nisan, A. Ronen

19-47

PDF PS

Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling

J. C. Beck

49-77

PDF PS

NP Animacy Identification for Anaphora Resolution

C. Orasan, R. J. Evans

79-103

PDF PS

Combination Strategies for Semantic Role Labeling

M. Surdeanu, L. Marquez, X. Carreras, P. R. Comas

105-151

PDF PS

The Generalized A* Architecture

P. F. Felzenszwalb, D. McAllester

153-190

PDF PS

The Language of Search

J. Huang, A. Darwiche

191-219

PDF PS

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

R. Vieira, A. F. Moreira, M. Wooldridge, R. H. Bordini

221-267

PDF PS

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

T. Di Noia, E. Di Sciascio, F. M. Donini

269-307

PDF PS

Learning Symbolic Models of Stochastic Domains

H. M. Pasula, L. S. Zettlemoyer, L. P. Kaelbling

309-352

PDF PS

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

T. C. Son, E. Pontelli, P. H. Tu

353-389

PDF PS

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms

R. Jurca, B. Faltings

391-419

PDF PS

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities

C. Pralet, G. Verfaillie, T. Schiex

421-489

PDF PS