Volume 50 Masthead

Published: 2014-05-01

Articles

Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection

M. Zhang, X. Xiao, D. Xiong, Q. Liu

1-30

PDF PS

Knowledge Forgetting in Answer Set Programming

Y. Wang, Y. Zhang, Y. Zhou, M. Zhang

31-70

PDF PS

A Decision-Theoretic Model of Assistance

A. Fern, S. Natarajan, K. Judah, P. Tadepalli

71-104

PDF PS

Finding Optimal Solutions for Voting Game Design Problems

B. de Keijzer, T. B. Klos, Y. Zhang

105-140

PDF PS

Enhanced Partial Expansion A*

M. Goldenberg, A. Felner, R. Stern, G. Sharon, N. Sturtevant, R. C. Holte, J. Schaeffer

141-187

PDF PS

An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models

J. De Bock, G. de Cooman

189-233

PDF PS

Reconnection with the Ideal Tree: A New Approach to Real-Time Search

N. Rivera, L. Illanes, J. A. Baier, C. Hernandez

235-264

PDF PS

Property Directed Reachability for Automated Planning

M. Suda

265-319

PDF PS

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System

F.M. Delle Fave, A.X. Jiang, Z. Yin, C. Zhang, M. Tambe, S. Kraus, J. P. Sullivan

321-367

PDF PS

HC-Search: A Learning Framework for Search-based Structured Prediction

J.R. Doppa, A. Fern, P. Tadepalli

369-407

PDF

A Multivariate Complexity Analysis of Lobbying in Multiple Referenda

R. Bredereck, J. Chen, S. Hartung, S. Kratsch, R. Niedermeier, O. Suchy, G. J. Woeginger

409-446

PDF PS

Monotone Temporal Planning: Tractability, Extensions and Applications

M. Cooper, F. Maris, P. Régnier

447-485

PDF PS

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions

E. Keyder, J. Hoffmann, P. Haslum

487-533

PDF PS

Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems

D. Terekhov, T. T. Tran, D. G. Down, J.C. Beck

535-572

PDF PS.GZ

False-Name Manipulation in Weighted Voting Games is Hard for Probabilistic Polynomial Time

A. Rey, J. Rothe

573-601

PDF PS

Probabilistic Inference in Credal Networks: New Complexity Results

D. D. Maua, C. P. de Campos, A. Benavoli, A. Antonucci

603-637

PDF PS

Planning through Automatic Portfolio Configuration: The PbP Approach

A. Gerevini, A. Saetti, M. Vallati

639-696

PDF PS

MDD Propagation for Sequence Constraints

D. Bergman, A. A. Cire, W. van Hoeve

697-722

PDF PS

Sentiment Analysis of Short Informal Texts

S. Kiritchenko, X. Zhu, S. M. Mohammad

723-762

PDF PS

Policy Iteration Based on Stochastic Factorization

A. M. S. Barreto, J. Pineau, D. Precup

763-803

PDF PS

Speeding Up Iterative Ontology Alignment using Block-Coordinate Descent

U. Thayasivam, P. Doshi

805-845

PDF PS

Arbitration and Stability in Cooperative Games with Overlapping Coalitions

Y. Zick, E. Markakis, E. Elkind

847-884

PDF PS

Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives

A. Veit, Y. Xu, R. Zheng, N. Chakraborty, K. Sycara

885-922

PDF PS

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations

B. Bonet, H. Geffner

923-970

PDF PS