Gopal Gupta

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 34

Top Topics

Natural Language Understanding

Convolutional Neural Networks

Answer Set Programming

Conversational Agents

Top Venues

Theory Pract. Log. Program.

Publications

Huaduo Wang, Gopal Gupta
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL (2024)
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
A Neurosymbolic Framework for Bias Correction in CNNs. CoRR (2024)
Parth Padalkar, Huaduo Wang, Gopal Gupta
NeSyFOLD: A Framework for Interpretable Image Classification. AAAI (2024)
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Generation with Answer Set Programming. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR (2024)
Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. CoRR (2024)
Parth Padalkar, Huaduo Wang, Gopal Gupta
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL (2024)
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. PADL (2024)
Huaduo Wang, Gopal Gupta
Superfast Selection for Decision Tree Algorithms. CoRR (2024)
Elmer Salazar, Gopal Gupta
Proof-Theoretic Foundations of Normal Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. CoRR (2023)
Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. CoRR (2023)
Parth Padalkar, Gopal Gupta
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. CoRR (2023)
Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. CoRR (2023)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. Theory Pract. Log. Program. 23 (4) (2023)
Parth Padalkar, Huaduo Wang, Gopal Gupta
NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. ICLP Workshops (2023)
Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
Counterfactual Explanation Generation with s(CASP). CoRR (2023)
Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta
Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. ICLP Workshops (2023)
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
Parth Padalkar, Huaduo Wang, Gopal Gupta
NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks. CoRR (2023)
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL (2023)
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
Tutorial: Automating Commonsense Reasoning. ICLP Workshops (2022)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Huaduo Wang, Gopal Gupta
FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank. CoRR (2022)
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. CoRR (2022)
Pawan Saxena, Sanjay K. Singh, Gopal Gupta
Teaching Complex Software Engineering Concepts through Analogies. FIE (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. 22 (5) (2022)
Huaduo Wang, Farhad Shakerin, Gopal Gupta
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. Theory Pract. Log. Program. 22 (5) (2022)
Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta
An ASP-based Approach to Answering Natural Language Questions for Texts. Theory Pract. Log. Program. 22 (3) (2022)
Huaduo Wang, Gopal Gupta
FOLD-SE: Scalable Explainable AI. CoRR (2022)
Huaduo Wang, Gopal Gupta
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. FLOPS (2022)
Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. ICLP Workshops (2022)
Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
A virtual sleep laboratory. mHealthSys@SenSys (2011)
Savio Monteiro, Gopal Gupta, Mehrdad Nourani, Lakshman Tamil
HygeiaTel: an intelligent telemedicine system with cognitive support. mHealthSys@SenSys (2011)
Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) (2003)