JAIR 1998

20 papers

A Selective Macro-Learning Algorithm and Its Application to the NxN Sliding-Tile Puzzle Lev Finkelstein, Shaul Markovitch

A Temporal Description Logic for Reasoning About Actions and Plans Alessandro Artale, Enrico Franconi

Adaptive Parallel Iterative Deepening Search Diane J. Cook, R. Craig Varnell

An Empirical Approach to Temporal Reference Resolution Janyce Wiebe, Thomas P. O'Hara, Thorsten Öhrström-Sandgren, Kenneth J. McKeever

AntNet: Distributed Stigmergetic Control for Communications Networks Gianni Di Caro, Marco Dorigo

Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets Andrew W. Moore, Mary S. Lee

Complexity of Prioritized Default Logics Jussi Rintanen

Computational Aspects of Reordering Plans Christer Bäckström

Incremental Recompilation of Knowledge Goran Gogic, Christos H. Papadimitriou, Martha Sideri

Integrative Windowing Johannes Fürnkranz

Model-Based Diagnosis Using Structured System Descriptions Adnan Darwiche

Monotonicity and Persistence in Preferential Logics Joeri Engelfriet

Probabilistic Inference from Arbitrary Uncertainty Using Mixtures of Factorized Generalized Gaussians Alberto Ruiz, Pedro E. López-de-Teruel, M. Carmen Garrido

Synthesizing Customized Planners from Specifications Biplav Srivastava, Subbarao Kambhampati

The Ariadne's Clew Algorithm Emmanuel Mazer, Juan Manuel Ahuactzin, Pierre Bessière

The Automatic Inference of State Invariants in TIM Maria Fox, Derek Long

The Computational Complexity of Probabilistic Planning Michael L. Littman, Judy Goldsmith, Martin Mundhenk

The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference Oleg Ledeniov, Shaul Markovitch

The Gn, M Phase Transition Is Not Hard for the Hamiltonian Cycle Problem Basil Vandegriend, Joseph C. Culberson

Tractability of Theory Patching Shlomo Argamon-Engelson, Moshe Koppel