编辑配置文件(在新选项卡中打开) 马雷克·塞尔戈特。 合著者距离 作者ID: 军士长马雷克-j 发布日期: 马雷克·塞尔戈特;塞尔戈特,M.J。;马雷克·塞尔戈特。;塞尔戈特,M。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 34出版物自1986年起 2作为编辑的贡献 传记参考: 3出版物 合著者: 25位合著者具有28联合出版物 568合著作者 全部的 前5名合著者 7 单作者的 4 亚历山大·阿提基斯 4 罗伯特·P·M·克雷文。 4 安德鲁·琼斯(Andrew J.I.Jones)。 4 阿莱西奥·洛穆西奥 三 杰里米·皮特 2 科利,普希米特 2 亨利·普拉肯 1 保罗·J·阿泽夫多。 1 奥拉夫·班德曼 1 马特科·博什尼亚克 1 拉尔斯·比辛 1 拉斐尔·克利福德 1 凯文·埃利斯 1 Dov M.加巴伊。 1 圭多州长 1 何塞·埃尔南德斯·奥拉罗 1 安东尼斯·卡卡斯(Antonis C.Kakas)。 1 罗伯特·A·科瓦尔斯基。 1 大卫·克莱门·梅金森 1 艾琳·帕帕西奥多罗 1 大卫·普法 1 菲奥娜·理查兹 1 巴巴克萨迪吉·菲罗扎巴迪 1 弗朗西丝卡·托尼 1 约翰内斯·韦尔布尔 全部的 前5名系列 4 逻辑研究 三 人工智能 2 哲学逻辑杂志 2 ACM计算逻辑事务 2 应用逻辑杂志 1 计算机与人工智能 1 逻辑程序设计杂志 1 新一代计算 1 IGPL杂志 1 IGPL逻辑杂志 1 计算机基础理论 字段 27 计算机科学(68-XX) 21 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用300中的次232文件 引用人▼ 年份▼ 基于逻辑的事件演算。 兹比尔1356.68221 罗伯特·科瓦尔斯基;马雷克·塞尔戈特 107 1986 背离义务。 Zbl 0873.03025号 亨利·普拉肯;马雷克·塞尔戈特 36 1996 制度化权力的正式特征。 Zbl 0855.03014号 安德鲁·琼斯(Andrew J.I.Jones)。;马雷克·塞尔戈特 29 1996 双重道义逻辑和违背义务。 Zbl 0913.03009号 亨利·普拉肯;马雷克·塞尔戈特 18 1997 道义解释系统。 Zbl 1033.03012号 阿莱西奥·洛穆西奥;马雷克·塞尔戈特 17 2003 论证和答案集编程。 Zbl 1326.68279号 弗朗西丝卡·托尼;马雷克·塞尔戈特 12 2011 动作语言\(n{\mathcal{C}}+\)的道义成分。 兹比尔1148.68489 马雷克·塞尔戈特;罗伯特·克雷文 9 2006 否定是不一致的。一、。 Zbl 0606.68086号 D.M.加巴伊。;塞尔戈特,M.J。 8 1986 指定规范控制的计算社会。 Zbl 1367.68320号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 7 2009 理解感官输入。 Zbl 1519.68214号 理查德·埃文斯;何塞·埃尔南德斯·奥拉洛;约翰内斯·韦尔布尔;科利,普希米特;马雷克·塞尔戈特 6 2021 规范位置的计算理论。 Zbl 1365.03020号 马雷克·塞尔戈特 6 2001 正式论证协议的可执行规范。 Zbl 1168.68557号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 5 2007 通过诱拐从微阵列数据推断基因关系。 Zbl 1152.68417号 艾琳·帕帕西奥多罗;安东尼斯·卡卡斯;马雷克·塞尔戈特 5 2005 使用因果计算器指定电子社会。 Zbl 1018.68529号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 4 2003 建模不可靠和不可信的代理行为。 Zbl 1090.68091号 马雷克·塞尔戈特 4 2005 比特传输问题中违规、错误恢复和执行的形式化。 Zbl 1076.68074号 阿莱西奥·洛穆西奥;马雷克·塞尔戈特 4 2004 动作语言中的代理串(n\mathcal C++)。 Zbl 1149.68419号 罗伯特·克雷文;马雷克·塞尔戈特 三 2008 规范性立场。 Zbl 0939.03036号 马雷克·塞尔戈特 2 1999 将康德规则形式化。条件命令和允许的逻辑。 Zbl 1485.03014号 R·埃文斯。;塞尔戈特,M。;史蒂芬森,A。 2 2020 使用规范立场理论对安全要求进行正式规范。 Zbl 1458.68034号 安德鲁·琼斯(Andrew J.I.Jones)。;马雷克·塞尔戈特 2 1992 规范性立场。 Zbl 1367.03046号 马雷克·塞尔戈特 2 2013 \(\mathcal C+\)中的远距离因果关系。 Zbl 1079.03018号 罗伯特·克雷文;马雷克·塞尔戈特 2 2005 一些例子以“看得见”的逻辑表述:插图、观察、问题。 Zbl 1287.03064号 马雷克·塞尔戈特 2 2014 大型遗传数据库的分布式和分页后缀树。 兹比尔1279.68066 拉斐尔·克利福德;马雷克·塞尔戈特 2 2003 \(Delta)1994年。第二届计算机科学道义逻辑国际研讨会论文集,挪威奥斯陆,1994年1月6日至8日。 兹伯利0889.03013 1 1993 关于规范立场理论中行动和代理的代表。 Zbl 0995.03020号 马雷克·塞尔戈特;菲奥娜·理查兹 1 2001 道义解释系统的表辅助系统。 Zbl 1205.03026号 圭多州长;阿莱西奥·洛穆西奥;马雷克·塞尔戈特。 1 2003 使用授权证书创建管理结构。 Zbl 1017.68674号 巴巴克·萨迪吉·菲罗扎巴迪;马雷克·塞尔戈特;奥拉夫·班德曼 1 2002 理解原始输入。 Zbl 1520.68132号 理查德·埃文斯;马特科·博什尼亚克;拉尔斯·布兴;凯文·埃利斯;大卫·普法;科利,普希米特;马雷克·塞尔戈特 1 2021 开放多智能体系统的可执行规范。 Zbl 1197.68081号 亚历山大·阿提基斯;马雷克·塞尔戈特 1 2010 理解感官输入。 Zbl 1519.68214号 理查德·埃文斯;何塞·埃尔南德斯·奥拉洛;约翰内斯·韦尔布尔;科利,普希米特;马雷克·塞尔戈特 6 2021 理解原始输入。 Zbl 1520.68132号 理查德·埃文斯;马特科·博什尼亚克;拉尔斯·布兴;凯文·埃利斯;大卫·普法;科利,普希米特;马雷克·塞尔戈特 1 2021 将康德规则形式化。条件命令和允许的逻辑。 Zbl 1485.03014号 R·埃文斯。;塞尔戈特,M。;史蒂芬森,A。 2 2020 一些例子以“看得见”的逻辑表述:插图、观察、问题。 Zbl 1287.03064号 马雷克·塞尔戈特 2 2014 规范性立场。 Zbl 1367.03046号 马雷克·塞尔戈特 2 2013 论证和答案集编程。 Zbl 1326.68279号 弗朗西丝卡·托尼;马雷克·塞尔戈特 12 2011 开放多智能体系统的可执行规范。 Zbl 1197.68081号 亚历山大·阿提基斯;马雷克·塞尔戈特 1 2010 指定规范控制的计算社会。 Zbl 1367.68320号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 7 2009 动作语言中的代理串(n\mathcal C++)。 Zbl 1149.68419号 罗伯特·克雷文;马雷克·塞尔戈特 三 2008 正式论证协议的可执行规范。 Zbl 1168.68557号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 5 2007 动作语言的道义成分(n{\mathcal{C}}+\)。 Zbl 1148.68489号 马雷克·塞尔戈特;罗伯特·克雷文 9 2006 通过诱拐从微阵列数据推断基因关系。 Zbl 1152.68417号 艾琳·帕帕西奥多鲁;安东尼斯·卡卡斯;马雷克·塞尔戈特 5 2005 建模不可靠和不可信的代理行为。 兹比尔1090.68091 马雷克·塞尔戈特 4 2005 \(\mathcal C+\)中的远距离因果关系。 Zbl 1079.03018号 罗伯特·克雷文;马雷克·塞尔戈特 2 2005 比特传输问题中违规、错误恢复和执行的形式化。 Zbl 1076.68074号 阿莱西奥·洛穆西奥;马雷克·塞尔戈特 4 2004 道义解释系统。 Zbl 1033.03012号 阿莱西奥·洛穆西奥;马雷克·塞尔戈特 17 2003 使用因果计算器指定电子社会。 Zbl 1018.68529号 亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 4 2003 大型遗传数据库的分布式和分页后缀树。 Zbl 1279.68066号 拉斐尔·克利福德;马雷克·塞尔戈特 2 2003 道义解释系统的表辅助系统。 Zbl 1205.03026号 圭多州长;阿莱西奥·洛穆西奥;马雷克·塞尔戈特。 1 2003 使用授权证书创建管理结构。 Zbl 1017.68674号 巴巴克·萨迪吉·菲罗扎巴迪;马雷克·塞尔戈特;奥拉夫·班德曼 1 2002 规范位置的计算理论。 Zbl 1365.03020号 马雷克·塞尔戈特 6 2001 关于规范立场理论中行动和代理的代表。 Zbl 0995.03020号 马雷克·塞尔戈特;菲奥娜·理查兹 1 2001 规范性立场。 Zbl 0939.03036号 马雷克·塞尔戈特 2 1999 双重道义逻辑和违背义务。 Zbl 0913.03009号 亨利·普拉肯;马雷克·塞尔戈特 18 1997 背离义务。 Zbl 0873.03025号 亨利·普拉肯;马雷克·塞尔戈特 36 1996 制度化权力的正式特征。 Zbl 0855.03014号 安德鲁·琼斯(Andrew J.I.Jones)。;马雷克·塞尔戈特 29 1996 \(Delta)1994年。第二届计算机科学道义逻辑国际研讨会论文集,挪威奥斯陆,1994年1月6日至8日。 Zbl 0889.03013号 1 1993 使用规范立场理论对安全要求进行正式规范。 Zbl 1458.68034号 安德鲁·琼斯(Andrew J.I.Jones)。;马雷克·塞尔戈特 2 1992 基于逻辑的事件演算。 兹比尔1356.68221 罗伯特·科瓦尔斯基;马雷克·塞尔戈特 107 1986 否定为不一致。一、。 Zbl 0606.68086号 D.M.加巴伊。;塞尔格特,M.J。 8 1986 所有引用出版物 前5名被引用出版物 全部的 前5名被419位作者引用 9 亚历山大·阿提基斯 8 乔治·巴利乌拉斯 7 法里巴·萨德里 6 家长,Xavier 6 范德托雷,Leendert W.N。 5 巴勃罗·卡斯特罗。 5 Dov M.加巴伊。 5 圭多州长 5 大卫·格罗西 5 井上,胜美 5 罗伯特·A·科瓦尔斯基。 5 托马斯·斯蒂芬·爱德华·迈鲍姆 5 亚历山德拉·拉索。 5 杰拉尔多·施奈德 5 马雷克·塞尔戈特。 4 佩德罗·卡巴拉尔 4 Lee,Joohyng先生 4 Hector J.列夫斯克。 4 弗拉基米尔·利夫希茨 4 阿莱西奥·洛穆西奥 4 埃米利亚诺·洛里尼 4 安东尼诺·罗托洛 4 肯·佐藤 三 奇塔·R·巴拉尔。 三 布罗达,Krysia B。 三 布罗森,Jan M。 三 安德鲁·克洛珀 三 迪格纳姆,F.P.M。 三 尼科斯·卡佐里 三 Lars-Ake林达尔 三 简·奥德尔斯塔德 三 克里斯蒂安·普里萨卡里奥 三 乔瓦尼·萨托 三 托尔斯滕·绍布(Torsten H.Schaub)。 三 汉内斯·斯特拉斯 三 迈克尔·泰尔舍尔 三 弗朗西丝卡·托尼 三 保罗·托罗尼 三 范德霍克,威比 三 迈克尔·J·伍尔德里奇。 2 托马斯·奥戈特内斯 2 马尔科·阿尔贝蒂 2 何塞·朱利奥·阿尔弗雷斯 2 彼得·鲍姆加特纳 2 瓦夏克·贝勒 2 尼科尔·比多特 2 圭多·波埃拉 2 伊丽莎白·布拉德利 2 科伦坡托萨托,西尔瓦诺 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 罗伯特·德莫洛姆 2 马克·德内克 2 尼基尔·迪内什 2 阿尔弗雷多·加巴登 2 莎拉·爱丽丝·加格尔 2 安东尼·高尔顿。 2 马可·加瓦内利 2 米基·赫尔曼 2 Aravind K.乔希。 2 格哈德·莱克梅耶 2 伊芙琳娜·拉姆 2 法律,Mark M。 2 李因苏普 2 林方珍 2 保罗·曼卡雷拉 2 保罗·梅洛 2 约翰·朱尔斯·查尔斯·梅耶 2 罗布·米勒 2 莱奥拉·摩根斯坦 2 史蒂芬·H·马格尔顿。 2 巴勃罗·诺列加 2 蒂莫西·诺曼。 2 弗朗西斯科·奥利维里 2 戈登·佩斯。 2 西奥多·帕特科斯 2 莱因哈德,皮克勒 2 哈维尔·平托(Javier A.Pinto)。 2 杰里米·皮特 2 普列克索萨基斯,迪米特里斯 2 亨利·普拉肯 2 奥利弗·雷 2 克里斯·里德 2 托尼·里贝罗 2 法布里西奥·里古齐 2 罗德里格斯-阿吉拉尔,胡安·安东尼奥 2 保罗·爱德华多·桑托斯 2 卡莱斯·塞拉 2 阿纳斯塔西奥斯·斯卡拉提迪斯 2 奥列格·索科尔斯基 2 莱因哈德·斯托勒 2 哈德森·特纳 2 保罗·图里尼 2 范伯克利,基斯 2 韦布鲁克(Rineke Verbrugge) 2 塞雷娜·维拉塔 2 杨芳凯 2 安德烈·兹布雷泽兹尼 1 迈克尔·亚伯拉罕 1 沃尔夫冈·阿伦特 1 瓦罗尔·阿克曼 …还有319位作者 全部的 前5名引用于38个系列 35 人工智能 23 应用逻辑杂志 13 机器学习 13 数学与人工智能年鉴 11 逻辑程序设计理论与实践 10 应用非经典逻辑杂志 8 逻辑研究 7 哲学逻辑杂志 7 合成 5 理论计算机科学 4 国际近似推理杂志 4 逻辑、语言与信息杂志 4 逻辑与代数程序设计杂志 三 新一代计算 三 信息与计算 三 计算与数学组织理论 2 吉泰。实验与理论人工智能杂志 2 人工智能研究杂志 2 埃尔肯特尼斯 2 泛逻辑 2 计算机科学前沿 1 信息科学 1 计算机与系统科学杂志 1 逻辑部分公告 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 应用智能 1 人工智能综述 1 系统设计中的形式化方法 1 约束条件 1 软计算 1 科学基础 1 计算机基础理论 1 定量金融学 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 计算智能 全部的 前5名10个领域引用 192 计算机科学(68-XX) 95 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 生物学和其他自然科学(92-XX) 三 运筹学、数学规划(90-XX) 2 阶、格、有序代数结构(06-XX) 2 相对论和引力理论(83至XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文