Hits:

Project Name:Spatio-Temporal Reasoning with Improved Spatio-Temporal Logic PPTL^SL

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:Luxury

Status:under study

Supported by:A00001

Type of Research Outcome:Thesis

Classification of Project:国家自然科学基金

Sub-Class of Project:青年项目

Project Source:National Natural Science Foundation of China (NSFC)

Project Level:National

Project Participants:刘瑾,王文胜,董彦松,马润哲,覃凌峰,姚晨光,王稔之

Project Number:B018030010

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2018-08-16

Scheduled Completion Time:2021-12-31

Date of Project Completion:2021-12-31

Date of Project Initiation:2019-01-01

Project Approval Number:61806158

Date:2018-09-23