JAIR 2008

58 papers

A Constraint Programming Approach for Solving a Queueing Control Problem Daria Terekhov, J. Christopher Beck

A General Theory of Additive State Space Abstractions Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Zahavi, Ariel Felner

A Multiagent Approach to Autonomous Intersection Management Kurt M. Dresner, Peter Stone

A Multiagent Reinforcement Learning Algorithm with Non-Linear Dynamics Sherief Abdallah, Victor R. Lesser

A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments Tinne De Laet, Joris De Schutter, Herman Bruyninckx

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability Lucas Bordeaux, Marco Cadoli, Toni Mancini

Adaptive Stochastic Resource Control: A Machine Learning Approach Balázs Csanád Csáji, László Monostori

An Ordinal Bargaining Solution with Fixed-Point Property Dongmo Zhang, Yan Zhang

Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning Laurent Miclet, Sabri Bayoudh, Arnaud Delhay

AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models Robert Mateescu, Rina Dechter, Radu Marinescu

Anytime Induction of Low-Cost, Low-Error Classifiers: A Sampling-Based Approach Saher Esmeir, Shaul Markovitch

Axiomatic Foundations for Ranking Systems Alon Altman, Moshe Tennenholtz

Communication-Based Decomposition Mechanisms for Decentralized MDPs Claudia V. Goldman, Shlomo Zilberstein

Completeness and Performance of the APO Algorithm Tal Grinshpoun, Amnon Meisels

Complexity of Strategic Behavior in Multi-Winner Elections Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar

Compositional Belief Update James P. Delgrande, Yi Jin, Francis Jeffry Pelletier

Computational Logic Foundations of KGP Agents Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni

Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

Cooperative Search with Concurrent Interactions Efrat Manisterski, David Sarne, Sarit Kraus

Creating Relational Data from Unstructured and Ungrammatical Data Sources Matthew Michelson, Craig A. Knoblock

CTL Model Update for System Modifications Yan Zhang, Yulin Ding

CUI Networks: A Graphical Representation for Conditional Utility Independence Yagil Engel, Michael P. Wellman

Dynamic Control in Real-Time Heuristic Search Vadim Bulitko, Mitja Lustrek, Jonathan Schaeffer, Yngvi Björnsson, Sverrir Sigmundarson

Efficiency and Envy-Freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity Sylvain Bouveret, Jérôme Lang

Exploiting Subgraph Structure in Multi-Robot Path Planning Malcolm R. K. Ryan

Extended RDF as a Semantic Foundation of Rule Markup Languages Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

First Order Decision Diagrams for Relational MDPs Chenggang Wang, Saket Joshi, Roni Khardon

Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction Jacob Eisenstein, Regina Barzilay, Randall Davis

Global Inference for Sentence Compression: An Integer Linear Programming Approach James Clarke, Mirella Lapata

Graphical Model Inference in Optimal Control of Stochastic Multi-Agent Systems Bart van den Broek, Wim Wiegerinck, Bert Kappen

ICE: An Expressive Iterative Combinatorial Exchange Benjamin Lubin, Adam I. Juda, Ruggiero Cavallo, Sébastien Lahaie, Jeffrey Shneidman, David C. Parkes

Latent Tree Models and Approximate Inference in Bayesian Networks Yi Wang, Nevin Lianwen Zhang, Tao Chen

Learning Partially Observable Deterministic Action Models Eyal Amir, Allen Chang

Learning to Reach Agreement in a Continuous Ultimatum Game Steven de Jong, Simon Uyttendaele, Karl Tuyls

Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati

M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems Adrian Petcu, Boi Faltings, David C. Parkes

MiniMaxSAT: An Efficient Weighted Max-SAT Solver Federico Heras, Javier Larrosa, Albert Oliveras

Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes Ya'akov Gal, Avi Pfeffer

New Islands of Tractability of Cost-Optimal Planning Michael Katz, Carmel Domshlak

On Similarities Between Inference in Game Theory and Machine Learning Iead Rezek, David S. Leslie, Steven Reece, Stephen J. Roberts, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings

On the Expressiveness of Levesque's Normal Form Yongmei Liu, Gerhard Lakemeyer

On the Qualitative Comparison of Decisions Having Positive and Negative Features Didier Dubois, Hélène Fargier, Jean-François Bonnefon

On the Use of Automatically Acquired Examples for All-Nouns Word Sense Disambiguation David Martínez, Oier Lopez de Lacalle, Eneko Agirre

On the Value of Correlation Itai Ashlagi, Dov Monderer, Moshe Tennenholtz

Online Planning Algorithms for POMDPs Stéphane Ross, Joelle Pineau, Sébastien Paquet, Brahim Chaib-draa

Optimal and Approximate Q-Value Functions for Decentralized POMDPs Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis

Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes Enrico H. Gerding, Rajdeep K. Dash, Andrew Byde, Nicholas R. Jennings

Planning with Durative Actions in Stochastic Domains Mausam, Daniel S. Weld

Qualitative System Identification from Imperfect Data George Macleod Coghill, Ashwin Srinivasan, Ross D. King

Refining the Execution of Abstract Actions with Learned Action Models Freek Stulp, Michael Beetz

SATzilla: Portfolio-Based Algorithm Selection for SAT Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown

Sound and Complete Inference Rules for SE-Consequence Ka-Shu Wong

Spectrum of Variable-Random Trees Fei Tony Liu, Kai Ming Ting, Yang Yu, Zhi-Hua Zhou

The Complexity of Planning Problems with Simple Causal Graphs Omer Giménez, Anders Jonsson

The Computational Complexity of Dominance and Consistency in CP-Nets Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson

The Latent Relation Mapping Engine: Algorithm and Experiments Peter D. Turney

The Ultrametric Constraint and Its Application to Phylogenetics Neil C. A. Moore, Patrick Prosser