Travelled to:
1 × France
1 × Japan
Collaborated with:
K.Inoue K.Satoh
Talks about:
circumscript (2) program (2) priorit (2) comput (1) compil (1) answer (1) logic (1) set (1)
Person: Toshiko Wakaki
DBLP: Wakaki:Toshiko
Contributed to:
Wrote 2 papers:
- ICLP-2004-WakakiI #compilation #programming #set
- Compiling Prioritized Circumscription into Answer Set Programming (TW, KI), pp. 356–370.
- ICLP-1995-WakakiS #logic programming
- Computing Prioritized Circumscription by Logic Programming (TW, KS), pp. 283–297.