wmKZWf40uG0YUEpMF1upa6OssNJbGLHYwt48ZG7TQ9mQWch6xWF5zyasfDgH
Current position: Home >> Scientific Research >> Paper Publications

A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge

Hits:

Institution:Xidian University

Title of Paper:A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge

Teaching and Research Group:ICTT and ISN Lab

Journal:Structured Object-Oriented Formal Language and Method-9th International Workshop, SOFL+MSVL 2019

Project Source:NSFC Nos. 61806158, China Postdoctoral Science Foundation Nos. 2019T120881 and 2018M643585

Key Words:Planning, Control Knowledge, Heuristic Search, Forward Chaining

All the Authors:Yansong Dong,Wensheng Wang,Runzhe Ma,Yifeng Li,Qing Feng

First Author:Luxury

Correspondence Author:Jin Cui

Document Code:8

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:C

Page Number:141–154

Translation or Not:No

Date of Publication:2019-11-05

Included Journals:EI

Date:2020-01-17

Prev One:P2P Network Based Smart Parking System Using Edge Computing

Next One:An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL