论文研究 Semantics of Framed Temporal Logic Programs.pdf
框架时序逻辑程序语义，段振华，杨潇潇，本文研究框架时序逻辑程序的语义。为此介绍了投影时序逻辑和该逻辑下的可执行子集，在该语言的基础上，引入了框架技术。非框架程
用户评论