Restricted Research - Award List, Note/Discussion Page

Fiscal Year: 2018

927  The University of Texas at Dallas  (74432)

Principal Investigator: Gopal Gupta

Total Amount of Contract, Award, or Gift (Annual before 2011): $ 420,000

Exceeds $250,000 (Is it flagged?): Yes

Start and End Dates: 9/1/17 - 8/31/20

Restricted Research: YES

Academic Discipline: Computer Science

Department, Center, School, or Institute: ECS

Title of Contract, Award, or Gift: RI: SMALL: Efficient Implementations of Goal-Directed Solvers for Answer Set Programming

Name of Granting or Contracting Agency/Entity: Natl Science Foundation
CFDA Link: NSF
47.070

Program Title: N/A
CFDA Linked: Computer and Information Science and Engineering

Note:

The goal of this project is to: (i) conduct research on developing a WAM-based efficient implementation of the s(ASP) system whose feasibility has already been proven; (ii) conduct research on incorporating CLP(FD) [47] into the s(ASP) implementation; (iii) conduct research on incorporating tabling in the s(ASP) system; (iv) conduct research on dynamically reordering ASP goals at runtime to improve execution efficiency; and, (v) Develop more innovative applications of s(ASP).

Discussion: No discussion notes

 

Close Window