Travelled to:
1 × Spain
Collaborated with:
Z.Duan M.Koutny
Talks about:
program (1) tempor (1) semant (1) logic (1) frame (1)
Person: Xiaoxiao Yang
DBLP: Yang:Xiaoxiao
Contributed to:
Wrote 1 papers:
- ICLP-2005-DuanYK #logic programming #semantics #source code
- Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.