Travelled to:
1 × Denmark
Collaborated with:
Y.Sui K.Xu
Talks about:
program (1) logic (1) limit (1) horn (1)
Person: Shilong Ma
DBLP: Ma:Shilong
Contributed to:
Wrote 1 papers:
- ICLP-2002-MaSX #logic programming #source code
- The Limits of Horn Logic Programs (SM, YS, KX), p. 467.