Ajay Mallya

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. Int. J. Web Serv. Res. 6 (1) (2009)
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP (2007)
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
Coinductive Logic Programming and Its Applications. ICLP (2007)
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
Coinductive Logic Programming. ICLP (2006)
Luke Simon, Ajay Mallya, Gopal Gupta
: A Real-Time Action Description Language. LOPSTR (2005)
Ajay Mallya
Deductive Multi-valued Model Checking. ICLP (2005)
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite
A Universal Service Description Language. ICWS (2005)