JAIR - Volume 40 Table of Contents

  • About Us
  • Gifts
  • AITopics
  • AI Magazine
  • Conferences
  • Library
  • Membership
  • Publications
  • Symposia
  • Contact

JAIR Volume 40 (2011)

Shlomo Zilberstein, Editor in Chief
7 x 10, 848 pp., references, index, illus., $90.00 softcover, ISBN 978-1-57735-536-6
[Add to Cart] [View Cart]

Contents

Non-Deterministic Policies in Markovian Decision Processes / 1
M. Milani Fard, J. Pineau

A Logical Study of Partial Entailment / 25
Y. Zhou, Y. Zhang

False-Name Manipulations in Weighted Voting Games / 57
H. Aziz, Y. Bachrach, E. Elkind, M. Paterson

A Monte-Carlo AIXI Approximation / 95
J. Veness, K. S. Ng, M. Hutter, W. Uther, D. Silver

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects / 143
C. Geist, U. Endriss

Second-Order Consistencies / 175
C. Lecoutre, S. Cardon, J. Vion

A Probabilistic Approach for Maintaining Trust Based on Evidence / 221
Y. Wang, C.-W. Hang, M. P. Singh

Iterated Belief Change Due to Actions and Observations / 269
A. Hunter, J. P. Delgrande

Multimode Control Attacks on Elections / 305
P. Faliszewski, E. Hemaspaandra, L. A. Hemaspaandra

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution / 353
A. Atserias, J. K. Fichte, M. Thurley

Evaluating Temporal Graphs Built from Texts via Transitive Reduction / 375
X. Tannier, P. Muller

On-Line Planning and Scheduling: An Application to Controlling Modular Printers / 415
W. Ruml, M. B. Do, R. Zhou, M. P. J. Fromherz

Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution / 469
A. Rahman, V. Ng

Efficient Planning under Uncertainty with Macro-Actions / 523
R. He, E. Brunskill, N. Roy

Multiagent Learning in Large Anonymous Games / 571
I. A. Kash, E. J. Friedman, J. Y. Halpern

Decidability and Undecidability Results for Propositional Schemata / 599
V. Aravantinos, R. Caferra, N. Peltier

The Complexity of Integer Bound Propagation / 657
L. Bordeaux, G. Katsirelos, N. Narodytska, M. Y. Vardi

Identifying Aspects for Web-Search Queries / 677
F. Wu, J. Madhavan, A. Halevy

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories / 701
A. Cimatti, A. Griggio, R. Sebastiani

Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference / 729
W. Li, P. Poupart, P. van Beek

Scaling up Heuristic Planning with Relational Decision Trees / 767
T. de la Rosa, S. Jiménez, R. Fuentetaja, D. Borrajo

Regression Conformal Prediction with Nearest Neighbours / 815
H. Papadopoulos, V. Vovk, A. Gammerman

Index / 841

AAAI Press

Conference Reports

EAAI Symposium Reports

Fall Symposium Reports

Spring Symposium Reports

Workshop Reports

Press Books

Press Proceedings

Journals

For Authors

Permissions Requests

Other Links

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops

This site is protected by copyright and trademark laws under US and International law. All rights reserved. Copyright © 1995–2011 Association for the Advancement of Artificial Intelligence.
Your use of this site is subject to our Terms and Conditions and Privacy Policy | Home | About AAAI | Search | Contact AAAI
AAAI Conferences | AI Magazine | AITopics | Awards | Calendar | Digital Library | Jobs | Meetings | Membership | Press | Press Room | Publications | Resources | Symposia | Workshops