Picture for Sarat Chandra Varanasi

Sarat Chandra Varanasi

The University of Texas at Dallas

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

Add code
Aug 25, 2022
Figure 1 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 2 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 3 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Figure 4 for Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Viaarxiv icon

CASPR: A Commonsense Reasoning-based Conversational Socialbot

Add code
Oct 11, 2021
Figure 1 for CASPR: A Commonsense Reasoning-based Conversational Socialbot
Figure 2 for CASPR: A Commonsense Reasoning-based Conversational Socialbot
Figure 3 for CASPR: A Commonsense Reasoning-based Conversational Socialbot
Figure 4 for CASPR: A Commonsense Reasoning-based Conversational Socialbot
Viaarxiv icon

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming

Add code
Sep 17, 2021
Figure 1 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 2 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 3 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 4 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Viaarxiv icon

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

Add code
Sep 10, 2021
Figure 1 for Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Viaarxiv icon

SQuARE: Semantics-based Question Answering and Reasoning Engine

Add code
Sep 22, 2020
Figure 1 for SQuARE: Semantics-based Question Answering and Reasoning Engine
Figure 2 for SQuARE: Semantics-based Question Answering and Reasoning Engine
Figure 3 for SQuARE: Semantics-based Question Answering and Reasoning Engine
Figure 4 for SQuARE: Semantics-based Question Answering and Reasoning Engine
Viaarxiv icon