Hits:

Institution:Xidian University

Title of Paper:Temporalising Separation Logic for Planning with Search Control Knowledge

Teaching and Research Group:Institute of Computing Theory and Technology

Journal:The 26th International Joint Conferences on Artificial Intelligence (IJCAI 2017，CCF A类、人工智能领域顶级会议)

Project Source:NSFC Grant Nos. 61420106004 and 91418201

First Author:Luxury

Correspondence Author:TIANCONG,DUANZHENHUA

Document Code:4

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:C

Page Number:1167-1173

ISSN:10450823

Translation or Not:No

Date of Publication:2017-08-04

Included Journals:EI、EI

Date:2019-01-22