×

找到15份文件（结果1-15）

最新的 引文 关联
埃米利亚诺·洛里尼;弗朗索瓦·施瓦森特鲁伯

一种基于计算的分级信念逻辑。 （英语） Zbl 07437045号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 245-261 (2021).
理学硕士：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}和\textit{F.Schwarzentruber}，莱克特。注释计算。科学。12678、245--261（2021；Zbl 07437045）
全文： 内政部 哈尔
埃米利亚诺·洛里尼

利用信念基础构建丰富的认知结构。 （英语） Zbl 07450037号

Moss，Lawrence S.（编辑），《第十七届理性与知识理论方面会议论文集》，2019年7月17日至19日，法国图卢兹，TARK 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）297332-353（2019年）。
理学硕士：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}，电子。程序。西奥。计算。科学。（EPTCS）297332-353（2019；Zbl 07450037）
全文： arXiv公司 链接
安德烈亚斯·赫齐格;埃米利亚诺·洛里尼;福斯汀·马弗尔

基于观察和交流的可能世界语义。 （英语） Zbl 1437.03066号

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 339-362 (2018).
理学硕士：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}等人，《Outst》。控制日志。12339-362（2018年；Zbl 1437.03066）
全文： 内政部
布罗森，简;斯蒂芬·克雷菲尔德;叶希亚·埃尔拉凯比;Dov Gabbay公司;大卫·格罗西;埃米利亚诺·洛里尼;家长，Xavier;范德托雷，Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯

规范推理和结果。 （英语） Zbl 1482.68227号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 4，33-70（2013）。
理学硕士：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{J.Broersen}等人，Dagstuhl Follow-Ups 4，33--70（2013；Zbl 1482.68227）
全文： 内政部
蒂娜·巴尔克;佩雷拉·塞利亚·达科斯塔;弗兰克·迪格纳姆;埃米利亚诺·洛里尼;安东尼诺·罗托洛;Wamberto的Vasconcelos;塞雷娜·维拉塔

MAS规范：定义和相关概念。 （英语） Zbl 1482.68237号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 4，1-31（2013）。
理学硕士：68T42型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Balke}等人，Dagstuhl Follow-Ups 4，1--31（2013；Zbl 1482.68237）
全文： 内政部
埃米利亚诺·洛里尼

知识、分级信念和分级目标的动态逻辑及其在情感建模中的应用。 （英语） 兹比尔1298.03053

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，165-178（2011）。
理学硕士：03B42号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}，莱克特。注释计算。科学。6953、165--178（2011；Zbl 1298.03053）
全文： 内政部 哈尔
安德烈亚斯·赫齐格;埃米利亚诺·洛里尼;尼古拉斯·特罗夸德

机构行动的动态逻辑。 （英语） Zbl 1348.68239号

Leite，João（编辑）等人，多智能体系统中的计算逻辑。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。《人工智能讲义》，295-311（2011）。
理学硕士：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}等人，莱克特。注释计算。科学。6814295-311（2011年；Zbl 1348.68239）
全文： 内政部
埃米利亚诺·洛里尼;罗伯特·德莫洛姆

计算机安全背景下的信任和规范：逻辑形式化。 （英语） Zbl 1143.03346号

范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。《人工智能课堂讲稿》，50-64页（2008年）。
理学硕士：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}和\textit{R.Demolombe}，莱克特。注释计算。科学。5076、50-64（2008年；Zbl 1143.03346）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件