Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅ J.D.Ullman A.V.Gelder
Talks about:nail (2) algorithm (1) overview (1) subgoal (1) system (1) design (1) order (1)
Person: Katherine A. Morris
DBLP: Morris:Katherine_A=
Contributed to:
1988
1986Wrote 2 papers:
- PODS-1988-Morris #algorithm #exclamation
- An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.
- ICLP-1986-MorrisUG86 #design #exclamation #overview
- Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.