Research |
Current and Past Projects
Goal-directed Answer Set Programming (ASP)
Description: Designed a goal-directed top-down execution method for executing Answer Set Programs using Co-inductive Logic Programming. Designed and implemented a goal-directed engine to execute propositional ASP programs atop our Co-LP engine.
Area of Study: Non-Monotonic reasoning, Logic Programming, Artificial Intelligence.
Co-inductive Logic Programming (Co-LP)
Description: Extended traditional Logic Programming with Coinduction for rational proofs. Designed and implemented a Co-inductive Logic Programming (Co-LP) engine. This work won the 10 year Test of Time award at International Conference on Logic Programming (ICLP) 2016.
Area of Study: Programming languages, Logic Programming, Coinduction.
Utility Prediction of Consumer Reviews
Description: The goal of this project is to analyze online consumer reviews of products, services, businesses, etc. for predicting their utility by classifying them based on their genuineness and usefulness.
Area of Study: Data Mining, Cyber data
Classifying Social media data based on Semantic annotations:
Description: The goal of this project is to classify social media data (such as videos, pictures, tweets, etc.) within a network or across networks into thematic categories based on semantic annotations for effective discovery and recommendations.
Area of Study: Data Mining, Social media data
Universal Service-Semantics Description Language (USDL)
Description: Designed and developed Universal Service-Semantics Description Language (USDL) to provide formal semantic description of Web services. This work won the Best Paper award at European Conference on Web Services (ECOWS) 2005.
Area of Study: Semantic Web Services, Software Engineering, Description Languages
Web service Discovery and Composition
Description: Designed and developed a Web service discovery and composition engine based on semantic description of Web services which was used at WS-Challenge 2006 in San Francisco, California and WS-Challenge 2007 in Tokyo, Japan.
Area of Study: Service-Oriented Computing, Constraint logic programming
Workflow composition of Service-Level Agreements
Description: Introduced a model and representations of Service-level Agreement (SLA) attributes appropriate to the service-centric software systems environment. Also, designed and evaluated a process for composing SLAs associated with a workflow of web services.
Area of Study: Software Engineering, Service-Oriented Computing
Journal Publications
- Srividya K Bansal, Ajay Bansal, “Experiences translating project-based Software Engineering courses into online courses”, Journal of Engineering Education Transformations (JEET) January 2016.
- Srividya K Bansal, Ajay Bansal, Odesma Dalrymple, “Outcome-based Education Model for Computer Science Education”, Journal of Engineering Education Transformations (JEET) Volume 28, Issue 2&3, January 2015, pp. 113-121.
- Srividya K Bansal, Ajay Bansal, Gopal Gupta, M.Brian Blake. “Generalized semantic Web service composition", Springer Journal of Service Oriented Computing and Applications (SOCA), Springer London, November 2014, pp. 1-23.
- M. Brian Blake, David Cummings, Ajay Bansal, Srividya Kona. “Workflow Composition of Service Level Agreements and Web Services”, Journal of Decision Support Systems (DSS), 53(1): 234-244, 2012.
- Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, and T.D. Hite. “USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition”, in Intl. Journal of Web Services Research (IJWSR), Vol. 6, No. 1, January - March 2009, pp. 20-48.
Book Chapters
- M. Brian Blake, Ajay Bansal, Srividya Kona Bansal, Steffen Bluel, Thomas Weise. “Web Services Challenge: Discovery and Composition of SemanticWeb Services”, in ”Semantic Services: Advancement through Evaluation”, Springer 2012, ISBN 978-3-642-28734-3.
- Srividya Kona Bansal, Ajay Bansal, Gopal Gupta. “Semantics-based Web Service Composition Engine”, in ”Semantic Services: Advancement through Evaluation”, Springer 2012, ISBN 978-3-642-28734-3.
- Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, T.D. Hite. “USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition", in “Innovations, Standards and Practices of Web Services: Emerging Research Topics”, IGI Global 2011, Chapter 2, ISBN 978-1613501047.
Conference Publications (Peer-reviewed)
- Avani Chandurkar, Ajay Bansal. “Information Retrieval from a Structured KnowledgeBase”, in Proceedings of Workshop on Semantic Data Integration at IEEE International Conference on Semantic Computing, Jan 2017, CA, USA.
- Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta. “Goal-directed execution of answer set programs” in Proceedings of Principles and Practice of Declarative Programming (PPDP), 2012:35-44.
- Srividya Bansal, Ajay Bansal. “Reputation-based Web service selection for Composition”, in IEEE World Congress on Services (SERVICES), July 2011.
- Srividya Bansal, Ajay Bansal. “Effective Web Service Selection for Composition using Centrality Measures”, in the International Conference on Information Society (i-Society), July, 2011.
- Ajay Bansal, Neda Saeedloei, Gopal Gupta. “Timed Planning”, in Proc. of the Twenty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2010.
- Srividya Kona, Ajay Bansal, M. Brian Blake. “Trust based Dynamic Web Service Composition using Social Network Analysis”, in Proc. of Business Applications of Social Network Analysis Workshop (BASNA), 2010 at IEEE 4th International Conference on Internet Multimedia Systems Architecture and Application (IMSAA).
- Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta. “Weaving Functional and Non-Functional attributes for Dynamic Web Service Composition”, in Proc. of 22nd Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE), 2010, pp. 247-252.
- Ajay Bansal, Richard Min, Gopal Gupta. “Goal-directed Execution of Answer Set Programs”, in Proc. of 9th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS), 2009.
- Srividya Kona, Ajay Bansal, M. Brian Blake, Steffen Bleul, Thomas Weise. “WSC-2009: A Quality of Service-Oriented Web Services Challenge” in Proc. of IEEE International Conference on Commerce and Enterprise Computing (CEC), 2009.
- Richard Min, Ajay Bansal, Gopal Gupta. “Towards Predicate Answer Set Programming via Coinductive Logic Programming”, in Proc. of 5th IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 2009.
- M. Brian Blake, Michael F. Nowlan, Ajay Bansal, Srividya Kona. “Annotating UDDI Registries to Support the Management of Composite Services”, in Proc. of 24th Annual ACM Symposium on Applied Computing (SAC), 2009.
- Ajay Bansal, M. Brian Blake, Srividya Kona, Micheal Jaeger, et al. “WSC-08: The Web Services Challenge”, in Proc. of IEEE International Conference on E-Technology, E-Commerce and E-Services (CEC/EEE), 2008.
- Ajay Bansal, Srividya Kona, Gopal Gupta, M. Brian Blake. “An Agent-based Approach for Composition of Semantic Web Services”, in 6th Intl. Workshop on Agent-based Computing for Enterprise Collaboration (ACEC) at WETICE 2008.
- Gopal Gupta, Ajay Bansal, Ajay Mallya, Richard Min, Luke Simon. “Verification and Planning based on Coinductive Logic Programming”, in The Sixth NASA Langley Formal Methods Workshop (LFM), 2008.
- Srividya Kona, Ajay Bansal, Gopal Gupta, M. Brian Blake. “Generalized Semantics-based Web Service Composition”, in IEEE International Conference on Web Services (ICWS), 2008 (16% Acceptance Rate).
- Srividya Kona, Ajay Bansal, Gopal Gupta, M. Brian Blake. “Towards a General Framework for Web Service Composition”, in Proc. of IEEE International Conference on Services Computing (SCC), 2008.
- Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, and Ajay Mallya. “Coinductive Logic Programming and its Applications”, in Proc. of International Conference on Logic Programming (ICLP), Sep. 2007.
- Luke Simon, Ajay Bansal, Ajay Mallya, and Gopal Gupta. “Co-Logic Programming: Extending Logic Programming with Coinduction”, in Proc. of International Colloquium on Automata, Languages and Programming (ICALP), July 2007.
- Srividya Kona, Ajay Bansal, and Gopal Gupta. “Automatic Composition of Semantic Web Services”, in Proc. of International Conference on Web Services (ICWS), July 2007 (18% Acceptance Rate).
- Srividya Kona, Ajay Bansal, Gopal Gupta, and T.D. Hite. “Semantics-based Web Service Composition engine” (Short Paper), in Proc. of Conference on E-Commerce Technology and Conf. on Enterprise Computing, E-Commerce and E-Service (CEC/EEE), July 2007.
- Luke Simon, Ajay Mallya, Ajay Bansal, and Gopal Gupta. “Coinductive Logic Programming”, in Proc. of International Conference on Logic Programming (ICLP) at Federated Logic Conference (FLoC), Aug. 2006.
- Luke Simon, Ajay Mallya, Ajay Bansal, and Gopal Gupta. “Combining Traditional and Coinductive Logic Programming”, in Proc. of International Workshop on Software Verification and Validation (SVV) at FLoC, Aug. 2006.
- Srividya Kona, Ajay Bansal, Gopal Gupta, and T.D. Hite. “Efficient Web Service Discovery and Composition using Constraint Logic Programming”, in Proc. of International Workshop on Applied Logic Programming Semantic Web and Services (ALPSWS), FLoC 2006.
- Srividya Kona, Ajay Bansal, Gopal Gupta, and T.D. Hite. “Web Service Discovery and Composition using USDL” (Short Paper), in Proc. of Conference on E-Commerce Technology and Conf. on Enterprise Computing, E-Commerce and E-Service (CEC/EEE), June 2006.
- Ajay Bansal, Srividya Kona, Luke Simon, Ajay Mallya, Gopal Gupta, and T.D. Hite. “Universal Service-Semantics Description Language”, in Proc. of European Conference On Web Services (ECOWS), Nov. 2005 (Received Best Paper Award).
- Ajay Bansal, Kunal Patel, Gopal Gupta, et al. “Towards Intelligent Services: A case Study in Chemical Emergency Response System”, in Proc. of International Conference on Web Services(ICWS), July 2005.
- Luke Simon, Ajay Bansal, Ajay Mallya, Srividya Kona, Gopal Gupta, and T.D.Hite. “Towards a Universal Service Description Language”, in Proc. of Next Generation Web Services Practices (NWeSP), Sep. 2005.
Technical Reports
- Ajay Bansal. “Towards Next Generation Logic Programming Systems”, Ph.D. dissertation, The University of Texas at Dallas, Dec. 2007.
- Srividya Kona, Ajay Bansal, Gopal Gupta, and T.D. Hite. “USDL: Formal definitions in OWL”, Internal Report UTDCS-23-07 http://www.cs.georgetown.edu/˜bansal/research/FormalDefns.pdf
- Ajay Bansal, Larry Pyeatt. “Monte Carlo Localization of Mobile Robots in Dynamic Environments”, Masters Thesis, Texas Tech University, Lubbock, May 2002.
- Ajay Bansal, Sanjeeva Reddy. “Design and Implementation of Network Conferencing in Multimedia Systems”, B.Tech Project, NIT (formerly REC), Warangal, India, May 1999.