1 线性时间时间应答集编程 理论实践。 逻辑程序。 2023 23 1 2 56 4522686 10.1017/S1471068421000557 谷歌学者 2 重温答案集编程中的显式否定 理论与实践。 逻辑程序。 2019 19 5–6 908 924 4010544 2017年10月17日/1471068419000267 1434.68064 谷歌学者 交叉引用 三。 可废止规范体系的等效性 J.应用。 非班级。 逻辑 2013 23 1–2 25 48 3196420 10.1080/11663081.2013.798996 1400.68200 谷歌学者 交叉引用 4 Alshiekh,M.、Bloem,R.、Ehlers,R.,Könighfer,B.、Niekum,S.、Topcu,U.:通过屏蔽进行安全强化学习。 摘自:AAAI会议记录,第2669–2678页(2018年) 谷歌学者 5 道义逻辑推理基础设施 计算世界中的航海路线 2018 查姆 施普林格 60 69 10.1007/978-3-319-94418-0_6 谷歌学者 6 答案集编程一览 Commun公司。 ACM公司 2011 54 12 92 103 10.1145/2043174.2043195 谷歌学者 数字图书馆 7 计算机科学中道义逻辑和规范推理的十个问题 逻辑与计算讲座 2012 海德堡 施普林格 55 88 10.1007/978-3-642-31485-8_2 1253.03041 谷歌学者 数字图书馆 8 Cabalar,P.,Fandinno,J.,Fariñas del Cerro,L.:自认知答案集编程。 Artif公司。 因特尔。 289 , 103382 (2020). 内政部: https://doi.org/10.1016/j.artint.2020.103382 谷歌学者 9 Cabalar,P.,Fandinno,J.,Fariñas del Cerro,L.,Pearce,D.:具有内涵集的功能ASP:应用于Gelfond-Zhang骨料。 理论实践。 逻辑程序。 18 (3–4), 390–405 (2018). 内政部: https://doi.org/10.1017/S1471068418000169 谷歌学者 10 Cabalar,P.,Fandinno,J.,Muñiz,B.:可解释答案集编程系统。 收录:Ricca,F.等人(编辑)《第36届逻辑编程国际会议(技术通信)论文集》。 EPTCS,第325卷,第124-136页(2020年)。 内政部: https://doi.org/10.4204/EPTCS.325.19 谷歌学者 11 将均衡逻辑中的命题理论简化为逻辑程序 人工智能进展 2005 海德堡 施普林格 4 17 10.1007/11595014_2 谷歌学者 数字图书馆 12 违背义务的命令和义务逻辑 分析 1963 24 2 33 36 10.1093/分析-24.2.33 谷歌学者 交叉引用 13 Eiter,T.,Gottlob,G.:析取逻辑编程的复杂性结果及其在非单调逻辑中的应用。 摘自:Miller,D.(编辑)《逻辑编程》,《1993年国际研讨会论文集》,第266-278页。 麻省理工学院出版社(1993) 谷歌学者 14 答案集编程的应用 人工智能杂志。 2016 37 三 53 68 10.1609/aimag.v37i3.2678 谷歌学者 数字图书馆 15 Gabbay,D.,Horty,J.,Parent,X.,van der Mayden,R.,van de Torre,L.(编辑):道义逻辑和规范系统手册,第2卷。 学院出版物(2021) 谷歌学者 16 Gabbay,D.,Horty,J.,Parent,X.,van der Meyden,R.,van de Torre,L.(编辑):道义逻辑和规范系统手册。 学院出版物(2013) 谷歌学者 17 Gebser,M.、Kaminski,R.、Kaufmann,B.、Ostrowski,M.、Schaub,T.、Wanko,P.:使用clino 5可以轻松解决理论问题。 摘自:Carro,M.、King,A.、Saeedloei,N.、Vos,M.D.(编辑)《第32届逻辑编程国际会议的技术通信》,ICLP 2016 TC。 OASIcs,第52卷,第2:1–2:15页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik(2016)。 内政部: https://doi.org/10.4230/OASIcs.ICLP.2016.2 谷歌学者 18 Gebser,M.、Maratea,M.和Ricca,F.:第七届答案集编程竞赛:设计与结果。 理论实践。 逻辑程序。 20 (2), 176–204 (2020). 内政部: https://doi.org/10.1017/S147106841900061 谷歌学者 19 逻辑程序和析取数据库中的经典否定 N.通用。 计算。 1991 9 3/4 365 386 2007年10月10日/BF03037169 735.68012 谷歌学者 数字图书馆 20 动态系统中的授权和义务策略 逻辑程序设计 2008 海德堡 施普林格 22 36 10.1007/978-3-540-89982-2_7 谷歌学者 数字图书馆 21 Giordano,L.、Martelli,A.、Dupré,D.T.:用于验证ASP规范合规性的时间道义行动逻辑。 摘自:Francesconi,E.,Verheij,B.(编辑)国际人工智能与法律会议,ICAIL 2013,第53-62页。 ACM(2013) 谷歌学者 22 输入输出逻辑在道义逻辑程序中的嵌入 计算机科学中的道义逻辑 2012 海德堡 施普林格 61 75 10.1007/978-3-642-31570-1_5 1297.68219 谷歌学者 数字图书馆 23 Gonçalves,R.,Alferes,J.J.:道义逻辑程序。 收录于:Gini,M.L.、Shehory,O.、Ito,T.、Jonker,C.M.(编辑)《自治代理和多代理系统国际会议》,第1333-1334页。 ifamas(2013) 谷歌学者 24 在可解除逻辑中计算强权限和弱权限 J.菲洛斯。 日志。 2013 42 6 799 829 3128788 2007年10月10日/10992-013-9295-1 1286.03058 谷歌学者 交叉引用 25 可解道义逻辑的可能世界语义 计算机科学中的道义逻辑 2012 海德堡 施普林格 46 60 10.1007/978-3-642-31570-1_4 1297.03014 谷歌学者 数字图书馆 26 基于道义可解逻辑的道义论证框架 PRIMA 2018:多智能体系统的原理与实践 2018 查姆 施普林格 484 492 10.1007/978-3-030-03098-8_33 谷歌学者 数字图书馆 27 一些道义逻辑分析 诺尔斯 1969 三 373 398 485200 1366.03069 谷歌学者 交叉引用 28 Heyting,A.:《直觉逻辑的规范》。 Sitzungsberichte der Preussischen Akademie der Wissenschaften,Physikalisch-mathematische Klasse,第42-56页(1930年) 谷歌学者 29 基于非单调逻辑的道义逻辑 安。数学。 Artif公司。 因特尔。 1993 9 1–2 69 91 1280520 2007年10月10日/BF01531262 866.03012 谷歌学者 交叉引用 30 Kamp,H.:自由选择许可。 载:《亚里士多德学会会刊》,第74卷,第57–74页(1973年) 谷歌学者 31 SPINdle的制作 规则交换和应用 2009 海德堡 施普林格 315 322 10.1007/978-3-642-04985-9_29 谷歌学者 数字图书馆 32 用于知识表示和推理的DLV系统 ACM事务处理。 计算。 日志。 2006 7 三 499 562 2249558 10.1145/1149114.1149117 1367.68308 谷歌学者 数字图书馆 33 McCarthy,J.:精化公差(1998)。 http://www-formal.stanford.edu/jmc/exturation.html 谷歌学者 34 可击败的道义逻辑 1997 多德雷赫特 Kluwer公司 885.00033 谷歌学者 交叉引用 35 Nute,D.:可击败的逻辑。 收录:《人工智能和逻辑编程逻辑手册》。 牛津大学出版社(1993) 谷歌学者 36 答案集的Routey语义 逻辑程序设计与非单调推理 2005 海德堡 施普林格 343 355 10.1007/11546207_27 谷歌学者 数字图书馆 37 Parent,X.:Hansson型二元道义逻辑的基于偏好的语义:一项结果调查。 收录人:Gabbay,D.,Horty,J.,Parent,X.,van der Meyden,R.,van de Torre,L.(编辑)《道义逻辑和规范系统手册》,第2卷,第7–70页(2021年) 谷歌学者 38 Parent,X.,van der Torre,L.:具有一致性检查的I/O逻辑。 收录于:Broersen,J.M.、Condoravdi,C.、Shyam,N.、Pigozzi,G.(编辑)《道义逻辑和规范系统——第14届国际会议》,2018年,第285-299页。 学院出版物(2018) 谷歌学者 39 稳定模型和答案集的一种新的逻辑特征 逻辑程序设计的非单调扩展 1997 海德堡 施普林格 57 70 2007年10月10日/BFb0023801 谷歌学者 40 量化平衡逻辑和答案集程序的基础 逻辑程序设计 2008 海德堡 施普林格 546 560 10.1007/978-3-540-89982-2_46 1185.68175 谷歌学者 数字图书馆 41 二元道义逻辑与反责任义务 可击败的道义逻辑 1997 多德雷赫特 施普林格 223 262 10.1007/978-94-015-8851-5_10 913.03009 谷歌学者 交叉引用 42 默认推理的逻辑 Artif公司。 因特尔。 1980 13 1–2 81 132 574584 10.1016/0004-3702(80)90014-4 435.68069 谷歌学者 数字图书馆 43 Sergot,M.:规范立场。 收录人:Gabbay,D.,Horty,J.,Parent,X.,van der Meyden,R.,van de Torre,L.(编辑)《道义逻辑和规范系统手册》,第1卷,第353-406页(2013) 谷歌学者 44 关于N格和强否定的构造逻辑的注记 逻辑研究。 1977 36 1–2 109 125 472519 2007年10月10日/BF02121118 385.03055 谷歌学者 45 道义逻辑 头脑 1951 60 237 1 15 10.1093/mind/LX.237.1 谷歌学者 交叉引用
建议
具有显式否定和默认否定的虚拟逻辑程序的语义 显式否定的使用提供了一种自然而明确的方式来断言有关所表示域的否定信息,从而增强了逻辑程序的表达能力。 我们研究了包含以下两种内容的析取程序的语义。。。 非单调推理和逻辑程序设计中的“经典”否定 Gelfond和Lifschitz是第一个指出需要 逻辑编程中的对称否定,他们还提出了一个特定的 具有稳定语义的逻辑程序的这种否定的语义, 他们称之为“经典”。 随后,。。。