Parallel execution of an equational language. - Bharat Jayaraman; Gopal Gupta 001 (Graph Reduction, 1986)

A universal test set for CMOS circuits. - Gopal Gupta 001; Niraj K. Jha (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

Combined And-Or Parallelism on Shared Memory Multiprocessors. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1989)

EqL: The Language and Its Implementation. - Bharat Jayaraman; Gopal Gupta 001 (IEEE Trans. Software Eng., 1989)

A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. - Gopal Gupta 001 (ICPP (3), 1990)

Optimizing And-Or Parallel Implementations. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1990)

On Criteria for Or-Parallel Execution Models of Logic Programs. - Gopal Gupta 001; Bharat Jayaraman (NACLP, 1990)

ACE: And/Or-parallel Copying-based Execution of Logic Programs. - Gopal Gupta 001; Manuel V. Hermenegildo (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. - Gopal Gupta 001; Vítor Santos Costa; Rong Yang 004; Manuel V. Hermenegildo (ISLP, 1991)

Recomputation based Implementations of And-Or Parallel Prolog. - Gopal Gupta 001; Manuel V. Hermenegildo (FGCS, 1992)

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

And-Or Parallelism in Full Prolog with Paged Binding Arrays. - Gopal Gupta 001; Vítor Santos Costa (PARLE, 1992)

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (SPDP, 1992)

Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. - Gopal Gupta 001 (Inf. Process. Lett., 1992)

And-Or Parallelism on Shared-Memory Multiprocessors. - Gopal Gupta 001; Bharat Jayaraman (J. Log. Program., 1993)

And-Or Parallel Prolog: A Recomputation Based Approach. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (New Gener. Comput., 1993)

Analysis of Or-Parallel Execution Models. - Gopal Gupta 001; Bharat Jayaraman (ACM Trans. Program. Lang. Syst., 1993)

ACE: And/Or-parallel Copying-based Execution of Logic Programs. - Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Vítor Santos Costa (ICLP, 1994)

&ACE: the And-parallel Component of ACE (A Progress Report on ACE). - Enrico Pontelli; Gopal Gupta 001; Manuel V. Hermenegildo (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. - Dongxing Tang; Enrico Pontelli; Gopal Gupta 001; Manuel Carro (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Determinancy Driven Optimization of Parallel Prolog Implementations. - Enrico Pontelli; Gopal Gupta 001; Dongxing Tang (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Optimal implementation of and-or parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (Future Gener. Comput. Syst., 1994)

On the Duality Between Or-parallelism and And-parallelism in Logic Programming. - Enrico Pontelli; Gopal Gupta 001 (Euro-Par, 1995)

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. - Gopal Gupta 001; Vítor Santos Costa; Enrico Pontelli (ICLP, 1995)

Determinacy Driven Optimizations of And-Parallel Prolog Implementations. - Enrico Pontelli; Gopal Gupta 001; Dongxing Tang (ICLP, 1995)

&ACE: a high-performance parallel Prolog system. - Enrico Pontelli; Gopal Gupta 001; Manuel V. Hermenegildo (IPPS, 1995)

Data parallel logic programming in &ACE. - Enrico Pontelli; Gopal Gupta 001 (SPDP, 1995)

Dependent And-Parallelism Revisited (Poster Abstract). - Enrico Pontelli; Gopal Gupta 001 (JICSLP, 1996)

Nested Parallel Call Optimization. - Enrico Pontelli; Gopal Gupta 001 (IPPS, 1996)

Last alternative optimization. - Gopal Gupta 001; Enrico Pontelli (SPDP, 1996)

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. - Enrico Pontelli; Gopal Gupta 001; Dongxing Tang; Manuel Carro; Manuel V. Hermenegildo (Comput. Lang., 1996)

Cuts and Side-Effects in And-Or Parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (J. Log. Program., 1996)

Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. - Gopal Gupta 001; Mats Carlsson (J. Log. Program., 1996)

High Performance Parallel Logic Programming: The ACE Parallel Prolog System. - Gopal Gupta 001; Enrico Pontelli (APPIA-GULP-PRODE, 1997)

On the Complexity of Parallel Implementation of Logic Programs. - Enrico Pontelli; Desh Ranjan; Gopal Gupta 001 (FSTTCS, 1997)

Implementation Mechanisms for Dependent And-Parallelism. - Enrico Pontelli; Gopal Gupta 001 (ICLP, 1997)

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. - Enrico Pontelli; Gopal Gupta 001; Francesco Pulvirenti; Alfredo Ferro (ICLP, 1997)

Visualization of And/Or-Parallel Execution of Logic Programs. - Rick Vaupel; Enrico Pontelli; Gopal Gupta 001 (ICLP, 1997)

W-ACE: A Logic Language for Intelligent Internet Programming. - Enrico Pontelli; Gopal Gupta 001 (ICTAI, 1997)

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. - Gopal Gupta 001; Enrico Pontelli (IPPS, 1997)

VACE: A Tool for Visualization of And-Or Parallel Execution. - Rick Vaupel; Enrico Pontelli; Gopal Gupta 001 (LPE, 1997)

A constraint-based approach for specification and verification of real-time systems. - Gopal Gupta 001; Enrico Pontelli (RTSS, 1997)

Parallel Symbolic Computation in ACE. - Enrico Pontelli; Gopal Gupta 001 (Ann. Math. Artif. Intell., 1997)

Reading and Writing Mathematics: the MAVIS Project. - Arthur I. Karshmer; Gopal Gupta 001; Sandy Geiger; Chris Weaver 002 (International ACM Conference on Assistive Technologies, 1998)

Horn Logic Denotations. - Gopal Gupta 001 (IJCSLP, 1998)

Natural Language Multiprocessing: A Case Study. - Enrico Pontelli; Gopal Gupta 001; Janyce Wiebe; David Farwell (Implementation Technology for Programming Languages based on Logic, 1998)

Automatic Generation of Provably Correct Parallelizing Compilers. - Gopal Gupta 001; Enrico Pontelli; Amado Lara-Rodríguez; Roberto Felix-Cardenas (ICPP, 1998)

Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. - Enrico Pontelli; Gopal Gupta 001 (ICPP, 1998)

The Complexity of Late-Binding in Dynamic Object-Oriented Languages. - Enrico Pontelli; Desh Ranjan; Gopal Gupta 001 (PLILP/ALP, 1998)

Efficient Algorithms for the Temporal Precedence Problem. - Desh Ranjan; Enrico Pontelli; Gopal Gupta 001 (Inf. Process. Lett., 1998)

Horn Logic Denotations and Their Applications. - Gopal Gupta 001 (The Logic Programming Paradigm, 1999)

Software technology and computer interfaces for the disabled: non-visual WWW browsing. - Arthur I. Karshmer; Enrico Pontelli; Gopal Gupta 001 (HCI (2), 1999)

Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. - Gopal Gupta 001; Enrico Pontelli (ICLP, 1999)

Efficient Techniques for Distributed Implementation of Search-Based AI Systems. - Gopal Gupta 001; Enrico Pontelli (ICPP, 1999)

Reading and writing mathematics: The MAVIS1 Project. - Arthur I. Karshmer; Gopal Gupta 001; Sandy Geiger; Chris Weaver 002 (Behav. Inf. Technol., 1999)

Extended Dynamic Dependent And-Parallelism in ACE. - Enrico Pontelli; Gopal Gupta 001 (J. Funct. Log. Program., 1999)

Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages - Enrico Pontelli; Desh Ranjan; Gopal Gupta 001 (J. Funct. Log. Program., 1999)

On the Complexity of Or-Parallelism. - Desh Ranjan; Enrico Pontelli; Gopal Gupta 001 (New Gener. Comput., 1999)

Preface. - Inês de Castro Dutra; Vítor Santos Costa; Gopal Gupta 001; Enrico Pontelli; Manuel Carro; Péter Kacsuk (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

A domain specific language framework for non-visual browsing of complex HTML structures. - Enrico Pontelli; W. Xiong; Gopal Gupta 001; Arthur I. Karshmer (ASSETS, 2000)

Reliable software construction: a logic programming based methodology. - Gopal Gupta 001 (HASE, 2000)

Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. - Gopal Gupta 001; Shameem F. Akhter (PADL, 2000)

Data structures for order-sensitive predicates in parallel nondeterministic systems. - Desh Ranjan; Enrico Pontelli; Gopal Gupta 001 (Acta Informatica, 2000)

The Temporal Precedence Problem. - Desh Ranjan; Enrico Pontelli; Gopal Gupta 001; Luc Longpré (Algorithmica, 2000)

Parallel implementation of Prolog: the ACE project. - Gopal Gupta 001 (ACM SIGSOFT Softw. Eng. Notes, 2000)

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. - Arthur I. Karshmer; Gopal Gupta 001; Klaus Miesenberger; Enrico Pontelli; Hai-Feng Guo (HCI, 2001)

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. - Hai-Feng Guo; Gopal Gupta 001 (ICLP, 2001)

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. - Karen Villaverde; Enrico Pontelli; Hai-Feng Guo; Gopal Gupta 001 (ICLP, 2001)

Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. - Karen Villaverde; Hai-Feng Guo; Enrico Pontelli; Gopal Gupta 001 (ICPP, 2001)

Interoperability between Bioinformatics Tools: A Logic Programming Approach. - Juan Raymundo Iglesias; Gopal Gupta 001; Enrico Pontelli; Desh Ranjan; Brook Milligan (PADL, 2001)

Optimization schemas for parallel implementation of non-deterministic languages and systems. - Gopal Gupta 001; Enrico Pontelli (Softw. Pract. Exp., 2001)

Parallel execution of prolog programs: a survey. - Gopal Gupta 001; Enrico Pontelli; Khayri A. M. Ali; Mats Carlsson; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 2001)

Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. - Enrico Pontelli; Gopal Gupta 001 (IEEE Trans. Parallel Distributed Syst., 2001)

Navigation of HTML tables, frames, and XML fragments. - Enrico Pontelli; Douglas J. Gillan; W. Xiong; Emad Saad; Gopal Gupta 001; Arthur I. Karshmer (ASSETS, 2002)

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. - Gopal Gupta 001; Enrico Pontelli (Computational Logic: Logic Programming and Beyond, 2002)

F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. - Enrico Pontelli; Desh Ranjan; Brook Milligan; Gopal Gupta 001 (CSB, 2002)

Architecting an Auditory Browser for Navigating Mathematical Expressions. - Arthur I. Karshmer; Gopal Gupta 001; Douglas J. Gillan (ICCHP, 2002)

Towards a Logic Programming Based Environment for Automatic Generation of Translators. - Gopal Gupta 001; Deepa Gopal (WLPE, 2002)

Semantics-Based Filtering: Logic Programming's Killer App? - Gopal Gupta 001; Hai-Feng Guo; Arthur I. Karshmer; Enrico Pontelli; Juan Raymundo Iglesias; Desh Ranjan; Brook Milligan; Nayana Datta; Omar El-Khatib; Mohammed Noamany; Xinhong Zhou (PADL, 2002)

A constraint logic programming approach for generating all perfect matchings. - Frank Harary; Gopal Gupta 001 (Appl. Math. Lett., 2002)

Intelligent non-visual navigation of complex HTML structures. - Enrico Pontelli; Douglas J. Gillan; Gopal Gupta 001; Arthur I. Karshmer; Emad Saad; W. Xiong (Univers. Access Inf. Soc., 2002)

An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. - Tran Cao Son; Enrico Pontelli; Desh Ranjan; Brook Milligan; Gopal Gupta 001 (DALT, 2003)

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. - Karen Villaverde; Enrico Pontelli; Hai-Feng Guo; Gopal Gupta 001 (Euro-Par, 2003)

INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. - Narayan Annamalai; Deepa Gopal; Gopal Gupta 001; Hai-Feng Guo; Arthur I. Karshmer (HCI (4), 2003)

A New Mode Declaration for Tabled Predicates. - Hai-Feng Guo; Gopal Gupta 001 (ICLP, 2003)

Continuation Semantics as Horn Clauses. - Qian Wang 024; Gopal Gupta 001 (LOPSTR, 2003)

Semantic Processing of the Semantic Web. - Kunal Patel; Gopal Gupta 001 (ISWC, 2003)

Provably Correct Code Generation: A Case Study. - Qian Wang 024; Gopal Gupta 001 (SVV@ICLP, 2003)

Static program analysis of embedded executable assembly code. - Ramakrishnan Venkitaraman; Gopal Gupta 001 (CASES, 2004)

Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. - Narayan Annamalai; Gopal Gupta 001; B. Prabhakaran 001 (ICCHP, 2004)

Towards a Universal Maths Conversion Library. - Dominique Archambault; Donal Fitzpatrick; Gopal Gupta 001; Arthur I. Karshmer; Klaus Miesenberger; Enrico Pontelli (ICCHP, 2004)

Listener-Controlled Dynamic Navigation of VoiceXML Documents. - Hemambaradara Reddy; Narayan Annamalai; Gopal Gupta 001 (ICCHP, 2004)

Framework for Safe Reuse of Software Binaries. - Ramakrishnan Venkitaraman; Gopal Gupta 001 (ICDCIT, 2004)

A Logic Programming-based Environment for Integrating Architecture Description Languages. - Qian Wang 024; Gopal Gupta 001 (WLPE, 2004)

Simplifying Dynamic Programming via Tabling. - Hai-Feng Guo; Gopal Gupta 001 (PADL, 2004)

An Efficient and Flexible Engine for Computing Fixed Points - Hai-Feng Guo; Gopal Gupta 001 (CoRR, 2004)

UMA: a system for universal mathematics accessibility. - Arthur I. Karshmer; Gopal Gupta 001; Enrico Pontelli; Klaus Miesenberger; N. Ammalai; Deepa Gopal; Mario Batusic; Bernhard Stöger; Brian Palmer; Hai-Feng Guo (ACM SIGACCESS Access. Comput., 2004)

Software Engineering Track Chair's Message. - Gopal Gupta 001 (ICDCIT, 2005)

Towards Intelligent Services: A Case Study in Chemical Emergency Response. - Ajay Bansal; Kunal Patel; Gopal Gupta 001; B. Raghavachari; E. D. Harris; James C. Staves (ICWS, 2005)

A Universal Service Description Language. - Luke Simon; Ajay Mallya; Ajay Bansal; Gopal Gupta 001; Thomas D. Hite (ICWS, 2005)

Design and Implementation of AT: A Real-Time Action Description Language. - Luke Simon; Ajay Mallya; Gopal Gupta 001 (LOPSTR, 2005)

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. - Qian Wang 024; Gopal Gupta 001; Michael Leuschel (PADL, 2005)

Optimization with mode-directed preferences. - Hai-Feng Guo; Bharat Jayaraman; Gopal Gupta 001; Miao Liu (PPDP, 2005)

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. - Qian Wang 024; Gopal Gupta 001 (SAC, 2005)

VoxBoox: : a system for automatic generation of interactive talking books. - Aanchal Jain; Gopal Gupta 001 (ASSETS, 2006)

Coinductive Logic Programming. - Luke Simon; Ajay Mallya; Ajay Bansal; Gopal Gupta 001 (ICLP, 2006)

Web Service Discovery and Composition using USDL. - Srividya Kona 001; Ajay Bansal; Gopal Gupta 001; Thomas D. Hite (CEC/EEE, 2006)

PALS: Efficient Or-Parallelism on Beowulf Clusters - Enrico Pontelli; Karen Villaverde; Hai-Feng Guo; Gopal Gupta 001 (CoRR, 2006)

Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. - Enrico Pontelli; Karen Villaverde; Hai-Feng Guo; Gopal Gupta 001 (J. Parallel Distributed Comput., 2006)

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. - Deepa Gopal; Qian Wang 024; Gopal Gupta 001; S. Chitnis; Haifeng Guo; Arthur I. Karshmer (HCI (7), 2007)

Co-Logic Programming: Extending Logic Programming with Coinduction. - Luke Simon; Ajay Bansal; Ajay Mallya; Gopal Gupta 001 (ICALP, 2007)

Coinductive Logic Programming and Its Applications. - Gopal Gupta 001; Ajay Bansal; Richard Min; Luke Simon; Ajay Mallya (ICLP, 2007)

Automatic Composition of SemanticWeb Services. - Srividya Kona 001; Ajay Bansal; Gopal Gupta 001 (ICWS, 2007)

Semantics-basedWeb Service Composition engine. - Srividya Kona 001; Ajay Bansal; Gopal Gupta 001; Thomas D. Hite (CEC/EEE, 2007)

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm - Siddharth Chitnis; Madhu Yennamani; Gopal Gupta 001 (CoRR, 2007)

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. - Enrico Pontelli; Karen Villaverde; Hai-Feng Guo; Gopal Gupta 001 (Theory Pract. Log. Program., 2007)

Towards a General Framework for Web Service Composition. - Srividya Kona 001; Ajay Bansal; M. Brian Blake; Gopal Gupta 001 (IEEE SCC (2), 2008)

Generalized Semantics-Based Service Composition. - Srividya Kona 001; Ajay Bansal; M. Brian Blake; Gopal Gupta 001 (ICWS, 2008)

An Agent-Based Approach for Composition of Semantic Web Services. - Ajay Bansal; Srividya Kona 001; M. Brian Blake; Gopal Gupta 001 (WETICE, 2008)

Simplifying dynamic programming via mode-directed tabling. - Hai-Feng Guo; Gopal Gupta 001 (Softw. Pract. Exp., 2008)

Coinductive Logic Programming and its Application to Boolean SAT. - Richard Min; Gopal Gupta 001 (FLAIRS, 2009)

Towards Predicate Answer Set Programming via Coinductive Logic Programming. - Richard Min; Ajay Bansal; Gopal Gupta 001 (AIAI, 2009)

Coinductive Logic Programming with Negation. - Richard Min; Gopal Gupta 001 (LOPSTR, 2009)

ActionScript bytecode verification with co-logic programming. - Brian W. DeVries; Gopal Gupta 001; Kevin W. Hamlen; Scott Moore 001; Meera Sridhar (PLAS, 2009)

Dynamic reordering of alternatives for definite logic programs. - Hai-Feng Guo; Gopal Gupta 001 (Comput. Lang. Syst. Struct., 2009)

A Scalable Wireless Body Area Network for Bio-Telemetry. - Adnan Saeed; Miad Faezipour; Mehrdad Nourani; Subhash Banerjee; Gil Lee; Gopal Gupta 001; Lakshman Tamil (J. Inf. Process. Syst., 2009)

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. - Srividya Kona 001; Ajay Bansal; Luke Simon; Ajay Mallya; Gopal Gupta 001; Thomas D. Hite (Int. J. Web Serv. Res., 2009)

Mathematics and Accessibility. - Enrico Pontelli; Arthur I. Karshmer; Gopal Gupta 001 (The Universal Access Handbook, 2009)

Timed Planning. - Ajay Bansal; Neda Saeedloei; Gopal Gupta 001 (FLAIRS, 2010)

Timed Definite Clause Omega-Grammars. - Neda Saeedloei; Gopal Gupta 001 (ICLP (Technical Communications), 2010)

Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). - Neda Saeedloei; Gopal Gupta 001 (LATA, 2010)

Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. - Ajay Bansal; Srividya Kona 001; M. Brian Blake; Gopal Gupta 001 (SEKE, 2010)

Infinite Computation, Co-induction and Computational Logic. - Gopal Gupta 001; Neda Saeedloei; Brian W. DeVries; Richard Min; Kyle Marple; Feliks Kluzniak (CALCO, 2011)

HygeiaTel: an intelligent telemedicine system with cognitive support. - Savio Monteiro; Gopal Gupta 001; Mehrdad Nourani; Lakshman Tamil (mHealthSys@SenSys, 2011)

A virtual sleep laboratory. - Cheng Shi; Mehrdad Nourani; Gopal Gupta 001; Lakshman Tamil (mHealthSys@SenSys, 2011)

A logic-based modeling and verification of CPS. - Neda Saeedloei; Gopal Gupta 001 (SIGBED Rev., 2011)

Semantics-Based Web Service Composition Engine. - Srividya K. Bansal; Ajay Bansal; Gopal Gupta 001 (Semantic Web Services, Advancement through Evaluation, 2012)

Coinductive Constraint Logic Programming. - Neda Saeedloei; Gopal Gupta 001 (FLOPS, 2012)

Galliwasp: A Goal-Directed Answer Set Solver. - Kyle Marple; Gopal Gupta 001 (LOPSTR, 2012)

Goal-directed execution of answer set programs. - Kyle Marple; Ajay Bansal; Richard Min; Gopal Gupta 001 (PPDP, 2012)

Apnea MedAssist II: A smart phone based system for sleep apnea assessment. - Cheng Shi; Mehrdad Nourani; Gopal Gupta 001; Lakshman Tamil (BIBM, 2013)

Timed π-Calculus. - Neda Saeedloei; Gopal Gupta 001 (TGC, 2013)

Dynamic Consistency Checking in Goal-Directed Answer Set Programming. - Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2014)

mHealth Platform for Breast Cancer Risk Assessment. - Mohammad Ali Ghaderi; Gopal Gupta 001; Lakshman Tamil; Mohamed M. Abdallah 001; Khalid A. Qaraqe (ICHI, 2015)

Language-based software engineering. - Gopal Gupta 001 (Sci. Comput. Program., 2015)

Augmented reality for breast tumors visualization. - Mohammad Ali Ghaderi; Mehrdad Heydarzadeh; Mehrdad Nourani; Gopal Gupta 001; Lakshman Tamil (EMBC, 2016)

A methodology for modeling and verification of cyber-physical systems based on logic programming. - Neda Saeedloei; Gopal Gupta 001 (SIGBED Rev., 2016)

Generalized semantic Web service composition. - Srividya Kona Bansal; Ajay Bansal; Gopal Gupta 001; M. Brian Blake (Serv. Oriented Comput. Appl., 2016)

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. - Zhuo Chen; Kyle Marple; Elmer Salazar; Gopal Gupta 001; Lakshman Tamil (Theory Pract. Log. Program., 2016)

A Case for Query-driven Predicate Answer Set Programming. - Gopal Gupta 001; Elmer Salazar; Kyle Marple; Zhuo Chen; Farhad Shakerin (ARCADE@CADE, 2017)

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. - Zhuo Chen; Elmer Salazar; Kyle Marple; Gopal Gupta 001; Lakshman Tamil; Sandeep Das; Alpesh Amin (CoRR, 2017)

Computing Stable Models of Normal Logic Programs Without Grounding. - Kyle Marple; Elmer Salazar; Gopal Gupta 001 (CoRR, 2017)

Improving adherence to heart failure management guidelines via abductive reasoning. - Zhuo Chen; Elmer Salazar; Kyle Marple; Gopal Gupta 001; Lakshman Tamil; Daniel Cheeran; Sandeep Das; Alpesh Amin (Theory Pract. Log. Program., 2017)

A new algorithm to automate inductive learning of default theories. - Farhad Shakerin; Elmer Salazar; Gopal Gupta 001 (Theory Pract. Log. Program., 2017)

Cumulative Scoring-Based Induction of Default Theories. - Farhad Shakerin; Gopal Gupta 001 (ICLP (Technical Communications), 2018)

Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. - Farhad Shakerin; Gopal Gupta 001 (ILP Up-and-Coming / Short Papers, 2018)

Constraint Answer Set Programming without Grounding. - Joaquín Arias; Manuel Carro; Elmer Salazar; Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2018)

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. - Farhad Shakerin; Gopal Gupta 001 (AAAI, 2019)

Constraint Answer Set Programming without Grounding and its Applications. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Datalog, 2019)

