JAIR - arXivDaily 期刊&会议

1401.3850 2014-01-17 cs.AI

A Model-Based Active Testing Approach to Sequential Diagnosis

Alexander Feldman, Gregory Provan, Arjan van Gemund

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 301-334, 2010

1401.3849 2014-01-17 cs.LO cs.AI

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Sebastian Rudolph, Birte Glimm

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 429-481, 2010

1401.3848 2014-01-17 cs.AI

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Alexander Feldman, Gregory Provan, Arjan van Gemund

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 371-413, 2010

1401.3847 2014-01-17 cs.AI

Automatic Induction of Bellman-Error Features for Probabilistic Planning

Jia-Hong Wu, Robert Givan

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 687-755, 2010

1401.3846 2014-01-17 cs.AI

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter James Stuckey, Vitaly Lagoon

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 307-338, 2010

1401.3845 2014-01-17 cs.MA cs.AI

Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

Jianhui Wu, Edmund H. Durfee

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 415-473, 2010

1401.3844 2014-01-17 cs.GT cs.AI

Multiattribute Auctions Based on Generalized Additive Independence

Yagil Engel, Michael P. Wellman

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 479-525, 2010

1401.3843 2014-01-17 cs.CG cs.AI

Theta*: Any-Angle Path Planning on Grids

Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 533-579, 2010

1401.3842 2014-01-17 cs.AI

Developing Approaches for Solving a Telecommunications Feature Subscription Problem

David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 271-305, 2010

1401.3841 2014-01-17 cs.AI

Narrative Planning: Balancing Plot and Character

Mark Owen Riedl, Robert Michael Young

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 217-268, 2010

1401.3840 2014-01-17 cs.LO cs.AI

Grounding FO and FO(ID) with Bounds

Johan Wittocx, Maarten Mariën, Marc Denecker

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 223-269, 2010

1401.3839 2014-01-17 cs.AI

The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks

Silvia Richter, Matthias Westphal

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 127-177, 2010

1401.3838 2014-01-17 cs.AI

Change in Abstract Argumentation Frameworks: Adding an Argument

Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 49-84, 2010

1401.3837 2014-01-17 cs.GT

Mixed Strategies in Combinatorial Agency

Moshe Babaioff, Michal Feldman, Noam Nisan

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 339-369, 2010

1401.3835 2014-01-17 cs.AI

On Action Theory Change

Ivan José Varzinczak

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 189-246, 2010

1401.3834 2014-01-17 cs.GT

Mechanisms for Multi-Unit Auctions

Shahar Dobzinski, Noam Nisan

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 85-98, 2010

1401.3833 2014-01-17 cs.AI

Active Tuples-based Scheme for Bounding Posterior Beliefs

Bozhena Bidyuk, Rina Dechter, Emma Rollon

Journal ref Journal Of Artificial Intelligence Research, Volume 39, pages 335-371, 2010

1401.3832 2014-01-17 cs.CL cs.IR

Constructing Reference Sets from Unstructured, Ungrammatical Text

Matthew Michelson, Craig A. Knoblock

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 189-221, 2010

1401.3831 2014-01-17 cs.AI

An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs

Raghav Aras, Alain Dutech

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 329-396, 2010

1401.3830 2014-01-17 cs.AI

Interactive Cost Configuration Over Decision Diagrams

Henrik Reif Andersen, Tarik Hadzic, David Pisinger

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 99-139, 2010

1401.3829 2014-01-17 cs.GT cs.LG

RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel

Amy Greenwald, Seong Jae Lee, Victor Naroditskiy

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 513-546, 2009

1401.3827 2014-01-17 cs.AI

Efficient Planning under Uncertainty with Macro-actions

Ruijie He, Emma Brunskill, Nicholas Roy

Journal ref Journal Of Artificial Intelligence Research, Volume 40, pages 523-570, 2011

1401.3825 2014-01-17 cs.AI cs.LO

Reasoning About the Transfer of Control

Wiebe van der Hoek, Dirk Walther, Michael Wooldridge

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 437-477, 2010

1401.3494 2014-01-16 cs.GT

Approximate Strong Equilibrium in Job Scheduling Games

Michal Feldman, Tami Tamir

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 387-414, 2009

1401.3493 2014-01-16 cs.AI

Predicting the Performance of IDA* using Conditional Distributions

Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 41-83, 2010

1401.3492 2014-01-16 cs.AI

ParamILS: An Automatic Algorithm Configuration Framework

Frank Hutter, Thomas Stuetzle, Kevin Leyton-Brown, Holger H. Hoos

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 267-306, 2009

1401.3491 2014-01-16 cs.AI

Soft Goals Can Be Compiled Away

Emil Keyder, Hector Geffner

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 547-556, 2009

1401.3490 2014-01-16 cs.AI

BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm

William Yeoh, Ariel Felner, Sven Koenig

Journal ref Journal Of Artificial Intelligence Research, Volume 38, pages 85-133, 2010

1401.3489 2014-01-16 cs.AI

Join-Graph Propagation Algorithms

Robert Mateescu, Kalev Kask, Vibhav Gogate, Rina Dechter

Journal ref Journal Of Artificial Intelligence Research, Volume 37, pages 279-328, 2010

1401.3488 2014-01-16 cs.IR cs.CL cs.LG

Content Modeling Using Latent Permutations

Harr Chen, S. R. K. Branavan, Regina Barzilay, David R. Karger

Journal ref Journal Of Artificial Intelligence Research, Volume 36, pages 129-163, 2009