conf.researchr.org / Gopal Gupta
Registered user since Sun 21 Jun 2015
Name:Gopal Gupta
Bio:
Professor of Computer Science and Director, the Center for Applied AI and Machine Learning, at the University of Texas at Dallas; Direct
Country:United States
Affiliation:The University of Texas - Dallas
Personal website: https://utdallas.edu/~gupta
GitHub: https://github.com/gopalgupta63
Research interests:Logic Programming, Automated Commonsense Reasoning, Explainable AI
Contributions
2026
LOPSTR
FLOPS
Symposium on Practical Aspects of Declarative Languages
- Author of REGAL: Extracting implicit rules in text using LLMs with logic program feedback within the PADL 2026-track
- Committee Member in Program Committee within the PADL 2026-track
- Author of Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning within the PADL 2026-track
2025
Symposium on Practical Aspects of Declarative Languages
- Author of Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach within the PADL 2025-track
- Author of Automated Playing of Survival Video Games with Commonsense Reasoning (short paper) within the PADL 2025-track
- Committee Member in Program Committee within the PADL 2025-track
- Author of C3G: Causally Constrained Counterfactual Generation within the PADL 2025-track
2024
Symposium on Practical Aspects of Declarative Languages
- Author of FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability within the PADL 2024-track
- Author of Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs within the PADL 2024-track
- Session Chair of Answer Set Programming I (part of PADL 2024)
- Author of Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks within the PADL 2024-track
- Panelist of Declarative Languages for Safe AI within the PADL 2024-track
- Committee Member in Program Committee within the PADL 2024-track
2023
Symposium on Practical Aspects of Declarative Languages
2022
Symposium on Practical Aspects of Declarative Languages
- Author of Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) within the PADL 2022-track
- Author of Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming within the PADL 2022-track
- Author of Graph-based Interpretation of Normal Logic Programs within the PADL 2022-track
2021
Symposium on Practical Aspects of Declarative Languages
2020
Symposium on Practical Aspects of Declarative Languages
- Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
- Author of Whitebox Induction of Default Rules Using High-Utility Itemset Mining within the PADL 2020-track
- Author of Panel: Programming with logic for the masses within the PADL 2020-track
- Author of Opening within the PADL 2020-track
- Author of AQuA: ASP-based Visual Question Answering within the PADL 2020-track