Synthesizing Imperative Code from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Elmer Salazar; Neeraj Mittal; Gopal Gupta 001 (LOPSTR, 2019)

An ASP Based Approach to Answering Questions for Natural Language Text. - Dhruva Pendharkar; Gopal Gupta 001 (PADL, 2019)

Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining. - Farhad Shakerin; Gopal Gupta 001 (CoRR, 2019)

AQuA: ASP-Based Visual Question Answering. - Kinjal Basu 002; Farhad Shakerin; Gopal Gupta 001 (PADL, 2020)

Whitebox Induction of Default Rules Using High-Utility Itemset Mining. - Farhad Shakerin; Gopal Gupta 001 (PADL, 2020)

Pointer Data Structure Synthesis from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

Justifications for Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (ICLP Technical Communications, 2020)

SQuARE: Semantics-based Question Answering and Reasoning Engine. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Gopal Gupta 001 (ICLP Technical Communications, 2020)

Generating Concurrent Programs From Sequential Data Structure Knowledge. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

White-box Induction From SVM Models: Explainable AI with Logic Programming. - Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2020)

Knowledge-driven Natural Language Understanding of English Text and its Applications. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Joaquín Arias; Gopal Gupta 001 (AAAI, 2021)

Natural Language Question Answering with Goal-directed Answer Set Programming. - Kinjal Basu 002; Gopal Gupta 001 (ICLP Workshops, 2021)

