BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pimentel:Stephen_G=

Contributed to:

KR 19911991
NACLP 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.