6xOtBLrIkKTD2wabgITpw4UmmqxnBF2nklGM7GfoHNFU2F06kFjwyzWk9oQY
Current position: Home >> Scientific Research >> Research Projects

Research on Program Synthesis by Automated Planning

Hits:

Project Name:Research on Program Synthesis by Automated Planning

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:Luxury

Status:under study

Type of Research Outcome:Thesis

Classification of Project:General longitudinal

Sub-Class of Project:新教师创新基金

Project Source:中央高校基本科研业务费专项项目

Project Level:School discipline

Project Number:XJS190303

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2018-03-09

Scheduled Completion Time:2020-12-31

Date of Project Completion:2020-12-31

Date of Project Initiation:2019-01-01

Project Approval Number:XJS190303

Date:2019-01-22

Prev One:Spatio-Temporal Reasoning with Improved Spatio-Temporal Logic PPTL^SL

Next One:Domain Knowledge Constraint based Complex Task Planning and Reasoning