`Travelled to:`

1 × Poland

1 × Portugal

1 × Spain

1 × USA

1 × United Kingdom

`Collaborated with:`

L.Simon G.Gupta A.Bansal ∅ R.Min

`Talks about:`

program (4) logic (4) coinduct (3) implement (1) descript (1) languag (1) extend (1) design (1) deduct (1) applic (1)

## Person: Ajay Mallya

### DBLP: Mallya:Ajay

### Contributed to:

### Wrote 5 papers:

- ICALP-2007-SimonBMG #induction #logic programming
- Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
- ICLP-2007-GuptaBMSM #induction #logic programming
- Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
- ICLP-2006-SimonMBG #induction #logic programming
- Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.
- ICLP-2005-Mallya #deduction #model checking #multi
- Deductive Multi-valued Model Checking (AM), pp. 297–310.
- LOPSTR-2005-SimonMG #design #implementation #realtime
- Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.