法特玛Özcan;苏布拉曼尼亚,V.S。;于尔根·迪克斯 提高异构代理的性能。 (英语) Zbl 1077.68009号 安。数学。Artif公司。智力。 41,编号2-4,339-395(2004).MSC公司:68平方米 68T05型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Øzcan}等人,《数学年鉴》。Artif公司。智力。41,编号2--4,339--395(2004;Zbl 1077.68009) 全文: 内政部
马蒂奥·巴多尼;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 在模态动作逻辑中为理性代理编程。 (英语) Zbl 1077.68088号 安。数学。Artif公司。智力。 41,编号2-4207-257(2004).MSC公司:68T05型 68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Baldoni}等人,《数学年鉴》。Artif公司。智力。41,编号2--4,207--257(2004;Zbl 1077.68088) 全文: 内政部
瓦森康塞洛斯,W。;D.罗伯逊。;塞拉,C。;M.埃斯特瓦。;J·萨巴特。;伍尔德里奇,M。 通过逻辑编程实现大型多智能体系统的快速原型设计。 (英语) Zbl 1077.68014号 安。数学。Artif公司。智力。 41,编号2-4135-169(2004).MSC公司:68N17号 68甲19 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Vasconcelos}等人,《数学年鉴》。Artif公司。智力。41,编号2--4,135-169(2004;Zbl 1077.68014) 全文: 内政部
吉尔斯·佩森特;帕特里克·索里亚诺 约束循环覆盖问题的最优策略。 (英语) Zbl 1014.68002号 安。数学。Artif公司。智力。 34,第4期,313-325(2002).MSC公司:68M10个 94C15号机组 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Pesant}和\textit{P.Soriano},Ann.数学。Artif公司。智力。34,第4号,313--325(2002;Zbl 1014.68002) 全文: 内政部
Swift,Terrance公司 非单调编程表格。 (英语) Zbl 0940.68025号 安。数学。Artif公司。智力。 25,第3-4号,201-240(1999).MSC公司:68甲19 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift},安.数学。Artif公司。智力。25,编号3--4,201-240(1999;Zbl 0940.68025) 全文: 内政部
维克托·维亚努;戈特弗里德·沃森 面向目标的并发控制的静态和动态方面。 (英语) 兹比尔1004.68517 安。数学。Artif公司。智力。 7,编号1-4257-287(1993).MSC公司:68甲19 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Vianu}和\textit{G.Vossen},安.数学。Artif公司。智力。7,编号1--4,257--287(1993;Zbl 1004.68517) 全文: 内政部
伊夫·卡索 一种面向对象的演绎语言。 (英语) Zbl 0878.68032号 安。数学。Artif公司。智力。 3,编号2-4,211-258(1991).MSC公司:68甲15 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caseau},Ann.数学。Artif公司。智力。3,编号:2-4211-258(1991年;Zbl 0878.68032) 全文: 内政部