×

路易斯·莫尼兹·佩雷拉

作者ID: 莫尼兹·佩雷拉.luis“Moniz Pereira,Luís”最近发表的zbMATH文章
发布日期: 路易斯·莫尼兹·佩雷拉;路易斯·莫尼兹·佩雷拉;路易斯·莫尼兹·佩雷拉;路易斯·莫尼兹·佩雷拉
已编制索引的文档: 72出版物自1980年以来,包括1本书
6作为编辑的贡献
合著者: 49位合著者具有75联合出版物
1025位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

48出版物有被引用215中的次135文件 引用人 年份
单调和剩余逻辑程序。 Zbl 1001.68545号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
27
2001
反单调逻辑程序。 Zbl 1007.68022号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
15
2001
逻辑程序的次一致语义综述。 Zbl 0936.68021号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
13
1998
不断发展的逻辑程序。 Zbl 1014.68534号
何塞·朱利奥·阿尔弗雷斯;安东尼奥·布罗吉;约昂·亚历山大·莱特;路易斯·莫尼兹·佩雷拉
13
2002
Prolog几何定理证明中的自动推理。 Zbl 0642.68161号
海尔德·科埃略;路易斯·莫尼兹·佩雷拉
12
1986
用逻辑编程进行推理。 Zbl 1293.68003号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
11
1996
混合概率逻辑程序作为剩余逻辑程序。 Zbl 0998.68030号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
8
2000
逻辑编程的非单调推理。 Zbl 0784.68024号
路易斯·莫尼兹·佩雷拉;Joaquim N.阿帕里西奥。;何塞·J·阿尔弗雷斯。
8
1993
亚一致逻辑程序的一个包含框架。 Zbl 1063.03015号
佐奥州阿尔坎塔拉;达马西奥,卡洛斯·维耶加斯;路易斯·莫尼兹·佩雷拉
8
2005
LUPS–用于更新逻辑程序的语言。 兹比尔0995.68023
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;哈利娜·普尔兹穆森斯卡;Przymusinski,Teodor C。
7
2002
具有明确否定的有根据语义的缺省理论。 Zbl 0925.68097号
路易斯·莫尼兹·佩雷拉;何塞·朱利奥·阿尔弗雷斯;Joaquim Nunes阿帕里西奥
7
1992
用于非单调推理的逻辑程序系统。 Zbl 0819.68034号
何塞·朱利奥·阿尔弗雷斯;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
6
1995
非单调推理和逻辑编程中的信念修正。 Zbl 0865.68112号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Przymusinski,Teodor C。
6
1996
非单调推理和逻辑编程中的“经典”否定。 Zbl 0893.68147号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Przymusinski,Teodor C。
6
1998
扩展稳定模型的推导程序。 Zbl 0749.68020号
路易斯·莫尼兹·佩雷拉;Joaquim N.阿帕里西奥。;何塞·阿尔弗雷斯。
6
1991
正常逻辑程序的批准模型。 Zbl 1137.68340号
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托
6
2007
准一致逻辑程序。 Zbl 1013.68212号
佐奥州阿尔坎塔拉;达马西奥,卡洛斯·维耶加斯;路易斯·莫尼兹·佩雷拉
5
2002
逻辑编程和非单调推理。第二届国际研讨会会议记录,里斯本(葡萄牙),1993年6月28日。 Zbl 0850.68136号
4
1994
逻辑编程的哲学关联。 Zbl 1038.03512号
路易斯·莫尼兹·佩雷拉
3
2002
通过逻辑程序进行组合学习的策略。 Zbl 0960.68024号
伊芙琳娜·拉姆;法布里西奥·里古齐;路易斯·莫尼兹·佩雷拉
3
2000
混合概率逻辑程序作为剩余逻辑程序。 Zbl 1053.68033号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
3
2002
三值扩展逻辑程序上的诱拐。 Zbl 1496.68327号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
3
1995
连贯的、有充分依据的注释逻辑程序。 Zbl 0952.68025号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司
2
1999
\(\mathcal{MINERVA})–一种动态逻辑编程代理体系结构。 Zbl 1050.68623号
约昂·亚历山大·莱特;何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2002
从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697号
约瑟夫·加特纳;Swift,Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
2
2000
更新和首选项。 Zbl 0998.68166号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2000
优先理论修正。 Zbl 1133.68074号
皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉
2
2007
重复逻辑程序更新。 Zbl 0949.68029号
约昂·亚历山大·莱特;路易斯·莫尼兹·佩雷拉
2
1998
更新和首选项的汇编。 Zbl 1013.68057号
何塞·朱利奥·阿尔弗雷斯;皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉
2
2002
多维动态知识表示。 Zbl 1007.68590号
约昂·亚历山大·莱特;何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2001
非单调推理和逻辑编程中的强而明确的否定。 Zbl 1426.68256号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Przymusinski,Teodor C。
2
1996
人工智能中的逻辑。欧洲研讨会,2000年JELIA,西班牙马拉加,2000年9月29日至10月2日。诉讼程序。 Zbl 0952.00045号
1
2000
用诱因逻辑程序表示和推理并发动作。 Zbl 0890.68026号
李仁伟;路易斯·莫尼兹·佩雷拉
1
1997
LUPS–用于更新逻辑程序的语言。 Zbl 0952.68022号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;哈利娜·普尔兹穆森斯卡;Przymusinski,Teodor C。
1
1999
通过拉马克进化进行信仰修正。 Zbl 1089.68598号
伊芙琳娜·拉姆;法布里西奥·里古齐;路易斯·莫尼兹·佩雷拉
1
2003
使代理能够更新他们的知识和偏好。 Zbl 1053.68731号
皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉
1
2001
认识论和人工智能。 Zbl 1096.68144号
格雷戈里·惠勒;路易斯·莫尼兹·佩雷拉
1
2004
诱拐多智能体系统中的偏好和更新。 Zbl 1042.68719号
皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉
1
2001
为基础良好的语义添加封闭世界假设。 Zbl 0801.68111号
路易斯·莫尼兹·佩雷拉;何塞·J·阿尔弗雷斯。;Joaquim N.阿帕里西奥。
1
1994
具有析取的基础良好的语义。 Zbl 1165.68323号
佐奥州阿尔坎塔拉;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
1
2005
逻辑编程和知识表示。第三届国际研讨会,1997年10月17日,美国纽约州杰斐逊港LPKR’97。诉讼程序。 Zbl 0896.00030号
1
1998
基于逻辑的异步多智能体系统。 Zbl 1270.68330号
皮耶朗基罗·德尔·阿夸;尼尔森,乌尔夫;路易斯·莫尼兹·佩雷拉
1
2002
不确定性下的道德推理。 Zbl 1352.68243号
汉、安;阿里·萨普塔维贾亚;路易斯·莫尼兹·佩雷拉
1
2012
逻辑程序的选择性回溯。 Zbl 0441.68113号
路易斯·莫尼兹·佩雷拉;安东尼奥·波尔图
1
1980
一种理性反应代理的体系结构。 Zbl 1205.68439号
皮耶朗基罗·德尔·阿夸;马蒂亚斯·恩伯格;路易斯·莫尼兹·佩雷拉
1
2003
逻辑程序的层支持模型。 Zbl 1258.68035号
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托
1
2009
检查并偏好诱拐模型。 Zbl 1348.68029号
路易斯·莫尼兹·佩雷拉;皮耶朗基罗·德尔·阿夸;亚历山大·米盖尔·平托;戈萨洛·洛佩斯
1
2011
带有副作用的上下文诱因推理。 兹比尔1309.68176
路易斯·莫尼兹·佩雷拉;艾曼纽尔·安娜·迪茨;斯特芬·Hölldobler
1
2014
具有副作用的上下文溯因推理。 Zbl 1309.68176号
路易斯·莫尼兹·佩雷拉;艾曼纽尔·安娜·迪茨;斯特芬·Hölldobler
1
2014
不确定性下的道德推理。 Zbl 1352.68243号
汉、安;阿里·萨普塔维贾亚;路易斯·莫尼兹·佩雷拉
1
2012
检查并偏好诱拐模型。 Zbl 1348.68029号
路易斯·莫尼兹·佩雷拉;戴尔;皮耶朗基罗·阿夸;亚历山大·米盖尔·平托;戈萨洛·洛佩斯
1
2011
逻辑程序的层支持模型。 Zbl 1258.68035号
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托
1
2009
正常逻辑程序的批准模型。 Zbl 1137.68340号
路易斯·莫尼兹·佩雷拉;亚历山大·米盖尔·平托
6
2007
优先理论修正。 Zbl 1133.68074号
戴尔;皮耶朗基罗·阿夸;路易斯·莫尼兹·佩雷拉
2
2007
亚一致逻辑程序的一个包含框架。 Zbl 1063.03015号
佐奥州阿尔坎塔拉;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
8
2005
具有析取的基础良好的语义。 Zbl 1165.68323号
佐奥州阿尔坎塔拉;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
1
2005
认识论和人工智能。 Zbl 1096.68144号
格雷戈里·惠勒;路易斯·莫尼兹·佩雷拉
1
2004
通过拉马克进化进行信仰修正。 Zbl 1089.68598号
伊芙琳娜·拉姆;法布里西奥·里古齐;路易斯·莫尼兹·佩雷拉
1
2003
理性反应剂的体系结构。 Zbl 1205.68439号
戴尔;皮耶朗基罗·阿夸;马蒂亚斯·恩伯格;路易斯·莫尼兹·佩雷拉
1
2003
不断发展的逻辑程序。 Zbl 1014.68534号
何塞·朱利奥·阿尔弗雷斯;安东尼奥·布罗吉;约昂·亚历山大·莱特;路易斯·莫尼兹·佩雷拉
13
2002
LUPS——一种用于更新逻辑程序的语言。 Zbl 0995.68023号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;哈利娜·普尔兹穆森斯卡;Przymusinski,Teodor C。
7
2002
准一致逻辑程序。 Zbl 1013.68212号
佐奥州阿尔坎塔拉;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
5
2002
逻辑编程的哲学关联。 Zbl 1038.03512号
路易斯·莫尼兹·佩雷拉
3
2002
混合概率逻辑程序作为剩余逻辑程序。 Zbl 1053.68033号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
3
2002
\(\mathcal{MINERVA})–一种动态逻辑编程代理体系结构。 Zbl 1050.68623号
约昂·亚历山大·莱特;何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2002
更新和首选项的汇编。 Zbl 1013.68057号
何塞·朱利奥·阿尔弗雷斯;戴尔;皮耶朗基罗·阿夸;路易斯·莫尼兹·佩雷拉
2
2002
基于逻辑的异步多智能体系统。 Zbl 1270.68330号
戴尔;皮耶朗基罗·阿奎;尼尔森,乌尔夫;路易斯·莫尼兹·佩雷拉
1
2002
单调和剩余逻辑程序。 Zbl 1001.68545号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
27
2001
反单调逻辑程序。 兹比尔1007.68022
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
15
2001
多维动态知识表示。 Zbl 1007.68590号
约昂·亚历山大·莱特;何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2001
使代理能够更新其知识和偏好。 Zbl 1053.68731号
戴尔;皮耶朗基罗·阿夸;路易斯·莫尼兹·佩雷拉
1
2001
诱拐多智能体系统中的偏好和更新。 Zbl 1042.68719号
戴尔;皮耶朗基罗·阿夸;路易斯·莫尼兹·佩雷拉
1
2001
混合概率逻辑程序作为剩余逻辑程序。 Zbl 0998.68030号
达马西奥,卡洛斯·维耶加斯;路易斯·莫尼兹·佩雷拉
8
2000
通过逻辑程序进行组合学习的策略。 Zbl 0960.68024号
伊芙琳娜·拉姆;法布里西奥·里古齐;路易斯·莫尼兹·佩雷拉
3
2000
从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697号
约瑟夫·加特纳;Swift,Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
2
2000
更新和首选项。 Zbl 0998.68166号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
2
2000
人工智能中的逻辑。2000年9月29日至10月2日,西班牙马拉加,JELIA 2000欧洲研讨会。诉讼程序。 Zbl 0952.00045号
1
2000
连贯、基础良好的注释逻辑程序。 Zbl 0952.68025号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司
2
1999
LUPS–用于更新逻辑程序的语言。 Zbl 0952.68022号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;哈利娜·普尔兹穆森斯卡;Przymusinski,Teodor C。
1
1999
逻辑程序的次一致语义综述。 Zbl 0936.68021号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
13
1998
非单调推理和逻辑编程中的“经典”否定。 Zbl 0893.68147号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Przymusinski,Teodor C。
6
1998
重复逻辑程序更新。 Zbl 0949.68029号
若昂·亚历山大莱特;路易斯·莫尼兹·佩雷拉
2
1998
逻辑编程和知识表示。第三届国际研讨会,1997年10月17日,美国纽约州杰斐逊港LPKR’97。诉讼程序。 Zbl 0896.00030号
1
1998
用诱因逻辑程序表示和推理并发动作。 Zbl 0890.68026号
李仁伟;路易斯·莫尼兹·佩雷拉
1
1997
逻辑编程推理。 Zbl 1293.68003号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉
11
1996
非单调推理和逻辑编程中的信念修正。 Zbl 0865.68112号
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;普日穆辛斯基,Teodor C。
6
1996
非单调推理和逻辑编程中的强而明确的否定。 兹比尔1426.68256
何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Przymusinski,Teodor C。
2
1996
用于非单调推理的逻辑程序系统。 Zbl 0819.68034号
何塞·朱利奥·阿尔弗雷斯;卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
6
1995
三值扩展逻辑程序上的诱拐。 Zbl 1496.68327号
卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉
3
1995
逻辑编程和非单调推理。第二届国际研讨会会议记录,里斯本(葡萄牙),1993年6月28日。 Zbl 0850.68136号
4
1994
为基础良好的语义添加封闭世界假设。 Zbl 0801.68111号
路易斯·莫尼兹·佩雷拉;何塞·J·阿尔弗雷斯。;Joaquim N.阿帕里西奥。
1
1994
逻辑编程的非单调推理。 Zbl 0784.68024号
路易斯·莫尼兹·佩雷拉;Joaquim N.阿帕里西奥。;何塞·J·阿尔弗雷斯。
8
1993
具有明确否定的有根据语义的缺省理论。 Zbl 0925.68097号
路易斯·莫尼兹·佩雷拉;何塞·朱利奥·阿尔弗雷斯;Joaquim Nunes阿帕里西奥
7
1992
扩展稳定模型的推导程序。 Zbl 0749.68020号
路易斯·莫尼兹·佩雷拉;Joaquim N.阿帕里西奥。;何塞·阿尔费雷斯。
6
1991
Prolog几何定理证明中的自动推理。 Zbl 0642.68161号
海尔德·科埃略;路易斯·莫尼兹·佩雷拉
12
1986
逻辑程序的选择性回溯。 Zbl 0441.68113号
路易斯·莫尼兹·佩雷拉;安东尼奥·波尔图
1
1980
全部的 前5名

