Gopal Gupta - RankMe

291 papers A* 4A 9B 25C 38Misc 11Journal 106Unranked 87

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Initial Review of Goal-Directed Answer Set Programming for Orchestration of Neuro-Symbolic UAV Autonomy. HICSS Alexis R. Tudor, Keegan Kimbrell, Gopal Gupta
2026	C	`conf`	Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. PADL Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei
2026	C	`conf`	REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback. PADL Abhiramon Rajasekharan, Gopal Gupta
2025	C	`conf`	Automated Playing of Survival Video Games with Commonsense Reasoning. PADL Bryant Hargreaves, Dan N. Nguyen, Keegan Krimbell, Gopal Gupta
2025	B	`conf`	Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency. COLING Jaeseong Lee, Wei Yang, Gopal Gupta, Shiyi Wei
2025	J	`jnl`	Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning. CoRR Alexis R. Tudor, Yankai Zeng, Huaduo Wang, Joaquín Arias, Gopal Gupta
2025	C	`conf`	C3G: Causally Constrained Counterfactual Generation. PADL Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025	J	`jnl`	Comparative Analysis of FOLD-SE vs. FOLD-R++ in Binary Classification and XGBoost in Multi-Category Classification. CoRR Akshay Murthy, Shawn Sebastian, Manil Shangle, Huaduo Wang, Sopam Dasgupta, Gopal Gupta
2025	C	`conf`	Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. PADL Fang Li, Fei Zuo, Gopal Gupta
2025	J	`jnl`	Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. CoRR Fang Li, Fei Zuo, Gopal Gupta
2025	J	`jnl`	Improving Interpretability and Accuracy in Neuro-Symbolic Rule Extraction Using Class-Specific Sparse Filters. CoRR Parth Padalkar, Jaeseong Lee, Shiyi Wei, Gopal Gupta
2025	B	`ed.`	Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings LPNMR Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez
2025	J	`jnl`	Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming. CoRR Fang Li, Fei Zuo, Gopal Gupta
2025	C	`conf`	MC3G: Model Agnostic Causally Constrained Counterfactual Generation. NeSy Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025	J	`jnl`	MC3G: Model Agnostic Causally Constrained Counterfactual Generation. CoRR Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025	J	`jnl`	Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System. CoRR Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquín Arias
2025	B	`conf`	On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. ICLP Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2025	J	`jnl`	P2C: Path to Counterfactuals. CoRR Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta
2025	B	`ed.`	Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. ICLP Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift
2025	J	`jnl`	Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming. CoRR Yankai Zeng, Gopal Gupta
2025	J	`jnl`	Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers. Theory Pract. Log. Program. Parth Padalkar, Gopal Gupta
2025	J	`jnl`	Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers. CoRR Parth Padalkar, Gopal Gupta
2025	B	`conf`	VECSR: Virtually Embodied Common Sense Reasoning System. ICLP Alexis R. Tudor, Joaquín Arias, Gopal Gupta
2024	J	`jnl`	A Neurosymbolic Framework for Bias Correction in CNNs. CoRR Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024	—	`conf`	A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. ICLP Workshops Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024	J	`jnl`	A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. Theory Pract. Log. Program. Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024	J	`jnl`	A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. CoRR Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024	J	`jnl`	A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. Theory Pract. Log. Program. Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024	C	`conf`	Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. PADL Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
2024	—	`conf`	Automated Playing of Survival Video Games with Commonsense Reasoning. ICLP Workshops Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta
2024	J	`jnl`	Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. Theory Pract. Log. Program. Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024	J	`jnl`	Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP. CoRR Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024	—	`conf`	Autonomous Task Completion Based on Goal-directed Answer Set Programming. ICLP Workshops Alexis R. Tudor, Gopal Gupta
2024	J	`jnl`	CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024	—	`conf`	Causally Constrained Counterfactual Generation using ASP. ICLP Workshops Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta
2024	J	`jnl`	CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024	J	`jnl`	CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP. CoRR Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024	—	`conf`	Computational Thinking with Logic Programming. ICLP Workshops Gopal Gupta, Elmer Salazar, Joaquín Arias
2024	J	`jnl`	Counterfactual Generation with Answer Set Programming. CoRR Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024	J	`jnl`	Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory Pract. Log. Program. Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	J	`jnl`	Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. CoRR Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	—	`conf`	Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. SAFECOMP (Workshops) Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias
2024	—	`conf`	Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. ICLP Workshops Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
2024	—	`conf`	Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. ICLP Workshops Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	C	`conf`	FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL Huaduo Wang, Gopal Gupta
2024	A*	`conf`	NeSyFOLD: A Framework for Interpretable Image Classification. AAAI Parth Padalkar, Huaduo Wang, Gopal Gupta
2024	J	`jnl`	Superfast Selection for Decision Tree Algorithms. CoRR Huaduo Wang, Gopal Gupta
2024	C	`conf`	Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL Parth Padalkar, Huaduo Wang, Gopal Gupta
2023	—	`conf`	Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. ICLP Workshops Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta
2023	J	`jnl`	Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. CoRR Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta
2023	J	`jnl`	Counterfactual Explanation Generation with s(CASP). CoRR Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta
2023	C	`conf`	Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
2023	J	`jnl`	Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. CoRR Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2023	J	`jnl`	Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. Theory Pract. Log. Program. Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2023	—	`ch.`	Logic-Based Explainable and Incremental Machine Learning. Prolog: The Next 50 Years Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta
2023	J	`jnl`	NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks. CoRR Parth Padalkar, Huaduo Wang, Gopal Gupta
2023	—	`conf`	NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. ICLP Workshops Parth Padalkar, Huaduo Wang, Gopal Gupta
2023	—	`ed.`	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. ICLP Workshops 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
2023	—	`ch.`	Prolog: Past, Present, and Future. Prolog: The Next 50 Years 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
2023	—	`conf`	Proof-Theoretic Foundations of Normal Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Elmer Salazar, Gopal Gupta
2023	B	`conf`	Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. ICLP Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta
2023	—	`conf`	Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2023	J	`jnl`	Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. CoRR Parth Padalkar, Gopal Gupta
2022	J	`jnl`	An ASP-based Approach to Answering Natural Language Questions for Texts. Theory Pract. Log. Program. Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta
2022	J	`jnl`	Building Information Modeling Using Constraint Logic Programming. CoRR Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022	J	`jnl`	Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022	Misc	`conf`	FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. FLOPS Huaduo Wang, Gopal Gupta
2022	J	`jnl`	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. CoRR Huaduo Wang, Farhad Shakerin, Gopal Gupta
2022	J	`jnl`	FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. Theory Pract. Log. Program. Huaduo Wang, Farhad Shakerin, Gopal Gupta
2022	J	`jnl`	FOLD-SE: Scalable Explainable AI. CoRR Huaduo Wang, Gopal Gupta
2022	J	`jnl`	FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank. CoRR Huaduo Wang, Gopal Gupta
2022	—	`conf`	LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
2022	J	`jnl`	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2022	C	`conf`	Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
2022	J	`jnl`	Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022	—	`ed.`	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. ICLP Workshops 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
2022	—	`conf`	Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. ICLP Workshops Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
2022	C	`conf`	Teaching Complex Software Engineering Concepts through Analogies. FIE Pawan Saxena, Sanjay Kumar Singh, Gopal Gupta
2022	C	`conf`	Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL Joaquín Arias, Manuel Carro, Gopal Gupta
2022	—	`conf`	Tutorial: Automating Commonsense Reasoning. ICLP Workshops Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2021	J	`jnl`	A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories. CoRR Huaduo Wang, Farhad Shakerin, Gopal Gupta
2021	—	`conf`	A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops Joaquín Arias, Gopal Gupta, Manuel Carro
2021	—	`conf`	AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. ICLP Workshops Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta
2021	J	`jnl`	AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. CoRR Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta
2021	J	`jnl`	An ASP-based Approach to Answering Natural Language Questions for Texts. CoRR Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin, Gopal Gupta
2021	J	`jnl`	CASPR: A Commonsense Reasoning-based Conversational Socialbot. CoRR Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
2021	—	`conf`	DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. ICLP Technical Communications Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
2021	J	`jnl`	FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data. CoRR Huaduo Wang, Gopal Gupta
2021	—	`conf`	Formalizing Informal Logic and Natural Language Deductivism. ICLP Workshops 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
2021	—	`conf`	Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2021	—	`conf`	Graph Based Answer Set Programming Solver Systems. ICLP Workshops Fang Li, Elmer Salazar, Gopal Gupta
2021	J	`jnl`	Graph-based Interpretation of Normal Logic Programs. CoRR Fang Li, Elmer Salazar, Gopal Gupta
2021	—	`conf`	Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021	A*	`conf`	Knowledge-driven Natural Language Understanding of English Text and its Applications. AAAI Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021	J	`jnl`	Knowledge-driven Natural Language Understanding of English Text and its Applications. CoRR Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
2021	J	`jnl`	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2021	—	`conf`	Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). ICLP Workshops Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2021	—	`conf`	Natural Language Question Answering with Goal-directed Answer Set Programming. ICLP Workshops Kinjal Basu, Gopal Gupta
2021	J	`jnl`	Parallel Logic Programming: A Sequel. CoRR Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2021	—	`ed.`	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. ICLP Workshops 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
2021	J	`jnl`	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR Joaquín Arias, Manuel Carro, Gopal Gupta
2021	J	`jnl`	grASP: A Graph Based ASP-Solver and Justification System. CoRR Fang Li, Huaduo Wang, Gopal Gupta
2021	—	`conf`	s(CASP) for SWI-Prolog. ICLP Workshops Jan Wielemaker, Joaquín Arias, Gopal Gupta
2020	C	`conf`	AQuA: ASP-Based Visual Question Answering. PADL Kinjal Basu, Farhad Shakerin, Gopal Gupta
2020	J	`jnl`	Generating Concurrent Programs From Sequential Data Structure Knowledge. CoRR Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2020	—	`conf`	Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2020	J	`jnl`	Pointer Data Structure Synthesis from Answer Set Programming Specifications. CoRR Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
2020	—	`conf`	SQuARE: Semantics-based Question Answering and Reasoning Engine. ICLP Technical Communications Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta
2020	J	`jnl`	White-box Induction From SVM Models: Explainable AI with Logic Programming. CoRR Farhad Shakerin, Gopal Gupta
2020	J	`jnl`	White-box Induction From SVM Models: Explainable AI with Logic Programming. Theory Pract. Log. Program. Farhad Shakerin, Gopal Gupta
2020	C	`conf`	Whitebox Induction of Default Rules Using High-Utility Itemset Mining. PADL Farhad Shakerin, Gopal Gupta
2019	C	`conf`	An ASP Based Approach to Answering Questions for Natural Language Text. PADL Dhruva Pendharkar, Gopal Gupta
2019	—	`conf`	Constraint Answer Set Programming without Grounding and its Applications. Datalog Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019	A*	`conf`	Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. AAAI Farhad Shakerin, Gopal Gupta
2019	J	`jnl`	Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining. CoRR Farhad Shakerin, Gopal Gupta
2019	C	`conf`	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
2019	C	`conf`	Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
2018	J	`jnl`	Constraint Answer Set Programming without Grounding. CoRR Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018	J	`jnl`	Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018	—	`conf`	Cumulative Scoring-Based Induction of Default Theories. ICLP (Technical Communications) Farhad Shakerin, Gopal Gupta
2018	—	`conf`	Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. ILP Up-and-Coming / Short Papers Farhad Shakerin, Gopal Gupta
2018	J	`jnl`	Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems. CoRR Farhad Shakerin, Gopal Gupta
2018	J	`jnl`	Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. CoRR Farhad Shakerin, Gopal Gupta
2017	—	`conf`	A Case for Query-driven Predicate Answer Set Programming. ARCADE@CADE Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin
2017	J	`jnl`	A New Algorithm to Automate Inductive Learning of Default Theories. CoRR Farhad Shakerin, Elmer Salazar, Gopal Gupta
2017	J	`jnl`	A new algorithm to automate inductive learning of default theories. Theory Pract. Log. Program. Farhad Shakerin, Elmer Salazar, Gopal Gupta
2017	J	`jnl`	Computing Stable Models of Normal Logic Programs Without Grounding. CoRR Kyle Marple, Elmer Salazar, Gopal Gupta
2017	J	`jnl`	Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. CoRR Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Sandeep Das, Alpesh Amin
2017	J	`jnl`	Improving adherence to heart failure management guidelines via abductive reasoning. Theory Pract. Log. Program. Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin
2016	J	`jnl`	A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns. CoRR Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
2016	J	`jnl`	A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. Theory Pract. Log. Program. Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil
2016	J	`jnl`	A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Rev. Neda Saeedloei, Gopal Gupta
2016	—	`conf`	Augmented reality for breast tumors visualization. EMBC Mohammad Ali Ghaderi, Mehrdad Heydarzadeh, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
2016	J	`jnl`	Generalized semantic Web service composition. Serv. Oriented Comput. Appl. Srividya Kona Bansal, Ajay Bansal, Gopal Gupta, M. Brian Blake
2015	J	`jnl`	Language-based software engineering. Sci. Comput. Program. Gopal Gupta
2015	—	`conf`	mHealth Platform for Breast Cancer Risk Assessment. ICHI Mohammad Ali Ghaderi, Gopal Gupta, Lakshman Tamil, Mohamed M. Abdallah, Khalid A. Qaraqe
2014	J	`jnl`	Dynamic Consistency Checking in Goal-Directed Answer Set Programming. CoRR Kyle Marple, Gopal Gupta
2014	J	`jnl`	Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Theory Pract. Log. Program. Kyle Marple, Gopal Gupta
2014	C	`ed.`	Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers LOPSTR Gopal Gupta, Ricardo Peña
2013	—	`conf`	Apnea MedAssist II: A smart phone based system for sleep apnea assessment. BIBM Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
2013	—	`conf`	Timed π-Calculus. TGC Neda Saeedloei, Gopal Gupta
2012	Misc	`conf`	Coinductive Constraint Logic Programming. FLOPS Neda Saeedloei, Gopal Gupta
2012	C	`conf`	Galliwasp: A Goal-Directed Answer Set Solver. LOPSTR Kyle Marple, Gopal Gupta
2012	C	`conf`	Goal-directed execution of answer set programs. PPDP Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta
2012	—	`ch.`	Semantics-Based Web Service Composition Engine. Semantic Web Services, Advancement through Evaluation Srividya K. Bansal, Ajay Bansal, Gopal Gupta
2011	J	`jnl`	A logic-based modeling and verification of CPS. SIGBED Rev. Neda Saeedloei, Gopal Gupta
2011	—	`conf`	A virtual sleep laboratory. mHealthSys@SenSys Cheng Shi, Mehrdad Nourani, Gopal Gupta, Lakshman Tamil
2011	—	`conf`	HygeiaTel: an intelligent telemedicine system with cognitive support. mHealthSys@SenSys Savio Monteiro, Gopal Gupta, Mehrdad Nourani, Lakshman Tamil
2011	B	`conf`	Infinite Computation, Co-induction and Computational Logic. CALCO Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
2010	—	`conf`	Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) Neda Saeedloei, Gopal Gupta
2010	Misc	`conf`	Timed Planning. FLAIRS Ajay Bansal, Neda Saeedloei, Gopal Gupta
2010	C	`conf`	Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA Neda Saeedloei, Gopal Gupta
2010	C	`conf`	Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta
2009	J	`jnl`	A Scalable Wireless Body Area Network for Bio-Telemetry. J. Inf. Process. Syst. Adnan Saeed, Miad Faezipour, Mehrdad Nourani, Subhash Banerjee, Gil Lee, Gopal Gupta, Lakshman Tamil
2009	—	`conf`	ActionScript bytecode verification with co-logic programming. PLAS Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar
2009	Misc	`conf`	Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS Richard Min, Gopal Gupta
2009	C	`conf`	Coinductive Logic Programming with Negation. LOPSTR Richard Min, Gopal Gupta
2009	J	`jnl`	Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. Hai-Feng Guo, Gopal Gupta
2009	—	`ch.`	Mathematics and Accessibility. The Universal Access Handbook Enrico Pontelli, Arthur I. Karshmer, Gopal Gupta
2009	Misc	`conf`	Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI Richard Min, Ajay Bansal, Gopal Gupta
2009	J	`jnl`	USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. Int. J. Web Serv. Res. Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite
2008	C	`conf`	An Agent-Based Approach for Composition of Semantic Web Services. WETICE Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta
2008	A	`conf`	Generalized Semantics-Based Service Composition. ICWS Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta
2008	J	`jnl`	Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. Hai-Feng Guo, Gopal Gupta
2008	—	`conf`	Towards a General Framework for Web Service Composition. IEEE SCC (2) Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta
2007	A	`conf`	Automatic Composition of SemanticWeb Services. ICWS Srividya Kona, Ajay Bansal, Gopal Gupta
2007	A*	`conf`	Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
2007	B	`conf`	Coinductive Logic Programming and Its Applications. ICLP Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
2007	J	`jnl`	ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm CoRR Siddharth Chitnis, Madhu Yennamani, Gopal Gupta
2007	J	`jnl`	PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2007	—	`conf`	Semantics-basedWeb Service Composition engine. CEC/EEE Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite
2007	—	`conf`	VoxBoox: A System for Automatic Generation of Interactive Talking Books. HCI (7) Aanchal Jain, Gopal Gupta
2007	—	`conf`	Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer
2006	B	`conf`	Coinductive Logic Programming. ICLP Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
2006	J	`jnl`	PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006	J	`jnl`	Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distributed Comput. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006	A	`conf`	VoxBoox: : a system for automatic generation of interactive talking books. ASSETS Aanchal Jain, Gopal Gupta
2006	—	`conf`	Web Service Discovery and Composition using USDL. CEC/EEE Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite
2005	A	`conf`	A Universal Service Description Language. ICWS Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite
2005	C	`conf`	Design and Implementation of A LOPSTR Luke Simon, Ajay Mallya, Gopal Gupta
2005	B	`ed.`	Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings ICLP Maurizio Gabbrielli, Gopal Gupta
2005	C	`conf`	Optimization with mode-directed preferences. PPDP Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
2005	Misc	`conf`	Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. SAC Qian Wang, Gopal Gupta
2005	Misc	`conf`	Software Engineering Track Chair's Message. ICDCIT Gopal Gupta
2005	A	`conf`	Towards Intelligent Services: A Case Study in Chemical Emergency Response. ICWS Ajay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves
2005	C	`conf`	Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL Qian Wang, Gopal Gupta, Michael Leuschel
2004	—	`conf`	A Logic Programming-based Environment for Integrating Architecture Description Languages. WLPE Qian Wang, Gopal Gupta
2004	C	`conf`	Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. ICCHP Narayan Annamalai, Gopal Gupta, B. Prabhakaran
2004	J	`jnl`	An Efficient and Flexible Engine for Computing Fixed Points CoRR Hai-Feng Guo, Gopal Gupta
2004	Misc	`conf`	Framework for Safe Reuse of Software Binaries. ICDCIT Ramakrishnan Venkitaraman, Gopal Gupta
2004	C	`conf`	Listener-Controlled Dynamic Navigation of VoiceXML Documents. ICCHP Hemambaradara Reddy, Narayan Annamalai, Gopal Gupta
2004	C	`conf`	Simplifying Dynamic Programming via Tabling. PADL Hai-Feng Guo, Gopal Gupta
2004	Misc	`conf`	Static program analysis of embedded executable assembly code. CASES Ramakrishnan Venkitaraman, Gopal Gupta
2004	C	`conf`	Towards a Universal Maths Conversion Library. ICCHP Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli
2004	A	`conf`	UMA: a system for universal mathematics accessibility. ASSETS Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2004	J	`jnl`	UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2003	—	`conf`	A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2003	B	`conf`	A New Mode Declaration for Tabled Predicates. ICLP Hai-Feng Guo, Gopal Gupta
2003	—	`conf`	An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
2003	C	`conf`	Continuation Semantics as Horn Clauses. LOPSTR Qian Wang, Gopal Gupta
2003	—	`conf`	INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer
2003	—	`conf`	Provably Correct Code Generation: A Case Study. SVV@ICLP Qian Wang, Gopal Gupta
2003	Misc	`conf`	Semantic Processing of the Semantic Web. ISWC Kunal Patel, Gopal Gupta
2002	J	`jnl`	A constraint logic programming approach for generating all perfect matchings. Appl. Math. Lett. Frank Harary, Gopal Gupta
2002	C	`conf`	Architecting an Auditory Browser for Navigating Mathematical Expressions. ICCHP Arthur I. Karshmer, Gopal Gupta, Douglas J. Gillan
2002	—	`conf`	F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
2002	J	`jnl`	Intelligent non-visual navigation of complex HTML structures. Univers. Access Inf. Soc. Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong
2002	A	`conf`	Navigation of HTML tables, frames, and XML fragments. ASSETS Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer
2002	C	`conf`	Semantics-Based Filtering: Logic Programming's Killer App? PADL 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
2002	—	`conf`	Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond Gopal Gupta, Enrico Pontelli
2002	—	`conf`	Towards a Logic Programming Based Environment for Automatic Generation of Translators. WLPE Gopal Gupta, Deepa Gopal
2001	B	`conf`	A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP Hai-Feng Guo, Gopal Gupta
2001	J	`jnl`	Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distributed Syst. Enrico Pontelli, Gopal Gupta
2001	B	`conf`	Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
2001	C	`conf`	Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
2001	J	`jnl`	Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw. Pract. Exp. Gopal Gupta, Enrico Pontelli
2001	B	`conf`	PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2001	J	`jnl`	Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
2001	Misc	`conf`	The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo
2000	A	`conf`	A domain specific language framework for non-visual browsing of complex HTML structures. ASSETS Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer
2000	J	`jnl`	Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Informatica Desh Ranjan, Enrico Pontelli, Gopal Gupta
2000	C	`conf`	Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL Gopal Gupta, Shameem F. Akhter
2000	J	`jnl`	Parallel implementation of Prolog: the ACE project. ACM SIGSOFT Softw. Eng. Notes Gopal Gupta
2000	—	`conf`	Reliable software construction: a logic programming based methodology. HASE Gopal Gupta
2000	J	`jnl`	The Temporal Precedence Problem. Algorithmica Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré
1999	J	`jnl`	Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages J. Funct. Log. Program. Enrico Pontelli, Desh Ranjan, Gopal Gupta
1999	B	`conf`	Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP Gopal Gupta, Enrico Pontelli
1999	J	`jnl`	Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. Enrico Pontelli, Gopal Gupta
1999	—	`ch.`	Horn Logic Denotations and Their Applications. The Logic Programming Paradigm Gopal Gupta
1999	J	`jnl`	On the Complexity of Or-Parallelism. New Gener. Comput. Desh Ranjan, Enrico Pontelli, Gopal Gupta
1999	—	`ed.`	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 Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999	—	`conf`	Preface. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999	J	`jnl`	Reading and writing mathematics: The MAVIS Behav. Inf. Technol. Arthur I. Karshmer, Gopal Gupta, Sandy Geiger, Chris Weaver
1999	—	`conf`	Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta
1999	B	`conf`	Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP Gopal Gupta, Enrico Pontelli
1998	B	`conf`	Automatic Generation of Provably Correct Parallelizing Compilers. ICPP Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas
1998	J	`jnl`	Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. Desh Ranjan, Enrico Pontelli, Gopal Gupta
1998	B	`conf`	Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP Enrico Pontelli, Gopal Gupta
1998	—	`conf`	Horn Logic Denotations. IJCSLP Gopal Gupta
1998	—	`conf`	Natural Language Multiprocessing: A Case Study. AAAI/IAAI Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
1998	—	`conf`	Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell
1998	C	`ed.`	Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings PADL Gopal Gupta
1998	—	`conf`	Reading and Writing Mathematics: the MAVIS Project. International ACM Conference on Assistive Technologies Arthur I. Karshmer, Gopal Gupta, Sandy Geiger, Chris Weaver
1998	—	`conf`	The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP Enrico Pontelli, Desh Ranjan, Gopal Gupta
1997	A	`conf`	A constraint-based approach for specification and verification of real-time systems. RTSS Gopal Gupta, Enrico Pontelli
1997	B	`conf`	Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro
1997	—	`conf`	Extended dynamic dependent and-parallelism in ACE. PASCO Gopal Gupta, Enrico Pontelli
1997	—	`conf`	High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE Gopal Gupta, Enrico Pontelli
1997	B	`conf`	Implementation Mechanisms for Dependent And-Parallelism. ICLP Enrico Pontelli, Gopal Gupta
1997	—	`conf`	On the Complexity of Parallel Implementation of Logic Programs. FSTTCS Enrico Pontelli, Desh Ranjan, Gopal Gupta
1997	—	`conf`	Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS Gopal Gupta, Enrico Pontelli
1997	J	`jnl`	Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. Enrico Pontelli, Gopal Gupta
1997	—	`conf`	VACE: A Tool for Visualization of And-Or Parallel Execution. LPE Rick Vaupel, Enrico Pontelli, Gopal Gupta
1997	B	`conf`	Visualization of And/Or-Parallel Execution of Logic Programs. ICLP Rick Vaupel, Enrico Pontelli, Gopal Gupta
1997	B	`conf`	W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI Enrico Pontelli, Gopal Gupta
1996	J	`jnl`	Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. Gopal Gupta, Vítor Santos Costa
1996	—	`conf`	Dependent And-Parallelism Revisited (Poster Abstract). JICSLP Enrico Pontelli, Gopal Gupta
1996	J	`jnl`	Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. Gopal Gupta, Mats Carlsson
1996	J	`jnl`	Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996	—	`conf`	Last alternative optimization. SPDP Gopal Gupta, Enrico Pontelli
1996	—	`conf`	Nested Parallel Call Optimization. IPPS Enrico Pontelli, Gopal Gupta
1995	—	`conf`	&ACE: a high-performance parallel Prolog system. IPPS Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1995	—	`conf`	Data parallel logic programming in &ACE. SPDP Enrico Pontelli, Gopal Gupta
1995	B	`conf`	Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP Enrico Pontelli, Gopal Gupta, Dongxing Tang
1995	—	`conf`	On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par Enrico Pontelli, Gopal Gupta
1995	B	`conf`	Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
1994	—	`conf`	&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
1994	B	`conf`	ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
1994	—	`conf`	Determinancy Driven Optimization of Parallel Prolog Implementations. Workshop on Design and Impl. of Parallel Logic Programming Systems Enrico Pontelli, Gopal Gupta, Dongxing Tang
1994	—	`conf`	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994	—	`conf`	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994	J	`jnl`	Optimal implementation of and-or parallel Prolog. Future Gener. Comput. Syst. Gopal Gupta, Vítor Santos Costa
1994	—	`ed.`	Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994 Workshop on Design and Impl. of Parallel Logic Programming Systems Enrico Pontelli, Gopal Gupta
1993	J	`jnl`	Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. Gopal Gupta, Bharat Jayaraman
1993	J	`jnl`	And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1993	J	`jnl`	And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. Gopal Gupta, Bharat Jayaraman
1992	—	`conf`	And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE Gopal Gupta, Vítor Santos Costa
1992	—	`conf`	Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP Gopal Gupta, Vítor Santos Costa
1992	J	`jnl`	Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. Inf. Process. Lett. Gopal Gupta
1992	—	`conf`	Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1992	—	`conf`	Recomputation based Implementations of And-Or Parallel Prolog. FGCS Gopal Gupta, Manuel V. Hermenegildo
1991	—	`conf`	ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs Gopal Gupta, Manuel V. Hermenegildo
1991	—	`conf`	IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
1991	—	`ed.`	Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, France, June 24, 1991, Proceedings ICLP Workshop on Parallel Execution of Logic Programs Anthony Joseph Beaumont, Gopal Gupta
1990	—	`conf`	A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. ICPP (3) Gopal Gupta
1990	—	`conf`	On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP Gopal Gupta, Bharat Jayaraman
1990	—	`conf`	Optimizing And-Or Parallel Implementations. NACLP Gopal Gupta, Bharat Jayaraman
1989	—	`conf`	Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP Gopal Gupta, Bharat Jayaraman
1989	J	`jnl`	EqL: The Language and Its Implementation. IEEE Trans. Software Eng. Bharat Jayaraman, Gopal Gupta
1988	J	`jnl`	A universal test set for CMOS circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gopal Gupta, Niraj K. Jha
1986	—	`conf`	Parallel execution of an equational language. Graph Reduction Bharat Jayaraman, Gopal Gupta