朱塞佩·德贾科莫；保罗·费利；布赖恩·洛根；法比奥·帕特里齐；塞巴斯蒂安·萨迪尼亚 具有一阶状态表示的制造系统中控制器综合的情形演算。 （英语） Zbl 1481.93036号 Artif公司。智力。 302，文章ID 103598，30 p.（2022）.MSC公司：93亿B50 90B30型 93-04 90-04 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。智力。302，文章ID 103598，30 p.（2022；Zbl 1481.93036） 全文： 内政部 链接
朱塞佩·德贾科莫；泽维尔·奥利奥；里卡多·罗萨蒂；多梅尼科·法比奥·萨沃 通过一阶重写在DL-Lite本体中进行实例级更新。 （英语） 兹比尔1510.68107 J.人工制品。智力。研究（JAIR） 70, 1335-1371 (2021).MSC公司：68T27型 第68页，共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，J.Artif。智力。研究（JAIR）70，1335--1371（2021；Zbl 1510.68107） 全文： 内政部
朱塞佩·德贾科莫；尤金妮亚·特诺夫斯卡；雷·赖特 情境演算中的非终结过程。 （英语） Zbl 1444.68179号 安。数学。Artif公司。智力。 88，编号5-6，623-640（2020）.MSC公司：68T27型 68N17号 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，《数学年鉴》。Artif公司。智力。88，编号5--6623--640（2020；Zbl 1444.68179） 全文： 内政部 链接
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；马尔科·蒙塔利；法比奥·帕特里齐 一般转换系统上的一阶演算及其在情形演算中的应用。 （英语） Zbl 1390.68462号 Inf.计算。 259，第3部分，328-347（2018）.MSC公司：68问题85 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，《信息计算》。259，第3部分，328--347（2018；Zbl 1390.68462） 全文： 内政部
朱塞佩·德贾科莫；伊夫·莱斯佩兰斯；帕特里齐，法比奥；斯塔夫罗斯，瓦索斯 有界信念情境演算代理的进展和验证。 （英语） Zbl 1397.68191号 螺柱日志。 104，第4期，705-739（2016）.MSC公司：68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，研究日志。104、No.4、705--739（2016；Zbl 1397.68191） 全文： 内政部
朱塞佩·德贾科莫；伊夫·莱斯佩兰斯；法比奥·帕特里齐 有界情境演算行动理论。 （英语） Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司：68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。智力。237172-203（2016；Zbl 1357.68227） 全文： 内政部 arXiv公司 链接
朱塞佩·德贾科莫；阿方索·埃米利奥；法比奥·帕特里齐；亚历山德罗·萨埃蒂；塞巴斯蒂安·萨迪纳 代理计划程序。 （英语） Zbl 1344.68245号 Artif公司。智力。 231, 64-106 (2016).MSC公司：68T42型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。智力。231、64-106（2016年；Zbl 1344.68245） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；莫舍·瓦尔迪。 关于模式映射的简化。 （英语） Zbl 1408.68046号 J.计算。系统。科学。 79，第6期，816-834（2013）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Compute。系统。科学。79，No.6，816--834（2013；Zbl 1408.68046） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 描述逻辑中基于视图的查询应答：语义和复杂性。 （英语） Zbl 1280.68250号 J.计算。系统。科学。 78，第1期，26-46（2012）.MSC公司：68立方英尺 68T27型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Compute。系统。科学。78，第1号，第26-46号（2012；Zbl 1280.68250） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；玛丽亚诺·罗德里格斯·穆罗；里卡多·罗萨蒂 本体论和数据库：DL-lite方法。 （英语） Zbl 1254.68106号 Tessaris，Sergio（编辑）等人，《推理网络》。信息系统的语义技术。2009年8月30日至9月4日，意大利布里森-布列萨诺2009年第五届国际暑期学校。辅导讲座。柏林：施普林格出版社（ISBN 978-3-642-03753-5/pbk）。计算机科学讲座笔记5689，255-356（2009）。MSC公司：第68页，共15页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。56892055-356（2009年；兹比尔1254.68106） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 数据集成的概念建模。 （英语） Zbl 1248.68161号 Borgida，Alexander T.（编辑）等人，《概念建模：基础和应用》。纪念约翰·米洛波洛斯的论文。柏林：施普林格出版社（ISBN 978-3-642-02462-7/pbk）。计算机科学讲座笔记5600，173-197（2009）。MSC公司：68个P01 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。5600、173--197（2009年；Zbl 1248.68161） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；安东尼拉·波吉；里卡多·罗萨蒂；马可·鲁齐 通过DL-Lite（{mathcal A}）本体进行数据集成。 （英语） 兹比尔1165.68511 Schewe，Klaus-Dieter（编辑）等人，《数据和知识库中的语义》。第三次国际研讨会，2008年3月29日，法国南特，SDKB 2008。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-88593-1/pbk）。计算机科学课堂讲稿4925，26-47（2008）。MSC公司：68立方英尺 68T27型 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，Lect。注释计算。科学。4925，26-47（2008；Zbl 1165.68511） 全文： 内政部
安东尼拉·波吉；多梅尼科·伦博；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 将数据链接到本体。 （英语） Zbl 1132.68061号 Spacapietra，Stefano（编辑），《数据语义学杂志》X。柏林：施普林格出版社（ISBN 978-3-540-77687-1/pbk）。计算机科学课程讲稿4900。《期刊副刊》，133-173（2008）。MSC公司：68立方英尺 68T27型 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Poggi}等人，Lect。注释计算。科学。4900、133--173（2008年；Zbl 1132.68061） 全文： 内政部
迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼；里卡多·罗萨蒂 描述逻辑中的可追踪推理和高效查询回答：DL-Lite系列。 （英语） Zbl 1132.68725号 J.汽车。推理 39，第3期，385-429（2007）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛D.Calvanese｝等人，J.Autom。推理39，第3期，385-429（2007年；Zbl 1132.68725） 全文： 内政部 链接
贝拉迪，丹妮拉；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫 UML类图上的推理。 （英语） Zbl 1132.68747号 Artif公司。智力。 168，第1-2号，70-118（2005）.MSC公司：68立方英尺 68T27型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berardi}等人，Artif。智力。168，编号1--2，70-118（2005；Zbl 1132.68747） 全文： 内政部
朱塞佩·德贾科莫；法比奥·马萨奇 将演绎和模型检查结合到表格和逆PDL算法中。 （英语） Zbl 1045.68090号 Inf.计算。 162，编号1-2，117-137（2000）.MSC公司：60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}和\textit{F.Massacci}，Inf.Compute。162，编号1--2，117-137（2000；Zbl 1045.68090） 全文： 内政部 链接
德贾科莫，G。；Lespérance，Y。；H.J.列夫斯克。 ConGolog，一种基于情境演算的并发编程语言。 （英语） Zbl 0948.68175号 Artif公司。智力。 121，编号1-2，109-169（2000）.MSC公司：68T40型 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。智力。121，编号1--2，109--169（2000；Zbl 0948.68175） 全文： 内政部
陈晓军；朱塞佩·德·贾科莫 关于不确定性和并发操作的推理：进程代数方法。 （英语） Zbl 0910.68075号 Artif公司。智力。 107，第1期，63-98（1999）.MSC公司：第68季度10 PDF格式BibTeX公司 XML格式引用 \textit｛X.J.Chen｝和\textit｛G.de Giacomo｝，人工制品。智力。107，编号1，63--98（1999；Zbl 0910.68075） 全文： 内政部
朱塞佩·德贾科莫；法比奥·马萨奇 带逆命题动态逻辑的表和算法。 （英语） Zbl 1412.68216号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 613-627 (1996).MSC公司：68吨15 03B45号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}和\textit{F.Massacci}，莱克特。注释计算。科学。1104613-627（1996年；Zbl 1412.68216） 全文： 内政部