机译:逻辑规则和推理的特殊问题简介:第2届国际规则和推理联席会议所选文件(RULEML + RR 2018)
Department of Mathematics and Computer Science Freie Universitaet Berlin Berlin Germany;
Department of Computer Science University of Luxembourg Esch-sur-Alzette Luxembourg;
Department of Mathematics and Computer Science University of Calabria Rende Italy;
机译:特别问题:'有机农业和农业生态学作为对来自第二国际抓住IT研讨会(Grab-It 2018),Anacapri,意大利,2018年6月26日至27日的全球挑战的回应的回应
机译:第二届规则与推理国际联合会议的报告
机译:关于第二次国际规则和推理联席会议的报告
机译:第28届逻辑编程特刊国际会议技术沟通简介
机译:基于非单调的逻辑和规则的法律推理
机译:来自第二届埃利斯罗拉斯纵向研究和其他非传染病疾病研究的选定论文研究国际会议特殊问题
机译:第四届国际自动推理联席会议《自动推理杂志》特刊序言
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行