Kinjal Basu

According to our database, Kinjal Basu authored at least 23 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs.

Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras

CoRR, 2024

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs.

Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2024

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning.

Kinjal Basu, Keerthiram Murugesan, Subhajit Chaudhury, Murray Campbell, Kartik Talamadupula, Tim Klinger

Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024

2023

Logic-Based Explainable and Incremental Machine Learning.

Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog: Past, Present, and Future.

Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Formally Specifying the High-Level Behavior of LLM-Based Agents.

Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis A. Lastras

CoRR, 2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

An ASP-based Approach to Answering Natural Language Questions for Texts.

Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta

Theory Pract. Log. Program., 2022

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

Tutorial: Automating Commonsense Reasoning.

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.

Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic".

Kinjal Basu

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot.

Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta

CoRR, 2021

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.

Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.

Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning.

Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Natural Language Question Answering with Goal-directed Answer Set Programming.

Kinjal Basu, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Knowledge-driven Natural Language Understanding of English Text and its Applications.

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

SQuARE: Semantics-based Question Answering and Reasoning Engine.

Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

AQuA: ASP-Based Visual Question Answering.

Kinjal Basu, Farhad Shakerin, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

Conversational AI : Open Domain Question Answering and Commonsense Reasoning.

Kinjal Basu

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019