2007 |
6 | EE | Luke Simon,
Ajay Bansal,
Ajay Mallya,
Gopal Gupta:
Co-Logic Programming: Extending Logic Programming with Coinduction.
ICALP 2007: 472-483 |
5 | EE | Gopal Gupta,
Ajay Bansal,
Richard Min,
Luke Simon,
Ajay Mallya:
Coinductive Logic Programming and Its Applications.
ICLP 2007: 27-44 |
2006 |
4 | EE | Luke Simon,
Ajay Mallya,
Ajay Bansal,
Gopal Gupta:
Coinductive Logic Programming.
ICLP 2006: 330-345 |
2005 |
3 | EE | Ajay Bansal,
Srividya Kona,
Luke Simon,
Thomas D. Hite:
A Universal Service-Semantics Description Language.
ECOWS 2005: 214-225 |
2 | EE | Luke Simon,
Ajay Mallya,
Ajay Bansal,
Gopal Gupta,
Thomas D. Hite:
A Universal Service Description Language.
ICWS 2005: 823-824 |
1 | EE | Luke Simon,
Ajay Mallya,
Gopal Gupta:
Design and Implementation of AT: A Real-Time Action Description Language.
LOPSTR 2005: 44-60 |