The Automatic Inference of State Invariants in TIM.
AntNet: Distributed Stigmergetic Control for Communications Networks.
A Temporal Description Logic for Reasoning about Actions and Plans.
Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians.
The Ariadne's Clew Algorithm.
An Empirical Approach to Temporal Reference Resolution.
Complexity of Prioritized Default Logics.
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference.
Adaptive Parallel Iterative Deepening Search.
Computational Aspects of Reordering Plans.
The Gn, m Phase Transition is Not Hard for the Hamiltonian Cycle Problem.
The Computational Complexity of Probabilistic Planning.