×
马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼

诱因逻辑编程中的可验证代理交互：SCIFF框架。 （英语） 兹比尔1367.68273

ACM事务处理。计算。日志。 9，第4号，第29条，第43页（2008年）.

引用于13文件

理学硕士：

68T27型 人工智能中的逻辑
68N17号 逻辑编程
68问题55 计算理论中的语义学
68T42型 Agent技术与人工智能

关键词：

溯因逻辑程序设计;IFF证明程序;SCIFF公司;SOCS（计算机学会）;agent交互协议;陈述语义学;形式属性;证明程序

软件：

SCIFF公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，ACM翻译。计算。日志。9，第4号，第29条，43页（2008年；Zbl 1367.68273）
全文： 内政部