@收款{zbMATH07368406，作者={Aguado、Felicidad和Cabalar、Pedro和Fandinno、Jorge和P{'e}rez、Gilberto和Vidal、Concepci{'o}n}，标题={线性动态平衡逻辑中的显式否定}，BookTitle={ECAI 2020。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能著名应用会议，PAIS 2020}，国际标准图书编号={978-1-64368-100-9；978-1-643 68-101-6}，页码={569--576}，年份={2020年}，出版商={阿姆斯特丹：IOS出版社}，语言={英语}，DOI={10.3233/FAIA200140}，关键词={68T27,03B44,68N17}，zbMATH={7368406}，Zbl={1464.68334}}