@第{zbMATH02235356条，作者={Gonz{\'a}lez，Graciela and Baral，Chitta and Gelfond，Michael}，Title={Alan:{An}建模非{Markovian}域的动作语言}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={79}，数字={1}，页码={115--134}，年份={2005}，语言={英语}，DOI={10.1007/s11225-005-0498-5}，关键词={68T27,03B44,68M10}，zbMATH={2235356}，Zbl={1101.68856}}