Ajay Mallya - Academia.edu (original) (raw)

Uploads

Papers by Ajay Mallya

Research paper thumbnail of USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition

International Journal of Web Services Research, 2009

For web-services to become practical, an infrastructure needs to be supported that allows users a... more For web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the web-services is available. In this paper we present an infrastructure using USDL (Universal Service-Semantics Description Language), a language for formally describing the semantics of

Research paper thumbnail of Coinductive logic programming and its applications

Logic Programming, 2010

Abstract. Coinduction has recently been introduced as a powerful tech-nique for reasoning about u... more Abstract. Coinduction has recently been introduced as a powerful tech-nique for reasoning about unfounded sets, unbounded structures, and interactive computations. Where induction corresponds to least fixed point semantics, coinduction corresponds to greatest fixed point seman-tics. ...

Research paper thumbnail of USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition

International Journal of Web Services Research, 2009

For web-services to become practical, an infrastructure needs to be supported that allows users a... more For web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the web-services is available. In this paper we present an infrastructure using USDL (Universal Service-Semantics Description Language), a language for formally describing the semantics of

Research paper thumbnail of Coinductive logic programming and its applications

Logic Programming, 2010

Abstract. Coinduction has recently been introduced as a powerful tech-nique for reasoning about u... more Abstract. Coinduction has recently been introduced as a powerful tech-nique for reasoning about unfounded sets, unbounded structures, and interactive computations. Where induction corresponds to least fixed point semantics, coinduction corresponds to greatest fixed point seman-tics. ...

Log In