Software: FOLD-R++: An Explainable AI system for learning default rules directly from data for binary classification. Paper describing the system.
Software: FOLD-RM: An Explainable AI system for learning default rules directly from data for multi-category classification. Paper describing the system.
Software: SHAP-FOLD: An Explainable AI system for discovering the logic from models learned using statistical methods (includes source-code/documentation; re-implemented in Python)
Software:The s(CASP) System: The s(ASP) system re-engineered to include constraints. Paper describing the system.
Software: The s(ASP) System: A predicate answer set programming system (includes source code and documentation.); Paper describing the system.
Software:GALLIWASP: A goal-directed system for answer set programming (includes source code and documentation.) Software:Metainterpreter supporting tabling (DRA) and coinduction with applications to LTL model checking
Paper on uniform proof-theoretic treatment of various semantics of negation (the basis of s(ASP)/s(CASP)): click here
Tutorial intro to ASP and summary of s(ASP): click here
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.
HackAR: A hackathon around s(ASP) was organized by the UT Dallas AI Society in Nov 2016. See the 18 projects that were undertaken.
HackReason: A hackathon around s(CASP) was organized by the UT Dallas AI Society on Jan 14-15, 2022 (World Logic Day). See the details of HackReason 2022 here and the projects here. HackReason 2021 details are here and the projects here.
XAI Hackathon: FOLD-R++ and FOLD-RM are great XAI tools. A hackathon was organized around them. See the efforts here.
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.
Huaduo Wang, 2022, Explainable AI Algorithms for Classification Tasks with Mixed Data, Meta/Facebook.
Sarat Chandra Varanasi, 2022 (co-advised with Neeraj Mittal), Automated Synthesis of Concurrent Program, GE Research
Fang Li, 2022, Graph-based Commonsense Reasoning Engines, Faculty member at Oklahoma Christian University
Kinjal Basu, 2022, Natural Language Question Answering based on Commonsense Reasoning, IBM TJ Watson Research Center
View the thesis
Farhad Shakerin, 2020, Logic-based Approaches for Explainable AI and Natural Language Understanding. Microsoft Corp.
View the thesis
Elmer Salazar, 2019, Proof-theoretic Foundations of Normal Logic Programs. Assistant Professor of Instruction, 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.
Zhuo Chen, 2017, A Physician Advisory System based on ASP: Heart Failure. Postdoc Researcher at UT Dallas.
View the thesis
Stanley Jointer, 2016 (co-advised with Lakshman Tamil), Def-Logix, Inc.
Kyle Marple, 2014, Goal-directed Answer Set Programming. Walmart Technology Labs.
View the thesis
Neda Saeedloei, 2011, Verification of Complex Real-time Systems. Asst. Professor, Towson State University.
View the thesis
Richard Min, August 2009, Thesis: Predicate Answer Set Programming with Coinduction. Taylor University.
View the thesis
Srividya Kona, Dec. 2007, Thesis: Automatic Discovery and Composition of Web Services, Associate Professor. Arizona State University.
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
Qian Wang, Dec. 2007, Thesis: Semantics-based Approaches to Formal Language Processing, Interoperate LLC (best paper SVV'03).
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).
Luke Simon, July. 2006, Ph.D. Thesis: Coinductive Logic Programming.
Twitter, Inc. (Won best paper award at ECOWS'05).
View the thesis
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.
Enrico Pontelli, 1997, Ph.D. Thesis: Design and
Implementation of the ACE System. Currently, Dean of A&S, NMSU.
Awarded NSF CAREER grant, 1998;
Current PhD students:
Huaduo Wang, Scalable Explainable AI with Default Logic
Parth Padalkar, Neurosymbolic AI
Abhiramon Rajasekharan, NLP with commonsense reasoning
Yankai Zeng, PhD Student, NLP with commonsense reasoning
Sopam Dasgupta, Topic: TBD
Keegan Kimbrell, Topic: TBD
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
