JAIR 2006
45 papers
A Logic for Reasoning About Evidence
Joseph Y. Halpern, Riccardo Pucella Active Learning with Multiple Views
Ion Muslea, Steven Minton, Craig A. Knoblock Admissible and Restrained Revision
Richard Booth, Thomas Andreas Meyer Anytime Point-Based Approximations for Large POMDPs
Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun Breaking Instance-Independent Symmetries in Exact Graph Coloring
Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul Decision-Theoretic Planning with Non-Markovian Rewards
Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon Engineering Benchmarks for Planning: The Domains Used in the Deterministic Part of IPC-4
Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg Logical Hidden Markov Models
Kristian Kersting, Luc De Raedt, Tapani Raiko Multi-Issue Negotiation with Deadlines
S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings Multiple-Goal Heuristic Search
Dmitry Davidov, Shaul Markovitch Negotiating Socially Optimal Allocations of Resources
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni On Graphical Modeling of Preference and Importance
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony Planning Graph Heuristics for Belief Space Search
Daniel Bryce, Subbarao Kambhampati, David E. Smith