Volume 40 Masthead

Published: 2011-01-01

Articles

Non-Deterministic Policies in Markovian Decision Processes

M. Milani Fard, J. Pineau

1-24

PDF PS

A Logical Study of Partial Entailment

Y. Zhou, Y. Zhang

25-56

PDF PS

False-Name Manipulations in Weighted Voting Games

H. Aziz, Y. Bachrach, E. Elkind, M. Paterson

57-93

PDF PS

A Monte-Carlo AIXI Approximation

J. Veness, K.S. Ng, M. Hutter, W. Uther, D. Silver

95-142

PDF PS

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

C. Geist, U. Endriss

143-174

PDF PS

Second-Order Consistencies

C. Lecoutre, S. Cardon, J. Vion

175-219

PDF PS

A Probabilistic Approach for Maintaining Trust Based on Evidence

Y. Wang, C. Hang, M. P. Singh

221-267

PDF PS

Iterated Belief Change Due to Actions and Observations

A. Hunter, J. P. Delgrande

269-304

PS PDF

Multimode Control Attacks on Elections

P. Faliszewski, E. Hemaspaandra, L. A. Hemaspaandra

305-351

PDF PS

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

A. Atserias, J. K. Fichte, M. Thurley

353-373

PDF PS

Evaluating Temporal Graphs Built from Texts via Transitive Reduction

X. Tannier, P. Muller

375-413

PDF PS

On-line Planning and Scheduling: An Application to Controlling Modular Printers

W. Ruml, M. B. Do, R. Zhou, M. P.J. Fromherz

415-468

PDF PS

Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution

A. Rahman, V. Ng

469-521

PDF PS

Efficient Planning under Uncertainty with Macro-actions

R. He, E. Brunskill, N. Roy

523-570

PDF PS

Multiagent Learning in Large Anonymous Games

I. A. Kash, E. J. Friedman, J. Y. Halpern

571-598

PDF PS

Decidability and Undecidability Results for Propositional Schemata

V. Aravantinos, R. Caferra, N. Peltier

599-656

PDF PS

The Complexity of Integer Bound Propagation

L. Bordeaux, G. Katsirelos, N. Narodytska, M. Y. Vardi

657-676

PDF PS

Identifying Aspects for Web-Search Queries

F. Wu, J. Madhavan, A. Halevy

677-700

PDF PS

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

A. Cimatti, A. Griggio, R. Sebastiani

701-728

PDF PS

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference

W. Li, P. Poupart, P. van Beek

729-765

PDF PS

Scaling up Heuristic Planning with Relational Decision Trees

T. De la Rosa, S. Jimenez, R. Fuentetaja, D. Borrajo

767-813

PDF PS

Regression Conformal Prediction with Nearest Neighbours

H. Papadopoulos, V. Vovk, A. Gammerman

815-840

PDF PS