Abhiramon Rajasekharan

dblp:313/1156 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2026
0009-0000-9620-7679ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021
YearPublicationVenuePosition
2026 REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback
Abhiramon Rajasekharan, Gopal Gupta 0001
PADL1
2024 Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu 0002, Joaquín Arias, Gopal Gupta 0001
PADL2
2024 A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
abstract
Abstract The development of large language models (LLMs), such as GPT, has enabled the construction of several socialbots, like ChatGPT, that are receiving a lot of attention for their ability to simulate a human conversation. However, the conversation is not guided by a goal and is hard to control. In addition, because LLMs rely more on pattern recognition than deductive reasoning, they can give confusing answers and have difficulty integrating multiple topics into a cohesive response. These limitations often lead the LLM to deviate from the main topic to keep the conversation interesting. We propose AutoCompanion, a socialbot that uses an LLM model to translate natural language into predicates (and vice versa) and employs commonsense reasoning based on answer set programming (ASP) to hold a social conversation with a human. In particular, we rely on s(CASP), a goal-directed implementation of ASP as the backend. This paper presents the framework design and how an LLM is used to parse user messages and generate a response from the s(CASP) engine output. To validate our proposal, we describe (real) conversations in which the chatbot’s goal is to keep the user entertained by talking about movies and books, and s(CASP) ensures (i) correctness of answers, (ii) coherence (and precision) during the conversation—which it dynamically regulates to achieve its specific purpose—and (iii) no deviation from the main topic.
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu 0002, Huaduo Wang, Joaquín Arias, Gopal Gupta 0001
Theory Pract. Log. Program.2