| Coinductive logic programming L Simon, A Mallya, A Bansal, G Gupta Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 141 | 2006 |
| Co-logic programming: Extending logic programming with coinduction L Simon, A Bansal, A Mallya, G Gupta Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007 | 132 | 2007 |
| Coinductive logic programming and its applications G Gupta, A Bansal, R Min, L Simon, A Mallya Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 131 | 2007 |
| Extending logic programming with coinduction LE Simon The University of Texas at Dallas, 2006 | 57 | 2006 |
| USDL: a service-semantics description language for automatic service discovery and composition S Kona, A Bansal, L Simon, A Mallya, G Gupta International Journal of Web Services Research (IJWSR) 6 (1), 20-48, 2009 | 46 | 2009 |
| A universal service-semantics description language A Bansal, S Kona, L Simon, A Mallya, G Gupta, TD Hite Third European Conference on Web Services (ECOWS'05), 12 pp., 2005 | 46 | 2005 |
| A universal service description language L Simon, A Mallya, A Bansal, G Gupta, TD Hite IEEE International Conference on Web Services (ICWS'05), 2005 | 26 | 2005 |
| Design and Implementation of: A Real-Time Action Description Language L Simon, A Mallya, G Gupta International Symposium on Logic-Based Program Synthesis and Transformation …, 2005 | 7 | 2005 |
| Towards a universal service description language L Simon, A Bansal, A Mallya, S Kona, G Gupta, TD Hite International Conference on Next Generation Web Services Practices, 175-180, 2005 | 6 | 2005 |
| Optimizing pointer analysis using bisimilarity L Simon Static Analysis, 222-237, 2009 | 4 | 2009 |
| A Service-Semantics Description Language for Automatic Service Discovery and Composition1 S Kona, A Bansal, L Simon | | 2012 |
| Verification and Planning Based on Coinductive Logic Programming R Min, A Mallya, L Simon, G Gupta, A Bansal | | 2008 |
| Verification and Planning Based on Coinductive Logic Programming A Bansal, R Min, L Simon, A Mallya, G Gupta Proceedings of the Sixth NASA Langley Formal Methods Workshop, 2008 | | 2008 |
| Logic, Infinite Computation, Coinduction, Real-time,…. G Gupta, N Saeedloei, B DeVries, K Marple, F Kluzniak, L Simon, ... | | |
| Coinductive Logic Programming and its Application to Planning and Model-Checking G Gupta, A Bansal, A Mallya, R Min, L Simon | | |
| Coinductive Logic Programming Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta Department of Computer Science University of Texas at Dallas, Richardson, TX 75080 Abstract We … L Simon | | |
| Programming with Proof Nets L Simon | | |
| Combining Traditional and Coinductive Logic Programming L Simon, A Mallya, A Bansal, G Gupta | | |
| oinducti e ogic# rogramming L Simon, A Mallya, A Bansal, G Gupta | | |
