JAIR

Finding Consensus Bayesian Network Structures

Jose M. Peña

Comments Changes from v3 to v4: Section 1 has been extended with more motivation and a review of the literature. Theorem 3 proves that CONSENSUS is not only NP-hard but NP-complete. A flaw in Theorem 4 has been fixed. The proof of Theorem 5 has been re-written from scratch. Now, it is self-contained, i.e. it does not rely upon the algorithm by Chickering (2004)

Journal ref Journal of Artificial Intelligence Research, 42, 661-687, 2011

Lazy Model Expansion: Interleaving Grounding with Search

Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe

Journal ref Journal of Artificial Intelligence Research, feb 2015, volume 52, pages 235-286

Model-Based Diagnosis using Structured System Descriptions

A. Darwiche

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 8, (1998), 165-222

Bidirectional Heuristic Search Reconsidered

H. Kaindl, G. Kainz

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 7, (1997), 283-317

When Gravity Fails: Local Search Topology

J. Frank, P. Cheeseman, J. Stutz

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 7, (1997), 249-281

Dynamic Non-Bayesian Decision Making

D. Monderer, M. Tennenholtz

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 7, (1997), 231-248

Analysis of Three-Dimensional Protein Images

L. Leherte, J. Glasgow, K. Baxter, E. Steeg, S. Fortier

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 7, (1997), 125-159

Lifeworld Analysis

P. Agre, I. Horswill

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 6, (1997), 111-145

Characterizations of Decomposable Dependency Models

L. M. deCampos

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 289-300

Exploiting Causal Independence in Bayesian Network Inference

N. L. Zhang, D. Poole

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 301-328

MUSE CSP: An Extension to the Constraint Satisfaction Problem

R. A Helzerman, M. P. Harper

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 239-288

Learning First-Order Definitions of Functions

J. R. Quinlan

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 139-161

Mechanisms for Automated Negotiation in State Oriented Domains

G. Zlotkin, J. S. Rosenschein

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 5, (1996), 163-238

On Partially Controlled Multi-Agent Systems

R. I. Brafman, M. Tennenholtz

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 477-507

2Planning for Contingencies: A Decision-based Approach

L. Pryor, G. Collins

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 287-339

A Formal Framework for Speedup Learning from Problems and Solutions

P. Tadepalli, B. K. Natarajan

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 445-475

Reinforcement Learning: A Survey

L. P. Kaelbling, M. L. Littman, A. W. Moore

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 237-285

Least Generalizations and Greatest Specializations of Sets of Clauses

S. H. Nienhuys-Cheng, R. deWolf

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 341-363

Iterative Optimization and Simplification of Hierarchical Clusterings

D. Fisher

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 147-178

Practical Methods for Proving Termination of General Logic Programs

E. Marchiori

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 179-208

A Divergence Critic for Inductive Proof

T. Walsh

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 209-235

Active Learning with Statistical Models

D. A. Cohn, Z. Ghahramani, M. I. Jordan

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 4, (1996), 129-145

Rule-based Machine Learning Methods for Functional Prediction

S. M. Weiss, N. Indurkhya

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 383-403

Statistical Feature Combination for the Evaluation of Game Positions

M. Buro

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 373-382

Translating between Horn Representations and their Characteristic Models

R. Khardon

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 349-372

Decision-Theoretic Foundations for Causal Reasoning

D. Heckerman, R. Shachter

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 405-430

Generalization of Clauses under Implication

P. Idestam-Almquist

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 467-489

OPUS: An Efficient Admissible Algorithm for Unordered Search

G. I. Webb

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 431-465

Flexibly Instructable Agents

S. B. Huffman, J. E. Laird

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 271-324

Improving Connectionist Energy Minimization

G. Pinkas, R. Dechter

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 3, (1995), 223-248