`Travelled to:`

1 × Belgium

2 × Portugal

`Collaborated with:`

G.Gupta A.Bansal K.Marple L.Simon A.Mallya

`Talks about:`

program (3) coinduct (2) logic (2) execut (1) direct (1) applic (1) answer (1) negat (1) goal (1) set (1)

## Person: Richard Min

### DBLP: Min:Richard

### Contributed to:

### Wrote 3 papers:

- PPDP-2012-MarpleBMG #execution #set #source code
- Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
- LOPSTR-2009-MinG #induction #logic programming
- Coinductive Logic Programming with Negation (RM, GG), pp. 97–112.
- ICLP-2007-GuptaBMSM #induction #logic programming
- Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.