Editorial Board
Defeasible inheritance on cyclic networks
Clause trees: a tool for understanding and implementing resolution in automated reasoning
Proving properties of continuous systems: qualitative simulation and temporal logic
How to progress a database
Map learning with uninterpreted sensors and effectors
The normative representation of quantified beliefs by belief functions
Non-Horn clause logic programming
Nonmonotonic reasoning, conditional objects and possibility theory
Default extensions: dealing with computer information
Higher-order Petri net models based on artificial neural networks
Reasoning about causality between distributed nonatomic events
The maximum length of prime implicates for instances of 3-SAT
Forthcoming papers
Author index—Volume 92 (1997)