罗伯特·科瓦尔斯基
优化列表
2020年–今天
2023 [第5页] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 米格尔·卡莱霍 , 哈辛托·A·达维拉 :
在LPS中结合逻辑编程和命令编程。 序言:未来50年 2023 : 210-223 [第4页] 罗伯特·科瓦尔斯基 , 哈辛托·A·达维拉 , 伽利略·萨托 , 米盖尔·卡列霍 :
法律与教育逻辑英语。 序言:未来50年 2023 : 287-299 [电子5] 大卫·斯科特·沃伦 , 维罗尼卡·达尔 , 托马斯·艾特 , 曼纽尔·埃尔梅内吉尔多 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·罗西 :
序言:未来50年。 计算机科学课堂讲稿 13900, 施普林格 2023 ,国际标准图书编号 978-3-031-35253-9 [目录] 2022 【j30】 罗伯特·科瓦尔斯基 , 阿克伯·达图 :
逻辑英语符合掉期和衍生品的法律英语。 Artif公司。 因特尔。 法学 30 ( 2 ) : 163-197 ( 2022 ) [公元60年] 伽利略·萨托 , 哈辛托·A·达维拉 , 马可·比利 , 朱塞佩·孔蒂萨 , 朱塞佩·皮萨诺 , 罗伯特·科瓦尔斯基 :
逻辑英语与s的整合(CASP)。 ICLP研讨会 2022
2010 – 2019
2019 [公元29年] Jan Wielemaker公司 , 法布里齐奥·里古齐 , 罗伯特·科瓦尔斯基 , 托比约恩啤酒 , 法里巴·萨德里 , 米盖尔·卡列霍 :
使用SWISH实现基于逻辑语言的交互式网络教程。 理论与实践。 日志。 程序。 19 ( 2 ) : 229-261 ( 2019 ) 2018 [公元28年] 罗伯特·科瓦尔斯基 , 肯·佐藤 :
作为最佳目标满足的义务。 J.菲洛斯。 日志。 47 ( 4 ) : 579-609 ( 2018 ) [i2] Jan Wielemaker公司 , 法布里齐奥·里古齐 , 鲍勃·科瓦尔斯基 , 托比约恩啤酒 , 法里巴·萨德里 , 米盖尔·卡列霍 :
使用SWISH实现基于逻辑语言的交互式网络教程。 CoRR公司 abs/1808.08042 ( 2018 ) 2017 [公元27年] 罗伯特·科瓦尔斯基 :
《编程机器伦理》,作者:路易斯·莫尼兹·佩雷拉和阿里·萨普塔维贾亚。 人工智能系统。 32 ( 2 ) : 299-300 ( 2017 ) [c59] 罗伯特·科瓦尔斯基 :
一阶逻辑作为非模态道义逻辑的可满足性。 CogSci桥接 2017 : 84-90 [公元58年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 米盖尔·卡列霍 :
如何使用LPS(基于逻辑的生产系统)实现这一点。 规则ML+RR(补充) 2017 2016 [公元26年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
没有逻辑编程的逻辑编程。 理论与实践。 日志。 程序。 16 ( 三 ) : 269-295 ( 2016 ) [i1] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
没有逻辑编程的逻辑编程。 CoRR公司 abs/1601.00529 ( 2016 ) 2015 [公元25年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应计算作为模型生成。 新一代。 计算。 33 ( 1 ) : 33-67 ( 2015 ) [公元57年] 罗伯特·科瓦尔斯基 :
计算逻辑作为智能主体的思维语言。 ICAART(1) 2015 : IS-11系列 2014 [公元56年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应系统语言的逻辑特征。 规则ML 2014 : 22-36 【r1】 罗伯特·科瓦尔斯基 :
逻辑编程。 计算逻辑 2014 : 523-569 2013 [公元55年] 罗伯特·科瓦尔斯基 :
20世纪70年代的逻辑编程。 低密度核磁共振 2013 : 11-22 2012 [公元54年] 白司迪 , 安德鲁·J·I·琼斯 , 安东尼斯·卡卡斯 , 罗伯特·科瓦尔斯基 , 阿莱西奥·洛穆西奥 , 罗伯·米勒 , 斯蒂芬·H·马格尔顿 , 乔瓦尼·萨尔托尔 :
马雷克·塞尔戈特的科学贡献。 逻辑程序、规范和行动 2012 : 4-11 [公元53年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
远程反应诱骗逻辑程序。 逻辑程序、规范和行动 2012 : 12-32 [第52条] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应系统的基于逻辑的框架。 规则ML 2012 : 1-15 2011 [公元24年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
具有破坏性数据库的劫持逻辑编程代理。 安。数学。 Artif公司。 智力。 62 ( 1-2 ) : 129-158 ( 2011 ) [第51条] 罗伯特·科瓦尔斯基 :
人工智能和人类思维。 ICCSW公司 2011 : 2 [c50] 罗伯特·科瓦尔斯基 :
人工智能和人类思维。 国际JCAI 2011 : 11-16 [c49] 罗伯特·科瓦尔斯基 , 安东尼·伯顿 :
WUENIC——基于规则的知识表示和推理案例研究。 JSAI-isAI研讨会 2011 : 112-125 2010 [公元48年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
一种具有破坏性赋值和模型理论语义的Agent语言。 CLIMA公司 2010 : 200-218
2000 – 2009
2009 [公元47年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
在诱拐逻辑编程代理中集成逻辑编程和生成系统。 右后 2009 : 1-23 [第3页] Phan Minh Dung公司 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
基于假设的论证。 人工智能中的争论 2009 : 199-218 2006 [公元23年] Phan Minh Dung公司 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
基于假设的、可接受的论证的辩证证明程序。 Artif公司。 智力。 170 ( 2 ) : 114-159 ( 2006 ) [公元46年] 鲍勃·科瓦尔斯基 :
面向对象世界中的计算逻辑。 人工智能理论和系统中的推理、行动和交互 2006 : 59-82 2005 [公元45年] 罗伯特·科瓦尔斯基 :
人工智能的逻辑方式。 CLIMA公司 2005 : 1-22 [公元44年] 罗伯特·科瓦尔斯基 :
协调逻辑和对象。 ENC公司 2005 [第2页] 罗伯特·科瓦尔斯基 , 马雷克·塞尔戈特 :
基于逻辑的事件演算。 时间的语言——读者 2005 : 217-240 2002 [公元43年] 罗伯特·科瓦尔斯基 :
逻辑编程说明。 计算逻辑:逻辑编程及其以外 2002 : 26-32 2001 [公元42年] 罗伯特·科瓦尔斯基 :
逻辑真的死了还是只是睡着了? ICLP公司 2001 : 2-3
1990 – 1999
1999 [公元22年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
从逻辑编程到多代理系统。 安。数学。 Artif公司。 智力。 25 ( 3-4 ) : 391-419 ( 1999 ) 1998 [公元21年] 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 , 格哈德·韦策尔 :
正在执行挂起的逻辑程序。 芬丹。 信息学 34 ( 三 ) : 203-224 ( 1998 ) 1997 [公元20年] 安德烈·邦达连科 , Phan Minh Dung公司 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
缺省推理的抽象论证理论方法。 Artif公司。 智力。 93 : 63-101 ( 1997 ) [公元19年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
协调事件演算和情境演算。 J.日志。 程序。 31 ( 1-3 ) : 39-58 ( 1997 ) [公元18年] 慈和丰 , 罗伯特·科瓦尔斯基 :
诱导逻辑程序设计的Iff证明过程。 J.日志。 程序。 33 ( 2 ) : 151-165 ( 1997 ) [公元41年] 安东尼·邦纳 , Burkhard Freitag公司 , 劳拉·佐丹奴 , 罗伯特·科瓦尔斯基 :
研讨会DYNAMICS 97:逻辑编程和演绎数据库中的(跨)动作和变化。 ILPS公司 1997 : 415-416 1996 [公元17年] 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
抽象论证。 Artif公司。 因特尔。 法学 4 ( 3-4 ) : 275-296 ( 1996 ) [公元40年] 格哈德·韦策尔 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
PROCALOG-逻辑中的约束和可放弃编程(海报摘要)。 JICSLP公司 1996 : 535 [公元39年] 罗伯特·科瓦尔斯基 :
具有完整性约束的逻辑编程。 杰莉亚 1996 : 301-302 [c38] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
走向将理性与反应性相结合的统一代理体系结构。 数据库中的逻辑 1996 : 137-149 [公元37年] Phan Minh Dung公司 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
默认推理证明程序的综合。 洛普斯特 1996 : 313-324 [公元36年] 罗伯特·科瓦尔斯基 :
使用Meta-Logic协调Reactive与Rational Agent。 PAAM公司 1996 : 361-374 1995 [公元16年] 罗伯特·科瓦尔斯基 :
研讨会报告:逻辑编程在法律推理中的应用。 新一代。 计算。 13 ( 3&4 ) : 435-439 ( 1995 ) [公元35年] 罗伯特·科瓦尔斯基 :
多代理系统的逻辑基础。 活塞销 1995 : 39-40 [公元34年] 法里巴·萨德里 , 罗伯特·科瓦尔斯基 :
事件演算的变体。 ICLP公司 1995 : 67-81 [公元33年] 弗朗西丝卡·托尼 , 罗伯特·科瓦尔斯基 :
将诱拐逻辑程序简化为普通逻辑程序。 ICLP公司 1995 : 367-381 [公元32年] 弗朗西丝卡·托尼 , 罗伯特·科瓦尔斯基 :
逻辑程序转换的论证理论方法。 洛普斯特 1995 : 61-75 [c31] 格哈德·韦策尔 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
CLP的一种定理证明方法。 WLP(WLP) 1995 : 63-72 1994 [公元30年] Suryanarayana M.Sripada公司 , B.L.罗斯 , J.M.贝德福德 , 罗伯特·科瓦尔斯基 :
用于空中交通流量管理的时态数据库技术。 亚洲开发银行 1994 : 28-41 [公元29年] 鲍勃·科瓦尔斯基 :
非单调推理的抽象论证理论框架(与Bondaranko、Dung和Toni联合工作)。 ICLP研讨会:逻辑编程的法律应用 1994 [公元28年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
情境演算与事件演算的比较。 仪表着陆点 1994 : 539-553 [公元27年] 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 , 格哈德·韦策尔 :
走向一种声明性和高效的玻璃盒CLP语言。 WLP(WLP) 1994 : 138-141 1993 [公元15年] 胡德·沙皮罗 , 大卫·H·D·沃伦 , Fuchi河弘 , 罗伯特·科瓦尔斯基 , 古川光一 , Kazunori Ueda公司 , 肯尼思·卡恩 , Takashi Chikayama公司 , 埃文·蒂克 :
第五代项目:个人观点。 Commun公司。 ACM公司 36 ( 三 ) : 46-103 ( 1993 ) [公元14年] 罗伯特·科瓦尔斯基 :
编辑:实践推理本科学位。 J.日志。 计算。 三 ( 三 ) : 227-229 ( 1993 ) [公元26年] 安德烈·邦达连科 , 弗朗西丝卡·托尼 , 罗伯特·科瓦尔斯基 :
基于假设的非单调推理框架。 低密度核磁共振 1993 : 171-189 1992 [j13] 罗伯特·科瓦尔斯基 :
事件演算中的数据库更新。 J.日志。 程序。 12 ( 1&2 ) : 121-146 ( 1992 ) [公元12年] 安东尼斯·卡卡斯 , 罗伯特·科瓦尔斯基 , 弗朗西丝卡·托尼 :
诱拐逻辑编程。 J.日志。 计算。 2 ( 6 ) : 719-770 ( 1992 ) [公元25年] 罗伯特·科瓦尔斯基 :
展板:21世纪信息处理的跳板。 FGCS公司 1992 : 219 [公元24年] 罗伯特·科瓦尔斯基 :
逻辑程序设计理论与实践。 逻辑程序设计暑期学校 1992 : 1-2 【c23】 罗伯特·科瓦尔斯基 :
立法作为逻辑程序。 逻辑程序设计暑期学校 1992 : 203-230 1991 [公元11年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
有例外的逻辑程序。 新一代。 计算。 9 ( 3/4 ) : 387-400 ( 1991 ) [公元22年] 罗伯特·科瓦尔斯基 :
立法作为逻辑程序。 ICLP公司 1991 : 910 【c21】 罗伯特·科瓦尔斯基 :
人工智能中的逻辑编程。 国际JCAI 1991 : 596-604 1990 [公元20年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
有例外的逻辑程序。 ICLP公司 1990 : 598-613
1980 – 1989
1989 [第19条] 罗伯特·科瓦尔斯基 :
申请逻辑应用本科学位的提议。 高等教育中的人工智能 1989 : 94-97 [第18条] 罗伯特·科瓦尔斯基 :
代表立法的逻辑程序中否定的处理。 ICAIL公司 1989 : 11-15 [第17条] Kave Eshghi公司 , 罗伯特·科瓦尔斯基 :
绑架与失败否定之比较。 ICLP公司 1989 : 234-254 [第16条] K.K.Bajaj公司 , R.K.Dubash先生 , 罗伯特·科瓦尔斯基 :
作为逻辑程序的中央政府养老金规则。 KBCS公司 1989 : 19-28 1988 [公元10年] 罗伯特·科瓦尔斯基 :
逻辑编程的早期。 Commun公司。 ACM公司 31 ( 1 ) : 38-43 ( 1988 ) [第15条] 罗伯特·科瓦尔斯基 , 道格拉斯·B·莱纳 , 索洛韦 , 迈克尔·斯通布雷克 , 阿德里安·沃克 :
知识管理-小组报告。 专家数据库会议。 1988 : 63-69 [第1页] 法里巴·萨德里 , 罗伯特·科瓦尔斯基 :
数据库完整性的一种定理证明方法。 演绎数据库和逻辑编程基础。 1988 : 313-362 [电子4] 罗伯特·科瓦尔斯基 , 肯尼思·鲍文 :
逻辑编程,第五届国际会议和研讨会论文集,美国华盛顿州西雅图,1988年8月15-19日(2卷)。 麻省理工学院出版社 1988 ,国际标准图书编号 0-262-61056-6 [目录] 1987 [第14条] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 保罗·索珀 :
演绎数据库中的完整性检查。 超大规模数据库 1987 : 61-69 [第13条] 罗伯特·科瓦尔斯基 :
逻辑编程说明。 Wissensbasierte系统 1987 : 128-146 [电子3] 哈特穆特·埃里格 , 罗伯特·科瓦尔斯基 , 乔治·列维 , 乌戈·蒙塔纳里 :
TAPSOFT’87:软件开发理论与实践国际联合会议论文集,意大利比萨,1987年3月23日至27日,第1卷:创新软件开发基础高级研讨会I和代数与编程树学术讨论会(CAAP’87)。 计算机科学课堂讲稿 249, 施普林格 1987 ,国际标准图书编号 3-540-17660-8 [目录] [电子2] 哈特穆特·埃里格 , 罗伯特·科瓦尔斯基 , 乔治·列维 , 乌戈·蒙塔纳里 :
TAPSOFT’87:软件开发理论与实践国际联合会议论文集,意大利比萨,1987年3月23日至27日,第2卷:创新软件开发基础高级研讨会II和功能与逻辑编程与规范(CFLP)座谈会。 计算机科学课堂讲稿 250, 施普林格 1987 ,国际标准图书编号 3-540-17611-倍 [目录] 1986 [公元9年] 马雷克·塞尔戈特 , 法里巴·萨德里 , 罗伯特·科瓦尔斯基 , F.克里瓦切克 , 彼得·哈蒙德 , H.T.科里 :
英国国籍法是一个逻辑程序。 Commun公司。 ACM公司 29 ( 5 ) : 370-386 ( 1986 ) [j8] 罗伯特·科瓦尔斯基 , 马雷克·塞尔戈特 :
基于逻辑的事件演算。 新一代。 计算。 4 ( 1 ) : 67-95 ( 1986 ) [第12条] 罗伯特·科瓦尔斯基 :
逻辑的局限性。 ACM计算机科学会议 1986 : 7-13 1985 [第11条] 罗伯特·科瓦尔斯基 , 马雷克·塞尔戈特 :
基于逻辑的事件演算。 知识库管理基础(Xania) 1985 : 23-55 [第10条] 罗伯特·科瓦尔斯基 :
逻辑的局限性及其在人工智能中的作用。 知识库管理基础(Xania) 1985 : 477-493 【c9】 罗伯特·科瓦尔斯基 , 马雷克·塞尔戈特 :
法律的计算机表示。 国际JCAI 1985 : 1269-1270 【c8】 罗伯特·科瓦尔斯基 :
逻辑编程说明。 SLP公司 1985 : 2-7 1984 [j7] 罗伯特·科瓦尔斯基 :
新一代计算中的软件工程和人工智能。 未来一代。 计算。 系统。 1 ( 1 ) : 39-49 ( 1984 ) [j6] 罗伯特·科瓦尔斯基 :
第五代逻辑编程。 知识。 工程版次。 1 ( 1 ) : 26-38 ( 1984 ) 【c7】 罗伯特·科瓦尔斯基 :
逻辑作为数据库语言。 BNCOD公司 1984 : 103-132 【c6】 罗伯特·科瓦尔斯基 :
知识表示逻辑。 FSTTCS公司 1984 : 1-12 1983 【c5】 罗伯特·科瓦尔斯基 :
逻辑编程。 IFIP大会 1983 : 133-145 【c4】 罗伯特·科瓦尔斯基 , 埃尔维·加莱尔 , 横井俊雄 , 罗伯特·B·K·杜瓦 :
第五代项目小组。 国际JCAI 1983 : 1192-1194 1982 【c3】 罗伯特·科瓦尔斯基 :
逻辑作为儿童的计算机语言。 ECAI公司 1982 : 2-10 1980 [电子1] 沃尔夫冈·比贝尔 , 罗伯特·科瓦尔斯基 :
1980年7月8日至11日,法国Les Arcs,第五届自动扣除会议,会议记录。 计算机科学课堂讲稿 87, 施普林格 1980 ,国际标准图书编号 3-540-10009-1 [目录]
1970 – 1979
1979 【b1】 罗伯特·科瓦尔斯基 :
解决问题的逻辑。 计算机科学图书馆:人工智能系列 7, 出版社 1979 ,国际标准图书编号 0444003681 ,第1-287页 [j5] 朱顶红 , 罗伯特·科瓦尔斯基 :
逻辑和语义网络。 Commun公司。 ACM公司 22 ( 三 ) : 184-192 ( 1979 ) 【j4】 罗伯特·科瓦尔斯基 :
算法=逻辑+控制。 Commun公司。 ACM公司 22 ( 7 ) : 424-436 ( 1979 ) 1977 【c2】 罗伯特·科瓦尔斯基 :
数据描述逻辑。 逻辑和数据库 1977 : 77-103 1976 [j3] 马尔滕·H·范·埃姆登 , 罗伯特·科瓦尔斯基 :
谓词逻辑作为程序设计语言的语义。 美国临床医学杂志 23 ( 4 ) : 733-742 ( 1976 ) 1975 [注2] 罗伯特·科瓦尔斯基 :
使用连接图的证明过程。 美国临床医学杂志 22 ( 4 ) : 572-595 ( 1975 ) 1974 【c1】 罗伯特·科瓦尔斯基 :
谓词逻辑作为程序设计语言。 IFIP大会 1974 : 569-574 1971 [j1] 罗伯特·科瓦尔斯基 , 唐纳德·奎纳 :
带选择函数的线性分辨率。 Artif公司。 智力。 2 ( 3/4 ) : 227-260 ( 1971 )