A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. - John O. Everett (IJCAI, 1995)

Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection. - John O. Everett; Kenneth D. Forbus (AAAI/IAAI, Vol. 1, 1996)

Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning. - John O. Everett (Artif. Intell., 1999)

Preventing existence. - Cleo Condoravdi; Dick Crouch; John O. Everett; Valeria de Paiva; Reinhard Stolle; Daniel G. Bobrow; Martin van den Berg (FOIS, 2001)

Making ontologies work for resolving redundancies across documents. - John O. Everett; Daniel G. Bobrow; Reinhard Stolle; Richard S. Crouch; Valeria de Paiva; Cleo Condoravdi; Martin van den Berg; Livia Polanyi (Commun. ACM, 2002)

POLESTAR: collaborative knowledge management and sensemaking tools for intelligence analysts. - Nicholas J. Pioch; John O. Everett (CIKM, 2006)