Get started
Author

Luke Simon

Observed names: L. Simon, Luke Evans Simon, Simon, Luke
OpenAlex ID: A5113490874
Co-Logic Programming: Extending Logic Programming with Coinduction
2007 · Luke Simon, Ajay Bansal, et al. · Lecture notes in computer science · 88
Coinductive Logic Programming
2006 · Luke Simon, Ajay Mallya, et al. · Lecture notes in computer science · 88
Coinductive Logic Programming and Its Applications
2007 · Gopal Gupta, Ajay Bansal, et al. · Springer eBooks · 78
USDL
2009 · Srividya Kona, Ajay Bansal, et al. · International Journal of Web Services Research · 36
A universal service-semantics description language
2005 · A. Bansal, S. Kona, et al. · European Conference on Web Services · 35
Extending logic programming with coinduction
2006 · Gopal Gupta, Luke Simon · 33
A Universal Service Description Language
2005 · L. Simon, Ajay Mallya, et al. · IEEE International Conference on Web Services (ICWS) · 18
Towards a Universal Service Description Language
2006 · L. Simon, A. Bansal, et al. · International Conference on Next Generation Web Services Practices · 4
Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
2006 · Luke Simon, Ajay Mallya, et al. · Lecture notes in computer science · 3
Optimizing Pointer Analysis Using Bisimilarity
2009 · Luke Simon · Lecture notes in computer science · 2
US NDC Modernization: Service Oriented Architecture Proof of Concept
2014 · Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States), Benjamin Hamlet, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
PDF
USDL
2013 · Srividya Kona, Ajay Bansal, et al. · IGI Global eBooks
Verification and Planning Based on Coinductive Logic Programming
2008 · Ajay Bansal, Richard Min, et al. · Formal Methods
Works count: 16
Citation count: 385
H-index: 7
I10-index: 7
Year
Topic
Type