Travelled to:1 × France
1 × Romania
1 × USA
1 × United Kingdom
Collaborated with:J.Harland H.K.Dam T.Lutovac D.J.Pym L.Padgham J.Thangarajah
Talks about:program (2) lygon (2) logic (2) goal (2) intuitionist (1) implement (1) procedur (1) overview (1) intellig (1) support (1)
Person: Michael Winikoff
DBLP: Winikoff:Michael
Contributed to:
2010
2002
2000
1995Wrote 5 papers:
- ICSM-2010-DamW #co-evolution #modelling #uml
- Supporting change propagation in UML models (HKD, MW), pp. 1–10.
- KR-2002-WinikoffPHT #declarative
- Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.
- CL-2000-HarlandLW #logic #multi #proving
- Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.
- ILPS-1995-HarlandPW #overview #perspective #programming
- Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.
- ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language
- Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.