Graph Based Answer Set Programming Solver Systems. - Fang Li 010; Elmer Salazar; Gopal Gupta 001 (ICLP Workshops, 2021)

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. - Joaquín Arias; Gopal Gupta 001; Manuel Carro (ICLP Workshops, 2021)

Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 2021)

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. - Suraj Kothawade; Vinaya Khandelwal; Kinjal Basu 002; Huaduo Wang; Gopal Gupta 001 (ICLP Workshops, 2021)

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Brendan Hall; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Kevin Driscoll 001; Gopal Gupta 001 (ICLP Workshops, 2021)

s(CASP) for SWI-Prolog. - Jan Wielemaker; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2021)

grASP: A Graph Based ASP-Solver and Justification System. - Fang Li 010; Huaduo Wang; Gopal Gupta 001 (CoRR, 2021)

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. - Fang Li 010; Huaduo Wang; Kinjal Basu 002; Elmer Salazar; Gopal Gupta 001 (ICLP Technical Communications, 2021)

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (ICLP Technical Communications, 2021)

A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (CoRR, 2021)

CASPR: A Commonsense Reasoning-based Conversational Socialbot. - Kinjal Basu 002; Huaduo Wang; Nancy Dominguez; Xiangci Li; Fang Li 010; Sarat Chandra Varanasi; Gopal Gupta 001 (CoRR, 2021)

FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2021)

Graph-based Interpretation of Normal Logic Programs. - Fang Li 010; Elmer Salazar; Gopal Gupta 001 (CoRR, 2021)

Teaching Complex Software Engineering Concepts through Analogies. - Pawan Saxena; Sanjay K. Singh; Gopal Gupta 001 (FIE, 2022)

FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. - Huaduo Wang; Gopal Gupta 001 (FLOPS, 2022)

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. - Kinjal Basu 002; Elmer Salazar; Huaduo Wang; Joaquín Arias; Parth Padalkar; Gopal Gupta 001 (ICLP Workshops, 2022)

Tutorial: Automating Commonsense Reasoning. - Gopal Gupta 001; Elmer Salazar; Sarat Chandra Varanasi; Kinjal Basu 002; Joaquín Arias; Farhad Shakerin; Fang Li 010; Huaduo Wang (ICLP Workshops, 2022)

LTL Model Checking using Coinductive Answer Set Programming. - Sarat Chandra Varanasi; Neda Saeedloei; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2022)

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. - Joaquín Arias; Manuel Carro; Gopal Gupta 001 (PADL, 2022)

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2022)

FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (CoRR, 2022)

FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2022)

FOLD-SE: Scalable Explainable AI. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2022)

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Building Information Modeling Using Constraint Logic Programming. - Joaquín Arias; Seppo Törmä; Manuel Carro; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Parallel Logic Programming: A Sequel. - Agostino Dovier; Andrea Formisano 001; Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Ricardo Rocha 001 (Theory Pract. Log. Program., 2022)

