JAIR 2010
46 papers
A Model-Based Active Testing Approach to Sequential Diagnosis
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund Best-First Heuristic Search for Multicore Machines
Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou Change in Abstract Argumentation Frameworks: Adding an Argument
Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex Cooperative Games with Overlapping Coalitions
Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis, Maria Polukarov, Nick R. Jennings Grounding FO and FO(ID) with Bounds
Johan Wittocx, Maarten Mariën, Marc Denecker Join-Graph Propagation Algorithms
Robert Mateescu, Kalev Kask, Vibhav Gogate, Rina Dechter Kalman Temporal Differences
Matthieu Geist, Olivier Pietquin Mixed Strategies in Combinatorial Agency
Moshe Babaioff, Michal Feldman, Noam Nisan Reasoning About the Transfer of Control
Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge Text Relatedness Based on a Word Thesaurus
George Tsatsaronis, Iraklis Varlamis, Michalis Vazirgiannis Theta*: Any-Angle Path Planning on Grids
Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner Using Local Alignments for Relation Recognition
Sophia Katrenko, Pieter W. Adriaans, Maarten van Someren