Functional dependencies in Horn theories
Linear-time algorithms for testing the realisability of line drawings of curved objects
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
Explanatory update theory: Applications of counterfactual reasoning to causation
Heterogeneous active agents, I: Semantics
Heterogeneous active agents, II: Algorithms and complexity
A foundational theory of belief and belief change