An ASP-based Approach to Answering Natural Language Questions for Texts. - Dhruva Pendharkar; Kinjal Basu 002; Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Proof-Theoretic Foundations of Normal Logic Programs. - Elmer Salazar; Gopal Gupta 001 (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (ICLP Workshops, 2023)

Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. - Abhiramon Rajasekharan; Yankai Zeng; Gopal Gupta 001 (ICLP Workshops, 2023)

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. - Zesheng Xu; Joaquín Arias; Elmer Salazar; Zhuo Chen; Sarat Chandra Varanasi; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2023)

NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (CoRR, 2023)

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming. - Abhiramon Rajasekharan; Yankai Zeng; Parth Padalkar; Gopal Gupta 001 (ICLP, 2023)

Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. - Parth Padalkar; Gopal Gupta 001 (CoRR, 2023)

Counterfactual Explanation Generation with s(CASP). - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2023)

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 2023)

Logic-Based Explainable and Incremental Machine Learning. - Gopal Gupta 001; Huaduo Wang; Kinjal Basu 002; Farhad Shakerin; Elmer Salazar; Sarat Chandra Varanasi; Parth Padalkar; Sopam Dasgupta (Prolog: The Next 50 Years, 2023)

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (Theory Pract. Log. Program., 2023)

NeSyFOLD: A Framework for Interpretable Image Classification. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (AAAI, 2024)

