"Dynamic" Inferencing with Generalized Resolution. - Gordon Beavers; Hal Berghel (SAC, 1993)

Automated theorem proving for Lukasiewicz logics. - Gordon Beavers (Stud Logica, 1993)

Teams of agents. - Gordon Beavers; Henry Hexmoor (SMC, 2001)

Planning at the Intention Level. - Nicholas Lacey; Henry Hexmoor; Gordon Beavers (FLAIRS, 2002)

In Search of Simple and Responsible Agents. - Henry Hexmoor; Gordon Beavers (WRAC, 2002)

Types and Limits of Agent Autonomy. - Gordon Beavers; Henry Hexmoor (Agents and Computational Autonomy, 2003)

Understanding Agent Trust. - Gordon Beavers; Henry Hexmoor (IC-AI, 2003)

Automating File Schema Recognition Via Content-Based Oracles. - Reid A. Phillips; Patrick Benham; Wing Ning Li; Gordon Beavers; Craig W. Thompson (IKE, 2008)

A statistical and combinatorial approach to text file layout inference. - Reid A. Phillips; Patrick Benham; Wing-Ning Li; Gordon Beavers; Craig W. Thompson (J. Comput. Sci. Coll., 2008)