| 2026 | FLOPS | Computing Supported Models via Transformation to Stable Models: A System Description. | Fang Li, Gopal Gupta |
| 2026 | FLOPS | Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications. | Alexis R. Tudor, Joaqun Arias, Gopal Gupta |
| 2026 | HCI | Logic Programming and Inherent Explainability for the Age of AI for the General Public. | Alexis R. Tudor, Gopal Gupta |
| 2026 | PADL | Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. | Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei |
| 2026 | PADL | REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback. | Abhiramon Rajasekharan, Gopal Gupta |
| 2025 | COLING | Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency. | Jaeseong Lee, Wei Yang, Gopal Gupta, Shiyi Wei |
| 2025 | NeSy | MC3G: Model Agnostic Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Sadaf Md. Halim, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2025 | PADL | C3G: Causally Constrained Counterfactual Generation. | Sopam Dasgupta, Farhad Shakerin, Joaqun Arias, Elmer Salazar, Gopal Gupta |
| 2025 | PADL | Automated Playing of Survival Video Games with Commonsense Reasoning. | Bryant Hargreaves, Dan N. Nguyen, Keegan Krimbell, Gopal Gupta |
| 2025 | PADL | Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. | Fang Li, Fei Zuo, Gopal Gupta |
| 2024 | AAAI | NeSyFOLD: A Framework for Interpretable Image Classification. | Parth Padalkar, Huaduo Wang, Gopal Gupta |
| 2024 | ICLP | Computational Thinking with Logic Programming. | Gopal Gupta, Elmer Salazar, Joaqun Arias |
| 2024 | ICLP | Causally Constrained Counterfactual Generation using ASP. | Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2024 | ICLP | Automated Playing of Survival Video Games with Commonsense Reasoning. | Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta |
| 2024 | ICLP | A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. | Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta |
| 2024 | ICLP | Autonomous Task Completion Based on Goal-directed Answer Set Programming. | Alexis R. Tudor, Gopal Gupta |
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2024 | ICLP | Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. | Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaqun Arias, Gopal Gupta |
| 2024 | PADL | Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. | Parth Padalkar, Huaduo Wang, Gopal Gupta |
| 2024 | PADL | FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. | Huaduo Wang, Gopal Gupta |
| 2024 | PADL | Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. | Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaqun Arias, Gopal Gupta |
| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2023 | ICLP | NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. | Parth Padalkar, Huaduo Wang, Gopal Gupta |
| 2023 | ICLP | Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. | Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta |
| 2023 | PADL | Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. | Zesheng Xu, Joaqun Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta |
| 2022 | FIE | Teaching Complex Software Engineering Concepts through Analogies. | Pawan Saxena, Sanjay Kumar Singh, Gopal Gupta |
| 2022 | FLOPS | FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. | Huaduo Wang, Gopal Gupta |
| 2022 | ICLP | Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. | Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaqun Arias, Parth Padalkar, Gopal Gupta |
| 2022 | ICLP | Tutorial: Automating Commonsense Reasoning. | Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaqun Arias, Farhad Shakerin, Fang Li, Huaduo Wang |
| 2022 | ICLP | LTL Model Checking using Coinductive Answer Set Programming. | Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2022 | PADL | Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. | Joaqun Arias, Manuel Carro, Gopal Gupta |
| 2022 | PADL | Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta |
| 2021 | AAAI | Knowledge-driven Natural Language Understanding of English Text and its Applications. | Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaqun Arias, Gopal Gupta |
| 2021 | ICLP | Natural Language Question Answering with Goal-directed Answer Set Programming. | Kinjal Basu, Gopal Gupta |
| 2021 | ICLP | Graph Based Answer Set Programming Solver Systems. | Fang Li, Elmer Salazar, Gopal Gupta |
| 2021 | ICLP | A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. | Joaqun Arias, Gopal Gupta, Manuel Carro |
| 2021 | ICLP | 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, Joaqun Arias, Brendan Hall, Kevin Driscoll |
| 2021 | ICLP | AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. | Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta |
| 2021 | ICLP | Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta |
| 2021 | ICLP | s(CASP) for SWI-Prolog. | Jan Wielemaker, Joaqun Arias, Gopal Gupta |
| 2020 | PADL | AQuA: ASP-Based Visual Question Answering. | Kinjal Basu, Farhad Shakerin, Gopal Gupta |
| 2020 | PADL | Whitebox Induction of Default Rules Using High-Utility Itemset Mining. | Farhad Shakerin, Gopal Gupta |
| 2019 | AAAI | Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. | Farhad Shakerin, Gopal Gupta |
| 2019 | LOPSTR | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. | Joaqun Arias, Zhuo Chen, Manuel Carro, Gopal Gupta |
| 2019 | LOPSTR | Synthesizing Imperative Code from Answer Set Programming Specifications. | Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta |
| 2019 | PADL | An ASP Based Approach to Answering Questions for Natural Language Text. | Dhruva Pendharkar, Gopal Gupta |
| 2018 | ICLP | Cumulative Scoring-Based Induction of Default Theories. | Farhad Shakerin, Gopal Gupta |
| 2018 | ILP | Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. | Farhad Shakerin, Gopal Gupta |
| 2017 | CADE | A Case for Query-driven Predicate Answer Set Programming. | Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin |
| 2012 | FLOPS | Coinductive Constraint Logic Programming. | Neda Saeedloei, Gopal Gupta |
| 2012 | LOPSTR | Galliwasp: A Goal-Directed Answer Set Solver. | Kyle Marple, Gopal Gupta |
| 2012 | PPDP | Goal-directed execution of answer set programs. | Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta |
| 2011 | CALCO | Infinite Computation, Co-induction and Computational Logic. | Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
| 2011 | SENSYS | HygeiaTel: an intelligent telemedicine system with cognitive support. | Savio Monteiro, Gopal Gupta, Mehrdad Nourani, Lakshman Tamil |
| 2011 | SENSYS | A virtual sleep laboratory. | Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil |
| 2010 | FlAIRS | Timed Planning. | Ajay Bansal, Neda Saeedloei, Gopal Gupta |
| 2010 | ICLP | Timed Definite Clause Omega-Grammars. | Neda Saeedloei, Gopal Gupta |
| 2010 | LATA | Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). | Neda Saeedloei, Gopal Gupta |
| 2010 | MOMM | Adaptive approach to fingerprint image enhancement. | Li Wang, Nandita Bhattacharjee, Gopal Gupta, Bala Srinivasan |
| 2010 | SEKE | Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. | Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta |
| 2009 | FlAIRS | Coinductive Logic Programming and its Application to Boolean SAT. | Richard Min, Gopal Gupta |
| 2009 | LOPSTR | Coinductive Logic Programming with Negation. | Richard Min, Gopal Gupta |
| 2009 | PLDI | ActionScript bytecode verification with co-logic programming. | Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar |
| 2008 | ICWS | Generalized Semantics-Based Service Composition. | Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta |
| 2008 | WETICE | An Agent-Based Approach for Composition of Semantic Web Services. | Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta |
| 2007 | HCI | Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. | Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer |
| 2007 | HCI | VoxBoox: A System for Automatic Generation of Interactive Talking Books. | Aanchal Jain, Gopal Gupta |
| 2007 | ICALP | Co-Logic Programming: Extending Logic Programming with Coinduction. | Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta |
| 2007 | ICLP | Coinductive Logic Programming and Its Applications. | Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
| 2007 | ICWS | Automatic Composition of SemanticWeb Services. | Srividya Kona, Ajay Bansal, Gopal Gupta |
| 2006 | ASSETS | VoxBoox: : a system for automatic generation of interactive talking books. | Aanchal Jain, Gopal Gupta |
| 2006 | ICLP | Coinductive Logic Programming. | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta |
| 2005 | ICDCIT | Software Engineering Track Chair's Message. | Gopal Gupta |
| 2005 | ICWS | Towards Intelligent Services: A Case Study in Chemical Emergency Response. | Ajay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves |
| 2005 | ICWS | A Universal Service Description Language. | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite |
| 2005 | LOPSTR | Design and Implementation of A | Luke Simon, Ajay Mallya, Gopal Gupta |
| 2005 | PADL | Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. | Qian Wang, Gopal Gupta, Michael Leuschel |
| 2005 | PPDP | Optimization with mode-directed preferences. | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu |
| 2005 | SAC | Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. | Qian Wang, Gopal Gupta |
| 2004 | ASSETS | UMA: a system for universal mathematics accessibility. | Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stger, Brian Palmer, Hai-Feng Guo |
| 2004 | CASES | Static program analysis of embedded executable assembly code. | Ramakrishnan Venkitaraman, Gopal Gupta |
| 2004 | ICCHP | Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. | Narayan Annamalai, Gopal Gupta, B. Prabhakaran |
| 2004 | ICCHP | Towards a Universal Maths Conversion Library. | Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli |
| 2004 | ICCHP | Listener-Controlled Dynamic Navigation of VoiceXML Documents. | Hemambaradara Reddy, Narayan Annamalai, Gopal Gupta |
| 2004 | ICDCIT | Framework for Safe Reuse of Software Binaries. | Ramakrishnan Venkitaraman, Gopal Gupta |
| 2004 | PADL | Simplifying Dynamic Programming via Tabling. | Hai-Feng Guo, Gopal Gupta |
| 2003 | EuroPar | A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2003 | HCI | INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. | Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer |
| 2003 | ICLP | A New Mode Declaration for Tabled Predicates. | Hai-Feng Guo, Gopal Gupta |
| 2003 | LOPSTR | Continuation Semantics as Horn Clauses. | Qian Wang, Gopal Gupta |
| 2002 | ASSETS | Navigation of HTML tables, frames, and XML fragments. | Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer |
| 2002 | ICCHP | Architecting an Auditory Browser for Navigating Mathematical Expressions. | Arthur I. Karshmer, Gopal Gupta, Douglas J. Gillan |
| 2002 | PADL | Semantics-Based Filtering: Logic Programming's Killer App? | Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
| 2001 | HCI | The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. | Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo |
| 2001 | ICLP | A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. | Hai-Feng Guo, Gopal Gupta |
| 2001 | ICLP | PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. | Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta |
| 2001 | ICPP | Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. | Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta |
| 2001 | PADL | Interoperability between Bioinformatics Tools: A Logic Programming Approach. | Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan |
| 2000 | ASSETS | A domain specific language framework for non-visual browsing of complex HTML structures. | Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer |
| 2000 | PADL | Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. | Gopal Gupta, Shameem F. Akhter |
| 1999 | HCI | Software technology and computer interfaces for the disabled: non-visual WWW browsing. | Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta |
| 1999 | ICLP | Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. | Gopal Gupta, Enrico Pontelli |
| 1999 | ICPP | Efficient Techniques for Distributed Implementation of Search-Based AI Systems. | Gopal Gupta, Enrico Pontelli |
| 1998 | AAAI | Natural Language Multiprocessing: A Case Study. | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
| 1998 | ASSETS | Reading and Writing Mathematics: the MAVIS Project. | Arthur I. Karshmer, Gopal Gupta, Sandy Geiger, Chris Weaver |
| 1998 | ICLP | Horn Logic Denotations. | Gopal Gupta |
| 1998 | ICLP | Natural Language Multiprocessing: A Case Study. | Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell |
| 1998 | ICPP | Automatic Generation of Provably Correct Parallelizing Compilers. | Gopal Gupta, Enrico Pontelli, Amado Lara-Rodrguez, Roberto Felix-Cardenas |
| 1998 | ICPP | Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. | Enrico Pontelli, Gopal Gupta |
| 1997 | ICLP | Implementation Mechanisms for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta |
| 1997 | ICLP | Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. | Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro |
| 1997 | ICLP | Visualization of And/Or-Parallel Execution of Logic Programs. | Rick Vaupel, Enrico Pontelli, Gopal Gupta |
| 1997 | ICTAI | W-ACE: A Logic Language for Intelligent Internet Programming. | Enrico Pontelli, Gopal Gupta |
| 1997 | RTSS | A constraint-based approach for specification and verification of real-time systems. | Gopal Gupta, Enrico Pontelli |
| 1996 | ICLP | Dependent And-Parallelism Revisited (Poster Abstract). | Enrico Pontelli, Gopal Gupta |
| 1995 | EuroPar | On the Duality Between Or-parallelism and And-parallelism in Logic Programming. | Enrico Pontelli, Gopal Gupta |
| 1995 | ICLP | Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. | Gopal Gupta, Vtor Santos Costa, Enrico Pontelli |
| 1995 | ICLP | Determinacy Driven Optimizations of And-Parallel Prolog Implementations. | Enrico Pontelli, Gopal Gupta, Dongxing Tang |
| 1994 | ICLP | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vtor Santos Costa |
| 1994 | ICLP | &ACE: the And-parallel Component of ACE (A Progress Report on ACE). | Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo |
| 1994 | ICLP | Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. | Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro |
| 1992 | ICLP | Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. | Gopal Gupta, Manuel V. Hermenegildo, Vtor Santos Costa |
| 1991 | ICLP | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo |
| 1990 | ICPP | A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. | Gopal Gupta |
| 1989 | ICPP | A Model for Combined And-Or Parallel Execution of Logic Programs. | Gopal Gupta, Bharat Jayaraman |