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
- 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]Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak:
Infinite Computation, Co-induction and Computational Logic. CALCO 2011: 40-54 - [c103]Savio Monteiro, Gopal Gupta, Mehrdad Nourani, Lakshman Tamil:
HygeiaTel: an intelligent telemedicine system with cognitive support. mHealthSys@SenSys 2011: 9:1-9:2 - [c102]Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil:
A virtual sleep laboratory. mHealthSys@SenSys 2011: 10:1-10:2 - 2010
- [c101]Ajay Bansal, Neda Saeedloei, Gopal Gupta:
Timed Planning. FLAIRS 2010 - [c100]Neda Saeedloei, Gopal Gupta:
Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) 2010: 212-221 - [c99]Neda Saeedloei, Gopal Gupta:
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA 2010: 536-548 - [c98]Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta:
Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE 2010: 247-252
2000 – 2009
- 2009
- [j31]Hai-Feng Guo, Gopal Gupta:
Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35(3): 252-265 (2009) - [j30]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): 77-86 (2009) - [j29]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): 20-48 (2009) - [c97]Richard Min, Gopal Gupta:
Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS 2009 - [c96]Richard Min, Ajay Bansal, Gopal Gupta:
Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI 2009: 499-508 - [c95]Richard Min, Gopal Gupta:
Coinductive Logic Programming with Negation. LOPSTR 2009: 97-112 - [c94]Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar:
ActionScript bytecode verification with co-logic programming. PLAS 2009: 9-15 - [r1]Enrico Pontelli, Arthur I. Karshmer, Gopal Gupta:
Mathematics and Accessibility. The Universal Access Handbook 2009: 1-18 - 2008
- [j28]Hai-Feng Guo, Gopal Gupta:
Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. 38(1): 75-94 (2008) - [c93]Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta:
Towards a General Framework for Web Service Composition. IEEE SCC (2) 2008: 497-498 - [c92]Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta:
Generalized Semantics-Based Service Composition. ICWS 2008: 219-227 - [c91]Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta:
An Agent-Based Approach for Composition of Semantic Web Services. WETICE 2008: 12-17 - 2007
- [j27]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): 633-695 (2007) - [c90]Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer:
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318 - [c89]Aanchal Jain, Gopal Gupta:
VoxBoox: A System for Automatic Generation of Interactive Talking Books. HCI (7) 2007: 329-338 - [c88]Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta:
Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP 2007: 472-483 - [c87]Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya:
Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44 - [c86]Srividya Kona, Ajay Bansal, Gopal Gupta:
Automatic Composition of SemanticWeb Services. ICWS 2007: 150-158 - [c85]Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite:
Semantics-basedWeb Service Composition engine. CEC/EEE 2007: 521-524 - [i3]Siddharth Chitnis, Madhu Yennamani, Gopal Gupta:
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm. CoRR abs/cs/0701109 (2007) - 2006
- [j26]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): 1267-1293 (2006) - [c84]Aanchal Jain, Gopal Gupta:
VoxBoox: : a system for automatic generation of interactive talking books. ASSETS 2006: 275-276 - [c83]Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta:
Coinductive Logic Programming. ICLP 2006: 330-345 - [c82]Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite:
Web Service Discovery and Composition using USDL. CEC/EEE 2006: 65 - [i2]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006) - 2005
- [c81]Gopal Gupta:
Software Engineering Track Chair's Message. ICDCIT 2005: 433 - [c80]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: 751-758 - [c79]Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite:
A Universal Service Description Language. ICWS 2005: 823-824 - [c78]Luke Simon, Ajay Mallya, Gopal Gupta:
Design and Implementation of AT: A Real-Time Action Description Language. LOPSTR 2005: 44-60 - [c77]Qian Wang, Gopal Gupta, Michael Leuschel:
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL 2005: 98-112 - [c76]Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences. PPDP 2005: 242-251 - [c75]Qian Wang, Gopal Gupta:
Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. SAC 2005: 1419-1426 - [e5]Maurizio Gabbrielli, Gopal Gupta:
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668, Springer 2005, ISBN 3-540-29208-X [contents] - 2004
- [j25]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. 77-78: 55-62 (2004) - [c74]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62 - [c73]Ramakrishnan Venkitaraman, Gopal Gupta:
Static program analysis of embedded executable assembly code. CASES 2004: 157-166 - [c72]Narayan Annamalai, Gopal Gupta, B. Prabhakaran:
Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. ICCHP 2004: 339-346 - [c71]Hemambaradara Reddy, Narayan Annamalai, Gopal Gupta:
Listener-Controlled Dynamic Navigation of VoiceXML Documents. ICCHP 2004: 347-354 - [c70]Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli:
Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669 - [c69]Ramakrishnan Venkitaraman, Gopal Gupta:
Framework for Safe Reuse of Software Binaries. ICDCIT 2004: 283-293 - [c68]Qian Wang, Gopal Gupta:
A Logic Programming-based Environment for Integrating Architecture Description Languages. WLPE 2004 - [c67]Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177 - [i1]Hai-Feng Guo, Gopal Gupta:
An Efficient and Flexible Engine for Computing Fixed Points. CoRR abs/cs/0412041 (2004) - 2003
- [c66]Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT 2003: 76-96 - [c65]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703 - [c64]Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer:
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) 2003: 1245-1249 - [c63]Hai-Feng Guo, Gopal Gupta:
A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486 - [c62]Qian Wang, Gopal Gupta:
Continuation Semantics as Horn Clauses. LOPSTR 2003: 176-177 - [c61]Kunal Patel, Gopal Gupta:
Semantic Processing of the Semantic Web. ISWC 2003: 80-95 - [c60]Qian Wang, Gopal Gupta:
Provably Correct Code Generation: A Case Study. SVV@ICLP 2003: 87-109 - 2002
- [j24]Frank Harary, Gopal Gupta:
A constraint logic programming approach for generating all perfect matchings. Appl. Math. Lett. 15(8): 969-973 (2002) - [j23]Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong:
Intelligent non-visual navigation of complex HTML structures. Univers. Access Inf. Soc. 2(1): 56-69 (2002) - [c59]Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer:
Navigation of HTML tables, frames, and XML fragments. ASSETS 2002: 25-32 - [c58]Gopal Gupta, Enrico Pontelli:
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond 2002: 211-239 - [c57]Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20 - [c56]Arthur I. Karshmer, Gopal Gupta, Douglas J. Gillan:
Architecting an Auditory Browser for Navigating Mathematical Expressions. ICCHP 2002: 477-485 - [c55]Gopal Gupta, Deepa Gopal:
Towards a Logic Programming Based Environment for Automatic Generation of Translators. WLPE 2002: 87-88 - [c54]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:
Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100 - 2001
- [j22]Gopal Gupta, Enrico Pontelli:
Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw. Pract. Exp. 31(12): 1143-1181 (2001) - [j21]Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo:
Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001) - [j20]Enrico Pontelli, Gopal Gupta:
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distributed Syst. 12(11): 1169-1189 (2001) - [c53]Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo:
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933 - [c52]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42 - [c51]Hai-Feng Guo, Gopal Gupta:
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196 - [c50]Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta:
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294 - [c49]Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168 - 2000
- [j19]Desh Ranjan, Enrico Pontelli, Gopal Gupta:
Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Informatica 37(1): 21-43 (2000) - [j18]Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré:
The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000) - [j17]Gopal Gupta:
Parallel implementation of Prolog: the ACE project. ACM SIGSOFT Softw. Eng. Notes 25(1): 54-55 (2000) - [c48]Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer:
A domain specific language framework for non-visual browsing of complex HTML structures. ASSETS 2000: 180-187 - [c47]Gopal Gupta:
Reliable software construction: a logic programming based methodology. HASE 2000: 140-141 - [c46]Gopal Gupta, Shameem F. Akhter:
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000: 308-323
1990 – 1999
- 1999
- [j16]Arthur I. Karshmer, Gopal Gupta, Sandy Geiger, Chris Weaver:
Reading and writing mathematics: The MAVIS1 Project. Behav. Inf. Technol. 18(1): 2-10 (1999) - [j15]Enrico Pontelli, Gopal Gupta:
Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - [j14]Enrico Pontelli, Desh Ranjan, Gopal Gupta:
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - [j13]Desh Ranjan, Enrico Pontelli, Gopal Gupta:
On the Complexity of Or-Parallelism. New Gener. Comput. 17(3): 285-307 (1999) - [c45]Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta:
Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796 - [c44]Gopal Gupta, Enrico Pontelli:
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304 - [c43]Gopal Gupta, Enrico Pontelli:
Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319-327 - [c42]Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Preface. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 1-2 - [p1]Gopal Gupta:
Horn Logic Denotations and Their Applications. The Logic Programming Paradigm 1999: 127-159 - [e4]Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 [contents] - 1998
- [j12]Desh Ranjan, Enrico Pontelli, Gopal Gupta:
Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998) - [c41]Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell:
Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82 - [c40]Arthur I. Karshmer, Gopal Gupta, Sandy Geiger, Chris Weaver:
Reading and Writing Mathematics: the MAVIS Project. International ACM Conference on Assistive Technologies 1998: 136-143 - [c39]Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell:
Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic 1998: 101-112 - [c38]Gopal Gupta:
Horn Logic Denotations. IJCSLP 1998: 357-358 - [c37]Enrico Pontelli, Gopal Gupta:
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345 - [c36]Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas:
Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586 - [c35]Enrico Pontelli, Desh Ranjan, Gopal Gupta:
The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229 - [e3]Gopal Gupta:
Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Lecture Notes in Computer Science 1551, Springer 1998, ISBN 3-540-65527-1 [contents] - 1997
- [j11]Enrico Pontelli, Gopal Gupta:
Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997) - [c34]Gopal Gupta, Enrico Pontelli:
High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32 - [c33]Gopal Gupta, Enrico Pontelli:
Extended dynamic dependent and-parallelism in ACE. PASCO 1997: 68-79 - [c32]Enrico Pontelli, Desh Ranjan, Gopal Gupta:
On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137 - [c31]Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro:
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122 - [c30]Enrico Pontelli, Gopal Gupta:
Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137 - [c29]Rick Vaupel, Enrico Pontelli, Gopal Gupta:
Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285 - [c28]Enrico Pontelli, Gopal Gupta:
W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10 - [c27]Gopal Gupta, Enrico Pontelli:
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435 - [c26]Rick Vaupel, Enrico Pontelli, Gopal Gupta:
VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54 - [c25]Gopal Gupta, Enrico Pontelli:
A constraint-based approach for specification and verification of real-time systems. RTSS 1997: 230-239 - 1996
- [j10]Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo:
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996) - [j9]Gopal Gupta, Vítor Santos Costa:
Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996) - [j8]Gopal Gupta, Mats Carlsson:
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996) - [c24]Enrico Pontelli, Gopal Gupta:
Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542 - [c23]Enrico Pontelli, Gopal Gupta:
Nested Parallel Call Optimization. IPPS 1996: 225-229 - [c22]Gopal Gupta, Enrico Pontelli:
Last alternative optimization. SPDP 1996: 538-541 - 1995
- [c21]Enrico Pontelli, Gopal Gupta:
On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54 - [c20]Enrico Pontelli, Gopal Gupta, Dongxing Tang:
Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629 - [c19]Gopal Gupta, Vítor Santos Costa, Enrico Pontelli:
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824 - [c18]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
&ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571 - [c17]Enrico Pontelli, Gopal Gupta:
Data parallel logic programming in &ACE. SPDP 1995: 424-431 - 1994
- [j7]Gopal Gupta, Vítor Santos Costa:
Optimal implementation of and-or parallel Prolog. Future Gener. Comput. Syst. 10(1): 71-92 (1994) - [c16]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78 - [c15]Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109 - [c14]Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106 - [c13]Enrico Pontelli, Gopal Gupta, Dongxing Tang:
Determinancy Driven Optimization of Parallel Prolog Implementations. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 54-71 - [c12]Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS 1994: 683-684 - [e2]Enrico Pontelli, Gopal Gupta:
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994. 1994 [contents] - 1993
- [j6]Gopal Gupta, Bharat Jayaraman:
And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. 17(1): 59-89 (1993) - [j5]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. 11(3): 297-321 (1993) - [j4]Gopal Gupta, Bharat Jayaraman:
Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. 15(4): 659-680 (1993) - 1992
- [j3]Gopal Gupta:
Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. Inf. Process. Lett. 44(5): 273-280 (1992) - [c11]Gopal Gupta, Manuel V. Hermenegildo:
Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782 - [c10]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 - [c9]Gopal Gupta, Vítor Santos Costa:
And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632 - [c8]Gopal Gupta, Vítor Santos Costa:
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295 - 1991
- [c7]Gopal Gupta, Manuel V. Hermenegildo:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs 1991: 146-158 - [c6]Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166 - [e1]Anthony Joseph Beaumont, Gopal Gupta:
Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings. Lecture Notes in Computer Science 569, Springer 1991, ISBN 3-540-55038-0 [contents] - 1990
- [c5]Gopal Gupta:
A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. ICPP (3) 1990: 346-347 - [c4]Gopal Gupta, Bharat Jayaraman:
Optimizing And-Or Parallel Implementations. NACLP 1990: 605-623 - [c3]Gopal Gupta, Bharat Jayaraman:
On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP 1990: 737-756
1980 – 1989
- 1989
- [j2]Bharat Jayaraman, Gopal Gupta:
EqL: The Language and Its Implementation. IEEE Trans. Software Eng. 15(6): 771-779 (1989) - [c2]Gopal Gupta, Bharat Jayaraman:
Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP 1989: 332-349 - 1988
- [j1]Gopal Gupta, Niraj K. Jha:
A universal test set for CMOS circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(5): 590-597 (1988) - 1986
- [c1]Bharat Jayaraman, Gopal Gupta:
Parallel execution of an equational language. Graph Reduction 1986: 370-381
Coauthor Index
Haifeng Guo
aka: Hai-Feng Guo
aka: Hai-Feng Guo
[j42] [i18] [r1] [j27] [j26] [i2] [j25] [c74] [c70] [c66] [c65] [j23] [c59] [c58] [c57] [c54] [j22] [j21] [j20] [c53] [c52] [c50] [c49] [j19] [j18] [c48] [j15] [j14] [j13] [c45] [c44] [c43] [c42] [e4] [j12] [c41] [c39] [c37] [c36] [c35] [j11] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [j10] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [e2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-29 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
