学院出版物徽标   学院出版物标题  
查看购物篮
主页 联系人页面
   
 
AiML公司
巴西费洛索菲亚学院
算法
艺术类
计算图书馆
Logica e Filosofia的Cadernos de Lógica e
逻辑与认识论教团
沟通、思维和语言
计算
科学哲学国际学院
圣路易斯,认识论与伦加耶
DEON公司
对话
经济
逻辑百科全书
丝孢菌属
手册
逻辑史
计算逻辑中的IfColog级数
IfColog系列讲座
IfColog程序
应用逻辑杂志-IfCoLog杂志
关于
编辑委员会
期刊的范围
提交的资料
即将发表的论文
期刊销售
景观
新一代AI的逻辑
逻辑与法律
逻辑与符号学
逻辑博士
逻辑、方法论和科学哲学
Logica年鉴
标记的状态
神经计算与人工智能
哲学
研究
SILFS系列
逻辑研究
塔木德逻辑研究
学生刊物
系统
逻辑和推理中的文本
数学课文
致敬
其他
数字下载
作者信息
关于我们
搜索书籍
 



应用逻辑杂志-IfCoLog杂志


应用逻辑杂志-IfCoLog《逻辑及其应用杂志》(FLAP)涵盖了纯逻辑和应用逻辑的所有领域。所有发表的论文都是免费开放的,可以通过学院出版物网站获得。这本杂志是开放存取的,对任何文章的页数都没有限制,对一期的论文数量没有限制,并且对每年的期刊数量也没有限制。我们只坚持非常高的学术标准,并将在问题出现时发表。
 
关于编辑委员会期刊的范围 提交的资料即将发表的论文


这些问题有印刷版和电子版两种形式。它由学院出版社代表英国逻辑慈善机构IfCoLog出版。

赞同
我选择了IfCoLog作为您网页上描述的政策。当“大”出版社的行为与他们的行为一致时,你做得很好。
安德烈·维斯涅夫斯基


1.论文征集:多值逻辑专题

今年,我们很荣幸地邀请您参加一个关于多值逻辑(MVL)的专刊,该专刊针对ISMVL 2024会议的新提交和扩展论文。


感兴趣的领域
多值逻辑
电路和MVL
机器学习和MVL
MVL电路的设计
光谱技术
应急计算
纳米技术的MVL方面
多值决策图
可逆随机计算
VLSI体系结构与计算
代数和形式方面
多值逻辑电路
测试和验证
系统和MVL
MVL和生物医学
脑尺度集成电路与计算
数据挖掘和大数据的MVL方法
量子计算系统芯片技术
电路/设备实现每个单元的多比特逻辑和存储器


文章和主题应主要面向JALs-ifCoLog的不同读者。最好是未发表的原创作品,但也可以提交IEEE ISVML 2024的扩展文章,其中至少有30%的新内容。文章应针对多值逻辑的新颖和新兴终端应用。

作者应使用可在\url上找到的指南和模板,以pdf格式(编译的乳胶文件)提交论文{https://npc.nu.edu.kz/docs/作者指南.pdf}和\url{https://npc.nu.edu.kz/docs/myifcolo.cls}. 提交文件应直接发送至malu@hiroshima-cu.ac.jp或至yuminaka@gumana-u.ac.jp。每份手稿都应遵循作者指南中的指导方针。

重要日期
不同提交阶段的日期可能会发生变化

提交截止日期:2024年8月31日
审查后返回作者:2024年11月31日
最终版本(可能额外进行一轮审查)2025年4月30日



今年的客座编辑是
马丁·卢卡奇和安山由弥







除非上文另有说明,特殊问题的提交程序如下:

作者应将论文提交给Jane Spurr(jane@janespurr.net)主题行中有“JAL Submission-{Special Issue Title}”。

不需要提交特殊格式的作品,但作品应该是原创的,不应该发表,或者正在考虑在其他地方发表。


第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

查看详细信息


体积:





查看详细信息





©2005–2024学院出版物/VFH网站管理员