197位作者引用

14 杰苏斯·麦地那
13 路易斯·莫尼兹·佩雷拉
9 马丁·德·科克
9 史蒂文·肖卡特
7 德克·弗梅尔
6 玛丽亚·尤金妮亚·科内霍
5 乔瓦尼·阿蒙多拉
5 托马斯·艾特
5 曼纽尔·奥杰达·阿西戈
5 翁贝托·斯特拉契亚
4 佩德罗·卡巴拉
4 约昂·莱特
3 何塞·朱利奥·阿尔弗雷斯
3 格哈德·布鲁卡
3 安东尼奥·布罗吉
3 周尚卿
3 皮耶朗基罗·德尔·阿夸
3 斯特凡·埃尔马瑟勒
3 路易斯·法利尼亚斯·德尔·塞罗
3 迈克尔·芬克
3 高晓山
3 杰罗·扬森
3 伊芙琳娜·拉姆
3 尼古拉·利昂
3 亚历山大·米格尔·平托
3 Przymusinski,Teodor C。
3 元首,约尔格
3 佩德罗·夸雷斯马
3 弗朗西斯科·里卡
3 杰拉尔多·西马里。
3 苏布拉曼尼亚,V.S。
3 Swift,Terrance公司
3 斯扎·阿斯、安德烈吉
3 张景忠
2 金·鲍特斯
2 马戎·布隆德尔
2 卡洛斯·伊万·切斯尼瓦尔
2 路易斯·克鲁兹·菲利佩
2 迪亚斯·莫雷诺,胡安·卡洛斯
2 卡明·多达罗
2 豪尔赫·范丁诺
2 豪尔赫·范迪诺
2 格拉萨·加斯帕
2 里卡多·贡萨阿尔维斯
2 帕斯卡尔·朱利安·伊兰佐
2 贾尼契奇,普雷德拉格
2 迪帕克·卡普尔
2 马蒂亚斯·克诺尔
2 大卫·洛博
2 Yann Loyer
2 尼科拉斯·马德里
2 马ł斯基,简
2 保罗·曼卡雷拉
2 Martinez、Maria Vanina
2 保罗·梅洛
2 莫雷诺,吉纳斯
2 蘑菇、蘑菇
2 伊莎贝尔·努斯
2 莱因哈德·皮克勒
2 何塞·拉蒙·波蒂略
2 吉列尔莫·里卡多·西马里
2 艾米·斯利娃
2 马丁·斯洛塔
2 弗里德·斯托尔森堡
2 卡洛斯·维加斯·达马西奥
2 沃伊塔什,彼得
2 大卫·斯科特·沃伦
2 格雷戈里·惠勒。
2 你,嘉慧
1 马尔科·阿尔贝蒂
1 佐奥州阿尔坎塔拉
1 Gianvincenzo阿尔法诺
1 彼得·阿尔瓦罗
1 汤姆·J·阿梅罗特。
1 奥费尔·阿列利
1 努诺·贝塔
1 费德里科·班蒂
1 格雷戈·贝茨
1 费尔南多·博比洛
1 皮耶罗·安德里亚·博纳蒂
1 弗朗西斯科·博塔纳
1 比特·布鲁德林
1 莫里斯·布鲁诺
1 罗伯特·卡特赖特
1 陈建文
1 斯特凡妮娅·科斯坦蒂尼
1 崔宝秋
1 卡洛斯五世·达马西奥。
1 欧内斯特·戴维斯
1 弗朗西斯科·卢卡·德·安吉利斯
1 乔瓦尼·德·加斯佩里斯
1 马克·德内克
1 里德万·德沃波拉沃
1 乔瓦纳·迪·马尔佐·塞卢根多
1 亚尼斯·迪莫普洛斯
1 尤尔根·迪克斯
1 安德烈·顿塞斯库
1 巴巴拉·杜宁·科普里茨
1 埃斯拉·埃尔登
1 沃尔夫冈·费伯
…还有97位作者

按年份列出的引文