Travelled to:1 × Canada
1 × USA
Collaborated with:∅ F.Bacchus J.D.Tenenberg R.L.Bates D.Dyer
Talks about:tempor (2) constraint (1) interlisp (1) implement (1) propag (1) reifi (1) logic (1) local (1) vax (1) non (1)
Person: Johannes A. G. M. Koomen
DBLP: Koomen:Johannes_A=_G=_M=
Contributed to:
1989
1982Wrote 3 papers:
- KR-1989-BacchusTK #logic
- A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.
- KR-1989-Koomen #constraints
- Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.
- LFP-1982-BatesDK #implementation
- Implementation of Interlisp on the VAX (RLB, DD, JAGMK), pp. 81–87.