Coinductive logic programming L Simon, A Mallya, A Bansal, G Gupta Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 142 | 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 | 136 | 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 | 134 | 2007 |
Extending logic programming with coinduction LE Simon The University of Texas at Dallas, 2006 | 60 | 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 | 47 | 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 |
Understanding and Modeling Job Marketplace with Pretrained Language Models Y Zhu, L Wu, B Zhang, S Wang, Q Guo, L Hong, L Simon, J Li Proceedings of the 33rd ACM International Conference on Information and …, 2024 | 1 | 2024 |
Learning to Retrieve for Job Matching J Shen, Y Juan, S Zhang, P Liu, W Pu, S Vasudevan, Q Song, F Borisyuk, ... arXiv preprint arXiv:2402.13435, 2024 | 1 | 2024 |
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 | | |