@InCollection｛zbMATH05317359，作者={Dinesh，Nikhil and Joshi，Aravind and Lee，Insup and Sokolsky，Oleg}，标题={监管合规性检查中法律条件和例外的推理}，BookTitle={计算机科学中的道义逻辑。第九届国际会议，DEON 2008，卢森堡，2008年7月15日至18日。诉讼}，国际标准图书编号={978-3-540-70524-6}，页码={110--124}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-540-70525-3_10}，关键词={03B80,03B44,03B60,90B70}，URL={repository.upenn.edu/cgi/viewcontent.cgi？article=1396&context=cis_papers}，zbMATH={5317359}，Zbl=｛1143.03351｝}