Computational Thinking with Logic Programming. - Gopal Gupta 001; Elmer Salazar; Joaquín Arias (ICLP Workshops, 2024)

Causally Constrained Counterfactual Generation using ASP. - Sopam Dasgupta; Farhad Shakerin; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Automated Playing of Survival Video Games with Commonsense Reasoning. - Bryant Hargreaves; Dan N. Nguyen; Keegan Kimbrell; Gopal Gupta 001 (ICLP Workshops, 2024)

Autonomous Task Completion Based on Goal-directed Answer Set Programming. - Alexis R. Tudor; Gopal Gupta 001 (ICLP Workshops, 2024)

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 2024)

Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (PADL, 2024)

FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. - Huaduo Wang; Gopal Gupta 001 (PADL, 2024)

Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. - Yankai Zeng; Abhiramon Rajasekharan; Parth Padalkar; Kinjal Basu 002; Joaquín Arias; Gopal Gupta 001 (PADL, 2024)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 2024)

Counterfactual Generation with Answer Set Programming. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

A Neurosymbolic Framework for Bias Correction in CNNs. - Parth Padalkar; Natalia Slusarz; Ekaterina Komendantskaya; Gopal Gupta 001 (CoRR, 2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Superfast Selection for Decision Tree Algorithms. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 2024)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)

