Ajay Mallya

According to our database, Ajay Mallya authored at least 7 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition.

Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite

Int. J. Web Serv. Res., 2009

2007

Coinductive Logic Programming and Its Applications.

Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya

Proceedings of the Logic Programming, 23rd International Conference, 2007

Co-Logic Programming: Extending Logic Programming with Coinduction.

Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

Coinductive Logic Programming.

Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Design and Implementation of A_T: A Real-Time Action Description Language.

Luke Simon, Ajay Mallya, Gopal Gupta

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Universal Service Description Language.

Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Deductive Multi-valued Model Checking.

Ajay Mallya

Proceedings of the Logic Programming, 21st International Conference, 2005