Gupta, Gopal

Constraint Answer Set Programming without Grounding

ARIAS, J., CARRO, M., SALAZAR, E., MARPLE, K., & GUPTA, G. (2018) · Theory and Practice of Logic Programming

Logic, Reasoning, and KnowledgeConstraint Satisfaction and Optimization

Cited by 88

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming

Rajasekharan, A., Zeng, Y., Padalkar, P., & Gupta, G. (2023) · Electronic Proceedings in Theoretical Computer Science

Logic, Reasoning, and KnowledgeNatural Language Processing Techniques

Cited by 26

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME

Shakerin, F., & Gupta, G. (2019) · Proceedings of the AAAI Conference on Artificial Intelligence

Explainable Artificial Intelligence (XAI)Logic, Reasoning, and Knowledge

Cited by 17

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

Varanasi, S. C., Arias, J., Salazar, E., Li, F., Basu, K., & Gupta, G. (2022) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeFormal Methods in Verification

Cited by 7

Logic-Based Explainable and Incremental Machine Learning

Gupta, G., Wang, H., Basu, K., Shakerin, F., Salazar, E., Varanasi, S. C., Padalkar, P., & Dasgupta, S. (2023) · Lecture Notes in Computer Science

Logic, Reasoning, and KnowledgeExplainable Artificial Intelligence (XAI)

Cited by 4

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

Li, F., Zuo, F., & Gupta, G. (2025) · arXiv

Information and Cyber SecurityNetwork Security and Intrusion Detection

Cited by 2

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming

Li, F., Zuo, F., & Gupta, G. (2025) · arXiv

Network Security and Intrusion DetectionDigital and Cyber Forensics

Cited by 1