基于一阶动态逻辑的Agent行为推理及其哲学反思

基于一阶动态逻辑的Agent行为推理及其哲学反思

出版社：科学出版社

ISBN：9787030734150

出版年：2023

作者：郝一江

学科：哲学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

描述Web服务的一阶动态逻辑

作者：吴晓庆
出版年：2011

一阶逻辑与一阶理论

作者：叶峰
ISBN：7500413076
出版社：中国社会科学出版社
出版年：1994

数理逻辑基础 :一阶逻辑与一阶理论

作者：陈慕泽
ISBN：7300049427
出版社：中国人民大学出版社
出版年：2003

逻辑哲学论及其他

作者：[奥]维特根斯坦著
ISBN：9787100103138
出版社：商务印书馆
出版年：2014

逻辑哲学

作者：杰凯特
ISBN：9787303191895
出版社：北京师范大学出版社
出版年：2015

逻辑哲学论

作者：维特根斯坦
ISBN：9787100094962
出版社：商务印书馆
出版年：2013