BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
2 × United Kingdom
Collaborated with:
D.Poole J.You L.Yuan R.K.S.Lee K.Furukawa S.Ghosh
Talks about:
disjunct (2) prolog (2) multiprocess (1) paraconsist (1) introspect (1) constraint (1) framework (1) procedur (1) kowalski (1) diagnost (1)

Person: Randy Goebel

DBLP DBLP: Goebel:Randy

Contributed to:

JICSLP 19981998
ILPS 19951995
ICLP 19861986
SLP 19851985

Wrote 5 papers:

JICSLP-1998-YouYG #semantics
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure (JHY, LYY, RG), pp. 175–189.
ILPS-1995-YouGYG #framework #logic programming #source code
An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.
ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using
Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.
ICLP-1986-PooleG86 #prolog
Gracefully adding negation and disjunction to Prolog (DP, RG), pp. 635–641.
SLP-1985-LeeG85 #concurrent #multi #prolog
Concurrent Prolog in a Multiprocess Environment (RKSL, RG), pp. 100–109.

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.