A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. - Parth Padalkar; Natalia Slusarz; Ekaterina Komendantskaya; Gopal Gupta 001 (Theory Pract. Log. Program., 2024)

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (Theory Pract. Log. Program., 2024)

Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency. - Jaeseong Lee; Wei Yang 013; Gopal Gupta 001; Shiyi Wei (COLING, 2025)

C3G: Causally Constrained Counterfactual Generation. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (PADL, 2025)

Automated Playing of Survival Video Games with Commonsense Reasoning. - Bryant Hargreaves; Dan N. Nguyen; Keegan Krimbell; Gopal Gupta 001 (PADL, 2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. - Fang Li 010; Fei Zuo; Gopal Gupta 001 (PADL, 2025)

Improving Interpretability and Accuracy in Neuro-Symbolic Rule Extraction Using Class-Specific Sparse Filters. - Parth Padalkar; Jaeseong Lee; Shiyi Wei; Gopal Gupta 001 (CoRR, 2025)

VECSR: Virtually Embodied Common Sense Reasoning System. - Alexis R. Tudor; Joaquín Arias; Gopal Gupta 001 (CoRR, 2025)

Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming. - Yankai Zeng; Gopal Gupta 001 (CoRR, 2025)

Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers. - Parth Padalkar; Gopal Gupta 001 (CoRR, 2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning. - Alexis R. Tudor; Yankai Zeng; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (CoRR, 2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System. - Gopal Gupta 001; Abhiramon Rajasekharan; Alexis R. Tudor; Elmer Salazar; Joaquín Arias (CoRR, 2025)