伊万杰利亚·安东尼亚科斯 将传统常识和通用常识配对。 （英语） 兹伯利1476.03011 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 14-26 (2016).MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{E.Antonakos}，莱克特。注释计算。科学。9537，14-26（2016；Zbl 1476.03011） 全文： 内政部
伊万杰利亚·安东尼亚科斯 明确的通用常识。 （英语） Zbl 1419.03017号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，LFCS 2013，美国加利福尼亚州圣地亚哥，2013年1月6日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 16-28 (2013).MSC公司：03B42号 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Antonakos}，莱克特。注释计算。科学。7734，16-28（2013；Zbl 1419.03017） 全文： 内政部