@收款{zbMATH02044515,作者={Baldoni,Matteo和Giordano,Laura和Martelli,Alberto和Patti,Viviana},标题={用不完全知识推理复杂动作:{A}模态方法},BookTitle={理论计算机科学。第七届意大利会议,ICTCS 2001,意大利都灵,2001年10月4-6日。诉讼},ISBN={3-540-42672-8},页码={405--425},年份={2001},出版商={柏林:施普林格},语言={英语},关键词={68N17,03B70},URL={link.springer.de/link/service/series/0558/bibs/22020405.htm},zbMATH={2044515},Zbl={1042.68027}}