Author-Title Index
Approximate Strong Equilibrium in Job Scheduling
Games, 387
Artale, A., 1
Barzilay, R., 129, 341
Bienvenu, M., 71
Branavan, S. R. K., 129
Volume 36, 2009
Lapata, M., 307
Lee, S. J., 513
Lee, W. S., 229
Leyton-Brown, K., 267
Motik, B., 165
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches, 341
Calvanese, D., 1
Chen, H., 129
Naroditskiy, V., 513
Chieu, H. L., 229
Naseem, T., 341
Content Modeling Using Latent Permutations, 129
Cross-lingual Annotation Projection for Semantic
Roles, 307
DL-Lite Family and Relations, The, 1
Domshlak, C., 415
Eisenstein, J., 341
Padó, S., 307
ParamILS: An Automatic Algorithm Configuration
Framework, 267
Prime Implicates and Prime Implicants: From
Propositional to Modal Logic, 71
Relaxed Survey Propagation for the Weighted Maximum Satisfiability Problem, 229
Role of Macros in Tractable Planning, The, 471
Feldman, M., 387
Friends or Foes? On Planning as Satisfiability and
Abstract CNF Encodings, 415
RoxyBot-06: Stochastic Prediction and Optimization
in TAC Travel, 513
Sabharwal, A., 415
Geffner, H., 547
Greenwald, A., 513
Hoffmann, J., 415
Hoos, H. H., 267
Horrocks, I., 165
Shearer, R., 165
Snyder, B., 341
Soft Goals Can Be Compiled Away, 547
Stützle, T., 267
Tamir, T., 387
Hutter, F., 267
Hypertableau Reasoning for Description Logics, 165
Jonsson, A., 471
Karger, D. R., 129
Keyder, E., 547
Kontchakov, R., 1
Zakharyaschev, M., 1