Luke Simon
University of Texas at Dallas
10 Papers
104 Citations
Luke Simon is an academic researcher from University of Texas at Dallas. The author has contributed to research in topics: Logic programming & Horn clause. The author has an hindex of 7, co-authored 10 publications.
Chat about Author
Papers
Extending logic programming with coinduction
Gopal Gupta,Luke Simon +1 more
- 01 Jan 2006
TL;DR: The contribution of this dissertation is the extension of traditional logic programming with coinduction, by invoking the principle of duality on the declarative semantics ofTraditional logic programming and by developing an efficient top-down, goal-directed procedure based on the Principle of coinductions, for deciding inclusion of a logical statement in the greatest fixed-point model.
50
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition
TL;DR: An infrastructure using USDL (Universal Service-Semantics Description Language), a language for formally describing the semantics of Web services, which can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available Web Services, automated service composition, and other forms of automated service integration.
46
A universal service-semantics description language
Ajay Bansal,S. Kona,Luke Simon,Ajay Mallya,Gopal Gupta,T.D. Hite +5 more
- 14 Nov 2005
TL;DR: An infrastructure using USDL (universal service-semantics description language), a language for formally describing the semantics of Web-services, which can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available Web- services, automated service composition, and other forms of automated service integration.
38
A Universal Service Description Language
Luke Simon,Ajay Mallya,Ajay Bansal,Gopal Gupta,T.D. Hite +4 more
- 11 Jul 2005
TL;DR: This paper presents a markup language called USDL (Universal Service Description Language), for formally describing the semantics of Web-services, and presents a model for automating the development of semantic descriptions of services.
20
Design and Implementation of A T : a real-time action description language
Luke Simon,Ajay Mallya,Gopal Gupta +2 more
- 07 Sep 2005
TL;DR: In this article, the authors extend the action description language A with real-time clocks and constraints, and define the formal syntax and semantics of the extended language, and the use of logic programming as a means to an implementation of realtime A is discussed.
3