A Horn Clause Theory of Inheritance and Temporal Reasoning. - Stephen G. Pimentel; John L. Cuadrado (EPIA, 1989)

A Truth Maintenance System Based on Stable Models. - Stephen G. Pimentel; John L. Cuadrado (NACLP, 1989)

The Event Calculus and Consistency Maintenance. - Stephen G. Pimentel; John L. Cuadrado (IEA/AIE (Vol. 2), 1990)

Integrating Assumption-Based and Nonmonotonic Reasoning. - Stephen G. Pimentel; William L. Rodi (LPNMR, 1990)

A Nonmonotonic Assumption-Based TMS Using Stable Bases. - William L. Rodi; Stephen G. Pimentel (KR, 1991)

Belief Revision and Paraconsistency in a Logic Programming Framework. - Stephen G. Pimentel; William L. Rodi (LPNMR, 1991)

Robust Planning in Uncertain Environments. - Stephen G. Pimentel; Lawrence M. Brem (UAI, 1994)