Travelled to:
2 × USA
Collaborated with:
W.L.Rodi J.L.Cuadrado
Talks about:
base (3) stabl (2) nonmonoton (1) mainten (1) assumpt (1) system (1) truth (1) model (1) use (1) tms (1)
Person: Stephen G. Pimentel
DBLP: Pimentel:Stephen_G=
Contributed to:
Wrote 2 papers:
- KR-1991-RodiP #using
- A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.
- NACLP-1989-PimentelC #maintenance #modelling
- A Truth Maintenance System Based on Stable Models (SGP, JLC), pp. 274–290.