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: Goebel:Randy
Contributed to:
1998199519861985Wrote 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.