Software: SHAP-FOLD: An Explainable AI system for
discovering the logic from models learned using statistical methods (includes source code and documentation.)
Software: s(ASP): A predicate answer set programming system (includes source code and documentation.)
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.
Hackathon: A hackathon around s(ASP) was organized by the UT Dallas AI Society in Nov 2016. See the 18 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
NSF, NATO, EPA, DHS, Sandia National Labs, AITEC (Japan), Fullbright Foundation, etc.
Software Systems developed by my research group
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, Full Professor, 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).
Ajay Bansal, Dec. 2007, Thesis: Next Generation of LP Systems. Postdoc. Georgetown University. (Won best paper award at ECOWS'05).
View the thesis
Srividya Kona, Dec. 2007, Thesis: Automatic Discovery and Composition of Web Services, Assistant 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, Southern Illinois University.
View the thesis
Kyle Marple, 2014, Goal-directed Answer Set Programming. Walmart Technology Labs.
View the thesis
Zhuo Chen, 2017, A Physician Advisory System based on ASP: Heart Failure. Postdoc Researcher at UT Dallas.
View the thesis
Elmer Salazar, Ph.D. student, Proof-theoretic Foundations of Normal Logic Programs.
Farhad Shakerin, Ph.D. student, Inductive Learning of Default Theories.
Master's Students (with information on first employment)
Dhruv Pendharker (2018, Uber), Converting Free Text to Knowledge;
View the thesis
Savio Monteiro, (2010, UTD CE PhD student), Mobile Aural Browsing.
Abhilash Tiwari (2009, NPI), Intelligent Interfaces for Problem Solving
Shrirang Khisti(2008, VMWare), Automatic Detection of Memory Leaks in Binary Executables
Parag Doshi(2007, Yahoo), General Strategies for Buffer Overflow Attack Proofing
Bharathi Boyareddigari, Thesis: Guidance System for Visually Impaired
