Gopal Gupta

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 58

Top Venues

CoRR

ICLP Workshops

Theory Pract. Log. Program.

PADL

Publications

Nirmal Kumar Rout, Gyanateet Dutta, Varun Sinha, Arghadeep Dey, Subhrangshu Mukherjee, Gopal Gupta
Improved Pothole Detection Using YOLOv7 and ESRGAN. CoRR (2024)
Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL (2022)
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL (2022)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. 22 (1) (2022)
Huaduo Wang, Farhad Shakerin, Gopal Gupta
FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. CoRR (2022)
Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll
Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops (2021)
Fang Li, Elmer Salazar, Gopal Gupta
Graph-based Interpretation of Normal Logic Programs. CoRR (2021)
Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. ICLP Workshops (2021)
Huaduo Wang, Farhad Shakerin, Gopal Gupta
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories. CoRR (2021)
Fang Li, Huaduo Wang, Gopal Gupta
grASP: A Graph Based ASP-Solver and Justification System. CoRR (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. AAAI (2021)
Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR (2021)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications (2021)
Jan Wielemaker, Joaquín Arias, Gopal Gupta
s(CASP) for SWI-Prolog. ICLP Workshops (2021)
Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
CASPR: A Commonsense Reasoning-based Conversational Socialbot. CoRR (2021)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Huaduo Wang, Gopal Gupta
FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data. CoRR (2021)
Fang Li, Elmer Salazar, Gopal Gupta
Graph Based Answer Set Programming Solver Systems. ICLP Workshops (2021)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Joaquín Arias, Gopal Gupta, Manuel Carro
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops (2021)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
Knowledge-driven Natural Language Understanding of English Text and its Applications. CoRR (2021)
Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta
An ASP-based Approach to Answering Natural Language Questions for Texts. CoRR (2021)
Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. ICLP Technical Communications (2021)
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops (2021)
Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. CoRR (2021)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR (2021)
Kinjal Basu, Gopal Gupta
Natural Language Question Answering with Goal-directed Answer Set Programming. ICLP Workshops (2021)
Farhad Shakerin, Gopal Gupta
White-box Induction From SVM Models: Explainable AI with Logic Programming. Theory Pract. Log. Program. 20 (5) (2020)
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta
SQuARE: Semantics-based Question Answering and Reasoning Engine. ICLP Technical Communications (2020)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Pointer Data Structure Synthesis from Answer Set Programming Specifications. CoRR (2020)
Farhad Shakerin, Gopal Gupta
White-box Induction From SVM Models: Explainable AI with Logic Programming. CoRR (2020)
Kinjal Basu, Farhad Shakerin, Gopal Gupta
AQuA: ASP-Based Visual Question Answering. PADL (2020)
Farhad Shakerin, Gopal Gupta
Whitebox Induction of Default Rules Using High-Utility Itemset Mining. PADL (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge. CoRR (2020)
Dhruva Pendharkar, Gopal Gupta
An ASP Based Approach to Answering Questions for Natural Language Text. PADL (2019)
Farhad Shakerin, Gopal Gupta
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. AAAI (2019)
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR (2019)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Constraint Answer Set Programming without Grounding and its Applications. Datalog (2019)
Farhad Shakerin, Gopal Gupta
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining. CoRR (2019)
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR (2019)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. CoRR (2018)
Farhad Shakerin, Gopal Gupta
Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. ILP Up-and-Coming / Short Papers (2018)
Farhad Shakerin, Gopal Gupta
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. CoRR (2018)
Farhad Shakerin, Gopal Gupta
Cumulative Scoring-Based Induction of Default Theories. ICLP (Technical Communications) (2018)
Farhad Shakerin, Gopal Gupta
Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18 (3-4) (2018)
Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. CoRR (2017)
Kyle Marple, Elmer Salazar, Gopal Gupta
Computing Stable Models of Normal Logic Programs Without Grounding. CoRR (2017)
Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
Improving adherence to heart failure management guidelines via abductive reasoning. Theory Pract. Log. Program. 17 (5-6) (2017)
Farhad Shakerin, Elmer Salazar, Gopal Gupta
A New Algorithm to Automate Inductive Learning of Default Theories. CoRR (2017)
Farhad Shakerin, Elmer Salazar, Gopal Gupta
A new algorithm to automate inductive learning of default theories. Theory Pract. Log. Program. 17 (5-6) (2017)
Neda Saeedloei, Gopal Gupta
A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Rev. 13 (2) (2016)
Srividya Kona Bansal, Ajay Bansal, Gopal Gupta, M. Brian Blake
Generalized semantic Web service composition. Serv. Oriented Comput. Appl. 10 (2) (2016)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns. CoRR (2016)
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Theory Pract. Log. Program. 16 (5-6) (2016)
Mohammad Ali Ghaderi, Mehrdad Heydarzadeh, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
Augmented reality for breast tumors visualization. EMBC (2016)
Gopal Gupta
Language-based software engineering. Sci. Comput. Program. 97 (2015)
Mohammad Ali Ghaderi, Gopal Gupta, Lakshman Tamil, Mohamed M. Abdallah, Khalid A. Qaraqe
mHealth Platform for Breast Cancer Risk Assessment. ICHI (2015)
Kyle Marple, Gopal Gupta
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. CoRR (2014)
Kyle Marple, Gopal Gupta
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Neda Saeedloei, Gopal Gupta
Timed π-Calculus. TGC (2013)
Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
Apnea MedAssist II: A smart phone based system for sleep apnea assessment. BIBM (2013)
Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta
Goal-directed execution of answer set programs. PPDP (2012)
Neda Saeedloei, Gopal Gupta
Coinductive Constraint Logic Programming. FLOPS (2012)
Kyle Marple, Gopal Gupta
Galliwasp: A Goal-Directed Answer Set Solver. LOPSTR (2012)
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)
Neda Saeedloei, Gopal Gupta
A logic-based modeling and verification of CPS. SIGBED Rev. 8 (2) (2011)
Neda Saeedloei, Gopal Gupta
Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) (2010)
Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta
Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE (2010)
Ajay Bansal, Neda Saeedloei, Gopal Gupta
Timed Planning. FLAIRS Conference (2010)
Neda Saeedloei, Gopal Gupta
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA (2010)
Richard Min, Gopal Gupta
Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS Conference (2009)
Richard Min, Ajay Bansal, Gopal Gupta
Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI (2009)
Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. Int. J. Web Serv. Res. 6 (1) (2009)
Hai-Feng Guo, Gopal Gupta
Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35 (3) (2009)
Richard Min, Gopal Gupta
Coinductive Logic Programming with Negation. LOPSTR (2009)
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar
ActionScript bytecode verification with co-logic programming. PLAS (2009)
Adnan Saeed, Miad Faezipour, Mehrdad Nourani, Subhash Banerjee, Gil Lee, Gopal Gupta, Lakshman Tamil
A Scalable Wireless Body Area Network for Bio-Telemetry. J. Inf. Process. Syst. 5 (2) (2009)
Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta
An Agent-Based Approach for Composition of Semantic Web Services. WETICE (2008)
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta
Towards a General Framework for Web Service Composition. IEEE SCC (2) (2008)
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta
Generalized Semantics-Based Service Composition. ICWS (2008)
Hai-Feng Guo, Gopal Gupta
Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. 38 (1) (2008)
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP (2007)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. 7 (6) (2007)
Siddharth Chitnis, Madhu Yennamani, Gopal Gupta
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm CoRR (2007)
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
Coinductive Logic Programming and Its Applications. ICLP (2007)
Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite
Semantics-basedWeb Service Composition engine. CEC/EEE (2007)
Aanchal Jain, Gopal Gupta
VoxBoox: A System for Automatic Generation of Interactive Talking Books. HCI (7) (2007)
Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) (2007)
Srividya Kona, Ajay Bansal, Gopal Gupta
Automatic Composition of SemanticWeb Services. ICWS (2007)
Aanchal Jain, Gopal Gupta
VoxBoox: : a system for automatic generation of interactive talking books. ASSETS (2006)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distributed Comput. 66 (10) (2006)
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR (2006)
Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite
Web Service Discovery and Composition using USDL. CEC/EEE (2006)
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
Coinductive Logic Programming. ICLP (2006)
Bailing Zhang, Yuan Miao, Gopal Gupta
-Nearest Neighbors Associative Memory Model for Face Recognition. Australian Conference on Artificial Intelligence (2005)
Bailing Zhang, Gopal Gupta
Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition. CIMCA/IAWTIC (2005)
Ajay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves
Towards Intelligent Services: A Case Study in Chemical Emergency Response. ICWS (2005)

Gopal Gupta.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gopal Gupta