Software: SHAP-FOLD: An Explainable AI system for
discovering the logic from models learned using statistical methods (includes source code and documentation.)
Software: The s(ASP) System: A predicate answer set programming system (includes source code and documentation.)
Software:The s(CASP) System: The s(ASP) system re-engineered to include constraints by Joaqin Arias and Manuel Carro at IMDEA, Spain;
A medical application of s(ASP): A
Physician Advisory System for CHF
(appears in Proc. ICLP 2016); automates the guidelines published here using the s(ASP) system.
HackReason 1.0: A hackathon around s(ASP) was organized by the UT Dallas AI Society in Nov 2016. See the 18 projects that were undertaken.
HackReason 2.0: A hackathon around s(CASP) was organized by the UT Dallas AI Society in Jan 2021. See the 17 projects that were undertaken.
Software Engineering: Software Verification, Real-time Systems,
Domain Specific Languages, Interoperability.
Parallel and Distributed Processing: High Performance
AI and Constraint Logic Programming Systems, Automatic
Parallelization, Parallel Architectures, Applications.
Human Computer Interaction: Tools for Visually
Impaired; Intelligent Interfaces.
Support for my group has been provided by
DARPA, NSF, NATO, EPA, DHS, Sandia National Labs, AITEC (Japan), Fullbright Foundation, etc.
Software Systems developed by my research group
SHAP-FOLD Explainable AI System for Relational Learning. With Shakerin.
s(CASP): Predicate Constraint Answer Set Programming System. With Arias (UPM), Carro (UPM), Marple, Salazar
s(ASP): Predicate Answer Set Programming System. With Marple, Salazar
Galliwasp: Goal-directed Answer Set Solver. With Marple, Min, Bansal.
CoLP Metainterpreter: Meta-interpreter for co-LP. With Kluzniak, Simon, Mallya, Bansal.
NEXUS parser: A parser for NEXUS (NEXUS is a bioinformatics
mark-up language).
ExSched System: An Excel Plug-in for Knowledgesheet (see below).
A spreadsheet interface for solving constraint satisfaction
problems. With Tiwari, Chitnis, Yennamani. 2006. Used in the past by CS
and EE departments to automatically schedule courses.
VoxBoox System: A system for automatically generating interactive
talking books. With Aanchal Jain Click here to see demo.
DAWN System: A system that allows interactive audio/voice
based aural surfing of the WWW over the phone. With Raman, Nichols, Reddy, Annamalai.
Semantic Web System: Semantically maps RDF documents and
RDQL queries to Horn logic. The RDQL queries can then be
executed w.r.t. RDF data. With Kunal Patel, 2003.
TA Scheduler: Automatically assigns to TAs to courses.
Used at UTD since fall 2002 to make assignment for 70+ TAs to
about 120 courses. With
King, Gupta, Guballa, Mallya. 2003.
HTML to VoiceXML Transcoder: converts any HTML 4.0 web-page
to VoiceXML. Extensible. Developed
in Java (initial prototype in Prolog). With Narayan, Gupta, Dr. Prabhakaran.
Transform: Bioinformatics
interoperability tool (available through
swbic.org). With Drs Pontelli,
Ranjan, Milligan. 2001.
PALS: Parallel ALS, a distributed logic programming system based
on the commercial ALS Prolog system. Implements full Prolog, and runs
on Beowulf (ca. 2002). Built on top of
Applied Logic System's (ALS) WAM, uses MPI and the novel
technique of stack-splitting to realize distributivity.
Villaverde, Pontelli, Gupta, Guo.
TALS: Tabled ALS, a tabled logic programming system based
on the commercial ALS Prolog system. Implemented on top of ALS WAM, uses
novel technique of dynamic reordering of alternatives.
With Hai-Feng Guo.
NADA: An automatic system for checking undergraduate graduation requirements and
providing advise automatically to students (built for NMSU).
Implemented using Prolog + Java. Jose-Mendez, Karshmer, and Gupta. 1999.
ACE: A High Performance Parallel Prolog System implemented
on top of SICStus Prolog. Runs on SMMs. Pontelli and Gupta.
No longer maintained or available.
VACE: A tool for visualizing and-or parallel execution
of logic programs. Runs on daVinci. Vaupel, Pontelli, Gupta.
No longer maintained or available.
Knowledgesheet: A Spread-sheet based tool for solving
constraint satisfaction problems. Akhtar and Gupta.
Nemeth to Latex Backtranslator: A system for converting
Nemeth Math Braille document to Latex.
2001. Try the expression coverter here:
Nemeth Math to Latex Backtranslator (alpha).
An Interpreter for EqL: EqL is an equational language. Gupta and
Jayaraman. 1987. No longer maintained or available.
Enrico Pontelli, 1997, Ph.D. Thesis: Design and
Implementation of the ACE System. Currently, Dean of A&S, NMSU.
Awarded NSF CAREER grant, 1998;
Haifeng Guo, Oct. 2000 , Ph.D. Thesis: Efficient Distributed
and Tabled Logic Programming Systems. Ex
NSF Post Doc. Fellow, SUNY SB. Professor, CS Dept. University
of Nebraska at Omaha. Awarded Nebraska EPSCOR Career grant. Currently at Amazon.com.
Luke Simon, July. 2006, Ph.D. Thesis: Coinductive Logic Programming.
Twitter, Inc. (Won best paper award at ECOWS'05).
View the thesis
Ajay Mallya, Aug. 2006, Ph.D. Thesis: Deductive Model Checking.
Amazon.com, Seattle, WA. (won best student paper award at ICLP'05; best paper award ECOWS'05).
Qian Wang, Dec. 2007, Thesis: Semantics-based Approaches to Formal Language Processing, Interoperate LLC (best paper SVV'03).
View the thesis
Ajay Bansal, Dec. 2007, Thesis: Next Generation of LP Systems. Assistant Professor, Arizona State University. (Won best paper award at ECOWS'05).
View the thesis
Srividya Kona, Dec. 2007, Thesis: Automatic Discovery and Composition of Web Services, Associate Professor. Arizona State University.
Richard Min, August 2009, Thesis: Predicate Answer Set Programming with Coinduction. Taylor University.
View the thesis
Neda Saeedloei, 2011, Verification of Complex Real-time Systems. Asst. Professor, Towson State University.
View the thesis
Kyle Marple, 2014, Goal-directed Answer Set Programming. Walmart Technology Labs.
View the thesis
Stanley Jointer, 2016 (co-advised with Lakshman Tamil), Def-Logix, Inc.
Zhuo Chen, 2017, A Physician Advisory System based on ASP: Heart Failure. Postdoc Researcher at UT Dallas.
View the thesis
Mohammad Ali Ghaderi, 2017 (co-advised with Lakshman Tamil), iSono Health, Inc.
Savio Monteiro, 2018 (co-advised with Lakshman Tamil), Computer Associates.
Elmer Salazar, 2019, Proof-theoretic Foundations of Normal Logic Programs. Assistant Professor of Instruction, UT Dallas,
View the thesis
Farhad Shakerin, 2020, Logic-based Approaches for Explainable AI and Natural Language Understanding.
View the thesis
Kinjal Basu, PhD Student, Natural Language Question Answering based on Commonsense Reasoning
Sarat Varanasi, PhD Student (co-advised with Neeraj Mittal), Automated Synthesis of Concurrent Program.