| 第11-5卷:
第11卷第5期,2024年10月 特刊:伊朗逻辑与计算前沿
特邀编辑:阿尔沙姆·博鲁曼德·萨伊德、拉贾布·阿里·博尔祖艾和穆罕默德·梅赫迪·扎赫迪
978-1-84890-469-9
查看详细信息 |
|
| 第11-4卷:
第11卷第4期,2024年8月
978-1-84890-461-3
查看详细信息 |
|
| 第11-3卷:
第11卷第3期,2024年6月 中国逻辑与计算的前沿
特约编辑:王俊涛、佘燕红、何鹏飞、姜阳
978-1-84890-457-6
查看详细信息 |
|
| 第11-2卷:
第11卷第2期,2024年3月
978-1-84890-456-9
查看详细信息 |
|
| 第11-1卷:
第11卷第1期:2024年1月 归纳逻辑基础、应用和理论专题
特约编辑:马丁·亚当契克和马蒂亚斯·蒂姆
978-1-84890-499-1
查看详细信息 |
|
| 第10-6卷:
第10卷第6期:2023年12月 特刊:多值逻辑2023
特邀编辑:Martin Lukac和Jovanka Pantovic
978-1-84890-444-6
查看详细信息 |
|
| 第10-5卷:
第10卷第5期:2023年11月
978-1-84890-441-5
查看详细信息 |
|
| 第10-4卷:
第10卷第4期:2023年7月
978-1-84890-434-7
查看详细信息 |
|
| 第10-3卷:
第10卷第3期:2023年5月 特刊:人工智能争论的进展
特邀编辑:马塞洛·达戈斯蒂诺、法比奥·奥雷里奥·达萨罗和科斯坦扎·拉雷斯
978-1-84890-433-0
查看详细信息 |
|
| 第10-2卷:
第10卷第2期:2023年3月978-1-84890-431-6 专题:认知推理(FCR-2021)
客座编辑:Christoph Beierle、Marco Ragni、Frieder Stolzenburg和Matthias Thimm
978-1-84890-431-6
查看详细信息 |
|
| 第10-1卷:
第10卷第1期:2023年1月
978-1-84890-422-4
查看详细信息 |
|
| 第9-4卷:
第9-4卷:第9卷,第4期:2022年7月
978-1-84890-386-9
查看详细信息 |
|
| 第9-3卷:
第9-3卷:第9卷,第3期:2022年6月 特刊:多值逻辑
特邀编辑:Martin Lukac和Shinobu Nagayama
978-1-84890-405-7
查看详细信息 |
|
| 第9-2卷:
第9-2卷:第9卷,第2期:2022年4月
978-1-84890-397-5
查看详细信息 |
|
| 第9-1卷:
第9-1卷:第9卷,第1期:2022年1月 特刊:第19届巴西逻辑大会论文集(XIX EBL)
特约编辑:Itala M.Loffredo D’Ottaviano、Ricardo Silvestre、Leandro Suguitani和Petrucio Viana
978-1-84890-389-0
查看详细信息 |
|
| 第8-10卷:
第8卷第10期:2021年12月
978-1-84890-381-4
查看详细信息 |
|
| 第8-9卷:
第8卷第9期:2021年10月 专题:法律证据推理
特邀编辑:Michal Araszkiewicz和Tomasz Zurek
978-1-84890-378-4
查看详细信息 |
|
| 第8-8卷:
第8卷第8期:2021年9月 特刊:直觉模态逻辑及其应用
特约编辑:Valeria de Paiva和Sergei Artemov
978-1-84890-377-7
查看详细信息 |
|
| 第8-7卷:
第8卷第7期:2021年8月
978-1-84890-374-6
查看详细信息 |
|
| 第8-6卷:
第8卷第6期:2021年7月 形式论证专题
特约编辑:Dov M.Gabbay、Massimiliano Giacomin、Guillermo R.Simari和Matthias Thimm
978-1-84890-371-5
查看详细信息 |
|
| 第8-5卷:
第8卷第5期:2021年6月 多值逻辑专题:ISMVL 2020论文集
特约编辑:马丁·卢卡克、安石·尤米纳卡和凯特林·史密斯
978-1-84890-366-1
查看详细信息 |
|
| 第8-4卷:
第8卷第4期:2021年5月 专题:法律文本挖掘与推理
特约编辑:利维奥·罗巴尔多、伦德特·范德托雷、乔瓦尼·卡西尼和塞雷娜·维拉塔
978-1-84890-367-8
查看详细信息 |
|
| 第8-3卷:
第8卷第3期:2021年4月
978-1-84890-365-4
查看详细信息 |
|
| 第8-2卷:
第8卷第2期:2021年3月 特刊:断言和证明
特约编辑:Massimiliano Carrara、Daniele Chiffi和Ciro De Florio
978-1-84890-360-9
查看详细信息 |
|
| 第8-1卷:
第8卷第1期:2021年2月 特刊:道格拉斯·沃尔顿纪念
特约编辑:约翰·伍兹
978-1-84890-355-5
查看详细信息 |
|
| 第7-6卷:
第7卷第6期,2020年12月
978-1-84890-346-3
查看详细信息 |
|
| 体积:
第7卷第5期,2020年9月 专题:NLP、物理学和认知科学交叉点的语义空间。SemSpace 2019年
特邀编辑:玛莎·刘易斯、丹·马斯登和梅赫努什·萨达德
978-1-84890-345-6
查看详细信息 |
|
| 第7-4卷:
第7卷第4期,2020年8月
978-1-84890-343-2
查看详细信息 |
|
| 第7-3卷:
第7卷第3期,2020年6月
978-1-84890-329-6
查看详细信息 |
|
| 体积:
第7卷第2期,2020年3月 特别发行。伍兹图书研讨会“小说中的真实”
特约编辑:Dov Gabbay
978-1-84890-324-1
查看详细信息 |
|
| 第7-1卷:
第7卷第1期,2020年1月 特刊:多值逻辑
特约编辑:Martin Lukac
978-1-84890-323-4
查看详细信息 |
|
| 第6-7卷:
第6卷第7期,2019年11月
978-1-84890-320-3
查看详细信息 |
|
| 第6-6卷:
第6卷第6期,2019年9月 特刊:上帝的概念
特邀编辑:斯坦尼斯劳·克拉耶夫斯基和里卡多·西尔维斯特
978-1-84890-316-6
查看详细信息 |
|
| 第6-5卷:
第6卷第5期,2019年8月 专题:法律人工智能推理
特约编辑:利维奥·罗巴尔多和伦德特·范德托雷
978-1-84890-311-1
查看详细信息 |
|
| 第6-4卷:
第6卷第4期,2019年6月 特刊:神经符号学习与推理(NeSy'18)
特邀编辑:Artur d'Avila Garcez和Tarek R.Besold
978-1-84890-306-7
查看详细信息 |
|
| 体积:
第6卷第3期,2019年5月
978-1-84890-305-0
查看详细信息 |
|
| 音量:
第6卷第2期,2019年3月 第三届以色列非经典逻辑及其应用研讨会(IsraLog2017)
特邀编辑:Ofer Arieli和Anna Zamansky
978-1-84890-301-2
查看详细信息 |
|
| 体积:
第6卷第1期,2019年1月
978-1-84890-299-2
查看详细信息 |
|
| 体积:
第5卷第9期,2018年12月 专题:多值逻辑设计的当前趋势
特邀编辑:马丁·卢卡克和罗伯特·威利
978-1-84890-294-7
查看详细信息 |
|
| 体积:
第五卷第八期
978-1-84890-291-6
查看详细信息 |
|
| 体积:
第五卷第七期 专题:本体论论证的形式方法
特邀编辑:里卡多·索萨·西尔维斯特(Ricardo Sousa Silvestre)和珍妮·伊夫·贝齐奥(Jean-Yves Beziau)
978-1-84890-290-9
查看详细信息 |
|
| 体积:
第五卷第六期 专题:结构主义和形式主义的出现
特邀编辑:Michael Gabbay、Prokop Sousedik和David Svoboda
978-1-84890-288-6
查看详细信息 |
|
| 第5卷:
第五卷第五期 专题:战略推理的逻辑基础
特邀编辑:伍叙克公园和约翰·伍兹
978-1-84890-286-2
查看详细信息 |
|
| 体积:
第五卷第四期
978-1-84890-272-5
查看详细信息 |
|
| 体积:
第5卷第3期 特刊:论据强度
特邀编辑:Mathieu Bellaen、Jesse Heyninck、Pere Pardo和Christian Strasser
978-1-84890-279-4
查看详细信息 |
|
| 体积:
第五卷第二期 特刊:规范的多代理系统
特约编辑:Serena Villata
978-1-84890-277-0
查看详细信息 |
|
| 体积:
第5卷第1期
978-1-84890-274-9
查看详细信息 |
|
| 体积:
第4卷第11期 纪念戴尔·雅克特特刊
特约编辑:约翰·伍兹
978-1-84890-246-6
查看详细信息 |
|
| 体积:
第四卷第十期 特刊:逻辑新趋势
特约编辑:Matthias Baaz
978-1-84890-268-8
查看详细信息 |
|
| 体积:
第4卷第9期 规范多代理系统的逻辑
特邀编辑:加布里埃拉·皮戈齐和伦德特·范德托雷
978-1-84890-265-7
查看详细信息 |
|
| 音量:
第4卷第8期 形式论证
特约编辑:彼得罗·巴罗尼(Pietro Baroni)、多夫·加巴伊(Dov Gabbay)、马西米利亚诺·贾科明(Massimiliano Giacomin)和伦德特·范德托雷(Leendert van der Torre)
978-1-84890-253-4
查看详细信息 |
|
| 体积:
第4卷第7期 关于偏好、不确定性和模糊性的推理
特邀编辑:托马斯·卢卡西维奇兹、拉斐尔·佩纳洛扎和安妮·亚斯敏·图尔汗
978-1-84890-252-7
查看详细信息 |
|
| 体积:
第四卷第六期 辩论推理失真
978-1-84890-251-0
查看详细信息 |
|
| 体积:
第四卷第五期
978-1-84890-245-9
查看详细信息 |
|
| 体积:
第四卷第四期 纪念格里戈里水貂特刊
Dov Gabbay和Oleg Prosorov,客座编辑
978-1-84890-204-4
查看详细信息 |
|
| 体积:
第四卷第三期 特刊:第三次研讨会会议记录,2016年5月16日至17日,加拿大埃德蒙顿
客座编辑:Katalin Bimbó和J.Michael Dunn
978-1-84890-239-8
查看详细信息 |
|
| 体积:
第四卷第二期 特刊:逻辑、信息学和语言学中的Hilberts epsilon和tau。2017年3月
特邀编辑:斯特吉奥斯·查齐基里亚基迪斯、法比奥·帕斯夸利和克里斯蒂安·雷托雷
978-1-84890-234-3
查看详细信息 |
|
| 体积:
第4卷第1期, 特刊:逻辑教学工具。2017年1月
特约编辑:索菲·平奇纳特和弗朗索瓦·施瓦岑特鲁伯
978-1-84890-237-4
查看详细信息 |
|
| 体积:
第三卷第五期 2016年12月
978-1-84890-224-4
查看详细信息 |
|
| 体积:
第三卷第四期 证明、真理、计算
特约编辑:Hannes Leitgeb、Iosif Petrakis、Peter Schuster和Helmut Schwichtenberg
978-1-84890-219-0
查看详细信息 |
|
| 体积:
第三卷第三期 特刊:Connexive Logics
Heinrich Wansing、Hitoshi Omori和Thomas Macaulay Ferguson编辑
978-1-84890-222-0
查看详细信息 |
|
| 体积:
第3卷第2期 专题:计算论证的概率和定量方法
特约编辑:Matthias Thimm和Dov Gabbay
978-1-84890-221-3
查看详细信息 |
|
| 体积:
第3卷,第1号。 绑架边界特别问题。2016年5月
特约编辑:Lorenzo Magnani
978-1-84890-214-5
查看详细信息 |
|
| 体积:
第二卷第二期
978-1-84890-189-6
查看详细信息 |
|
| 音量:
第2卷第1期 2015年6月
978-1-84890-178-0
查看详细信息 |
|
| 体积:
第一卷第二期 2014年11月
978-1-84890163-6
查看详细信息 |
|
| 体积:
第1卷第1号 2014年6月
978-1-84890-149-0
查看详细信息 |
|
|