Hits:

Institution:Xidian University

Title of Paper:Planning with Spatio-Temporal Search Control Knowledge

Teaching and Research Group:Institute of Computing Theory and Technology

Journal:IEEE Transactions on Knowledge and Data Engineering (TKDE，CCF A类，中科院二区)

Place of Publication:IEEE Xplore Digital Library

Project Source:NSFC Grant No. 61751207, 61732013 and 61420106004

Key Words:Planning, spatio-temporal logic, separation logic, search control knowledge

All the Authors:堵宏伟

First Author:Luxury

Indexed by:Journal paper

Correspondence Author:TIANCONG,DUANZHENHUA

Document Code:6

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:J

Volume:30

Issue:10

Page Number:1915-1928

ISSN:1041-4347

Translation or Not:No

Date of Publication:2018-10-01

Included Journals:EI、SCI、EI、SCI

Date:2019-01-22