default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGopal Gupta 0001
Person information
- affiliation: University of Texas at Dallas, USA
- affiliation (former): New Mexico State University, Las Cruces, NM, USA
- affiliation (PhD 1991): University of North Carolina at Chapel Hill, NC, USA
Other persons with the same name
- Gopal Gupta 0002 (aka: Gopal K. Gupta 0002) — Monash University, Melbourne, VIC, Australia (and 2 more)
- Gopal Gupta 0003 — KIIT University, Bhubaneswar, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e10]Carmine Dodaro
, Gopal Gupta, Maria Vanina Martinez:
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings. Lecture Notes in Computer Science 15245, Springer 2025, ISBN 978-3-031-74208-8 [contents]- 2024
- [c159]Parth Padalkar, Huaduo Wang, Gopal Gupta:
NeSyFOLD: A Framework for Interpretable Image Classification. AAAI 2024: 4378-4387 - [c158]Gopal Gupta, Elmer Salazar, Joaquín Arias:
Computational Thinking with Logic Programming. ICLP Workshops 2024 - [c157]Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta:
Causally Constrained Counterfactual Generation using ASP. ICLP Workshops 2024 - [c156]Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta:
Automated Playing of Survival Video Games with Commonsense Reasoning. ICLP Workshops 2024 - [c155]Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta:
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. ICLP Workshops 2024 - [c154]Alexis Tudor, Gopal Gupta:
Autonomous Task Completion Based on Goal-directed Answer Set Programming. ICLP Workshops 2024 - [c153]Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. ICLP Workshops 2024 - [c152]Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta:
Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. ICLP Workshops 2024 - [c151]Huaduo Wang, Gopal Gupta:
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL 2024: 37-53 - [c150]Parth Padalkar, Huaduo Wang, Gopal Gupta:
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL 2024: 134-150 - [c149]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: 204-222 - [c148]Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias:
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. SAFECOMP (Workshops) 2024: 173-187 - [i44]Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta:
Counterfactual Generation with Answer Set Programming. CoRR abs/2402.04382 (2024) - [i43]Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta:
A Neurosymbolic Framework for Bias Correction in CNNs. CoRR abs/2405.15886 (2024) - [i42]Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta:
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR abs/2405.15956 (2024) - [i41]Huaduo Wang, Gopal Gupta:
Superfast Selection for Decision Tree Algorithms. CoRR abs/2405.20622 (2024) - [i40]Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta:
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR abs/2407.08179 (2024) - [i39]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 abs/2407.18498 (2024) - [i38]Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. CoRR abs/2408.09909 (2024) - [i37]Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby:
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP. CoRR abs/2408.11699 (2024) - [i36]Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta:
CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR abs/2410.22615 (2024) - 2023
- [j47]Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. Theory Pract. Log. Program. 23(4): 812-831 (2023) - [c147]Elmer Salazar, Gopal Gupta:
Proof-Theoretic Foundations of Normal Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 233-252 - [c146]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 - [c145]Parth Padalkar, Huaduo Wang, Gopal Gupta:
NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. ICLP Workshops 2023 - [c144]Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta:
Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. ICLP Workshops 2023 - [c143]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: 261-278 - [c142]Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta:
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. ICLP 2023: 274-287 - [p4]Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro:
Prolog: Past, Present, and Future. Prolog: The Next 50 Years 2023: 48-61 - [p3]Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta:
Logic-Based Explainable and Incremental Machine Learning. Prolog: The Next 50 Years 2023: 346-358 - [e9]Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner:
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. CEUR Workshop Proceedings 3437, CEUR-WS.org 2023 [contents] - [i35]Parth Padalkar, Huaduo Wang, Gopal Gupta:
NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks. CoRR abs/2301.12667 (2023) - [i34]Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta:
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. CoRR abs/2303.08941 (2023) - [i33]Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. CoRR abs/2305.18225 (2023) - [i32]Parth Padalkar, Gopal Gupta:
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. CoRR abs/2310.13073 (2023) - [i31]Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta:
Counterfactual Explanation Generation with s(CASP). CoRR abs/2310.14497 (2023) - 2022
- [j46]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): 51-80 (2022) - [j45]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): 419-443 (2022) - [j44]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): 658-677 (2022) - [j43]Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta:
Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. 22(5): 723-738 (2022) - [j42]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022) - [c141]Pawan Saxena, Sanjay K. Singh, Gopal Gupta:
Teaching Complex Software Engineering Concepts through Analogies. FIE 2022: 1-9 - [c140]Huaduo Wang, Gopal Gupta:
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. FLOPS 2022: 224-242 - [c139]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 - [c138]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 - [c137]Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta:
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops 2022 - [c136]Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL 2022: 117-134 - [c135]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: 181-190 - [e8]Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari:
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022. CEUR Workshop Proceedings 3193, CEUR-WS.org 2022 [contents] - [i30]Huaduo Wang, Farhad Shakerin, Gopal Gupta:
FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. CoRR abs/2202.06913 (2022) - [i29]Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta:
Building Information Modeling Using Constraint Logic Programming. CoRR abs/2205.08572 (2022) - [i28]Huaduo Wang, Gopal Gupta:
FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank. CoRR abs/2206.07295 (2022) - [i27]Huaduo Wang, Gopal Gupta:
FOLD-SE: Scalable Explainable AI. CoRR abs/2208.07912 (2022) - 2021
- [c134]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: 12554-12563 - [c133]Kinjal Basu, Gopal Gupta:
Natural Language Question Answering with Goal-directed Answer Set Programming. ICLP Workshops 2021 - [c132]Fang Li, Elmer Salazar, Gopal Gupta:
Graph Based Answer Set Programming Solver Systems. ICLP Workshops 2021 - [c131]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 - [c130]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 - [c129]Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta:
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. ICLP Workshops 2021 - [c128]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 - [c127]Jan Wielemaker, Joaquín Arias, Gopal Gupta:
s(CASP) for SWI-Prolog. ICLP Workshops 2021 - [c126]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: 79-90 - [c125]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: 205-218 - [c124]Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications 2021: 219-233 - [e7]Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari:
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021. CEUR Workshop Proceedings 2970, CEUR-WS.org 2021 [contents] - [i26]Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta:
Knowledge-driven Natural Language Understanding of English Text and its Applications. CoRR abs/2101.11707 (2021) - [i25]Fang Li, Huaduo Wang, Gopal Gupta:
grASP: A Graph Based ASP-Solver and Justification System. CoRR abs/2104.01190 (2021) - [i24]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR abs/2106.14566 (2021) - [i23]Huaduo Wang, Farhad Shakerin, Gopal Gupta:
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories. CoRR abs/2109.12624 (2021) - [i22]Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta:
CASPR: A Commonsense Reasoning-based Conversational Socialbot. CoRR abs/2110.05387 (2021) - [i21]Huaduo Wang, Gopal Gupta:
FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data. CoRR abs/2110.07843 (2021) - [i20]Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR abs/2110.12053 (2021) - [i19]Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta:
AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. CoRR abs/2110.13606 (2021) - [i18]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021) - [i17]Fang Li, Elmer Salazar, Gopal Gupta:
Graph-based Interpretation of Normal Logic Programs. CoRR abs/2111.13249 (2021) - [i16]Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta:
An ASP-based Approach to Answering Natural Language Questions for Texts. CoRR abs/2112.11241 (2021) - 2020
- [j41]Farhad Shakerin, Gopal Gupta:
White-box Induction From SVM Models: Explainable AI with Logic Programming. Theory Pract. Log. Program. 20(5): 656-670 (2020) - [c123]Kinjal Basu, Farhad Shakerin, Gopal Gupta:
AQuA: ASP-Based Visual Question Answering. PADL 2020: 57-72 - [c122]Farhad Shakerin, Gopal Gupta:
Whitebox Induction of Default Rules Using High-Utility Itemset Mining. PADL 2020: 168-176 - [c121]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications 2020: 59-72 - [c120]Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta:
SQuARE: Semantics-based Question Answering and Reasoning Engine. ICLP Technical Communications 2020: 73-86 - [i15]Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Pointer Data Structure Synthesis from Answer Set Programming Specifications. CoRR abs/2006.07440 (2020) - [i14]Farhad Shakerin, Gopal Gupta:
White-box Induction From SVM Models: Explainable AI with Logic Programming. CoRR abs/2008.03301 (2020) - [i13]Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta:
Generating Concurrent Programs From Sequential Data Structure Knowledge. CoRR abs/2011.04045 (2020)
2010 – 2019
- 2019
- [c119]Farhad Shakerin, Gopal Gupta:
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. AAAI 2019: 3052-3059 - [c118]Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta:
Constraint Answer Set Programming without Grounding and its Applications. Datalog 2019: 22-26 - [c117]Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta:
Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR 2019: 75-89 - [c116]Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta:
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR 2019: 139-155 - [c115]Dhruva Pendharkar, Gopal Gupta:
An ASP Based Approach to Answering Questions for Natural Language Text. PADL 2019: 46-63 - [i12]Farhad Shakerin, Gopal Gupta:
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining. CoRR abs/1905.11226 (2019) - 2018
- [j40]Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta:
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18(3-4): 337-354 (2018) - [c114]Farhad Shakerin, Gopal Gupta:
Cumulative Scoring-Based Induction of Default Theories. ICLP (Technical Communications) 2018: 2:1-2:15 - [c113]Farhad Shakerin, Gopal Gupta:
Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. ILP Up-and-Coming / Short Papers 2018: 36-51 - [i11]Farhad Shakerin, Gopal Gupta:
Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems. CoRR abs/1802.06462 (2018) - [i10]Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta:
Constraint Answer Set Programming without Grounding. CoRR abs/1804.11162 (2018) - [i9]Farhad Shakerin, Gopal Gupta:
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. CoRR abs/1808.00629 (2018) - 2017
- [j39]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): 764-779 (2017) - [j38]Farhad Shakerin, Elmer Salazar, Gopal Gupta:
A new algorithm to automate inductive learning of default theories. Theory Pract. Log. Program. 17(5-6): 1010-1026 (2017) - [c112]Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin:
A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE 2017: 64-68 - [i8]Farhad Shakerin, Elmer Salazar, Gopal Gupta:
A New Algorithm to Automate Inductive Learning of Default Theories. CoRR abs/1707.02693 (2017) - [i7]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 abs/1707.04957 (2017) - [i6]Kyle Marple, Elmer Salazar, Gopal Gupta:
Computing Stable Models of Normal Logic Programs Without Grounding. CoRR abs/1709.00501 (2017) - 2016
- [j37]Neda Saeedloei, Gopal Gupta:
A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Rev. 13(2): 34-42 (2016) - [j36]Srividya Kona Bansal, Ajay Bansal, Gopal Gupta, M. Brian Blake:
Generalized semantic Web service composition. Serv. Oriented Comput. Appl. 10(2): 111-133 (2016) - [j35]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): 604-618 (2016) - [c111]Mohammad Ali Ghaderi, Mehrdad Heydarzadeh, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil:
Augmented reality for breast tumors visualization. EMBC 2016: 4391-4394 - [i5]Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil:
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns. CoRR abs/1610.08115 (2016) - 2015
- [j34]Gopal Gupta:
Language-based software engineering. Sci. Comput. Program. 97: 37-40 (2015) - [c110]Mohammad Ali Ghaderi, Gopal Gupta, Lakshman Tamil, Mohamed M. Abdallah, Khalid A. Qaraqe:
mHealth Platform for Breast Cancer Risk Assessment. ICHI 2015: 570-573 - 2014
- [j33]Kyle Marple, Gopal Gupta:
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 415-427 (2014) - [e6]Gopal Gupta, Ricardo Peña:
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4 [contents] - [i4]Kyle Marple, Gopal Gupta:
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. CoRR abs/1405.3603 (2014) - 2013
- [c109]Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil:
Apnea MedAssist II: A smart phone based system for sleep apnea assessment. BIBM 2013: 572-577 - [c108]Neda Saeedloei, Gopal Gupta:
Timed π-Calculus. TGC 2013: 119-135 - 2012
- [c107]Neda Saeedloei, Gopal Gupta:
Coinductive Constraint Logic Programming. FLOPS 2012: 243-259 - [c106]Kyle Marple, Gopal Gupta:
Galliwasp: A Goal-Directed Answer Set Solver. LOPSTR 2012: 122-136 - [c105]Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta:
Goal-directed execution of answer set programs. PPDP 2012: 35-44 - [p2]Srividya K. Bansal, Ajay Bansal, Gopal Gupta:
Semantics-Based Web Service Composition Engine. Semantic Web Services, Advancement through Evaluation 2012: 329-343 - 2011
- [j32]Neda Saeedloei, Gopal Gupta:
A logic-based modeling and verification of CPS. SIGBED Rev. 8(2): 31-34 (2011) - [c104]