Yakoub Salhi和Michael Sioutis ,定性时空推理中不一致处理的分解框架,全文 Vít Punčochář 《查询语义的模糊真值、模糊支持和模糊信息状态》,全文 Dominik Drexler、Jendrik Seipp和Hector Geffner ,通过迭代减少草图规则的宽度学习分层策略,全文 大卫·费尔南德斯·杜克、布雷特·麦克莱恩和卢卡斯·曾格 ,《可判定双教学模态逻辑系列》,全文 帕特里夏·埃弗拉雷、乔伊布·费拉、塞巴斯蒂安·科尼奇尼和拉蒙·皮诺·佩雷斯 ,命题信念基础的加权合并,全文 Lars Bengel和Matthias Thimm 《面向抽象论证中串行语义的并行扩展构造》,短文 安东尼奥·拉戈、李恒志和弗朗西丝卡·托尼 《通过辩论性交流解决冲突的交互式解释》,全文 爱德华多·费尔梅、塞巴斯蒂安·科尼奇尼、拉蒙·皮诺·佩雷斯和尼古拉斯·施温德 ,信念更新的可信模型,全文 费德里科·萨巴蒂尼和罗伯塔·卡莱加里 、CREAM可解释聚类、全文 利迪亚·布吕梅尔和马蒂亚斯·蒂姆 ,通过虚约简语义近似抽象论证中的弱首选语义,全文 毛里西奥·萨勒诺(Mauricio Salerno)、拉奎尔·富恩特塔亚(Raquel Fuentetaja)和詹德里克·塞普(Jendrik Seipp) ,使用经典规划消除计划中的冗余行动,短文 米歇尔·莱克莱尔(Michel Leclère)、玛丽·劳雷·穆格尼尔(Marie-Laure Mugnier)和纪尧姆·佩鲁提奥·基利(Guillaume Pérution-Kihli) ,用析取存在规则和映射进行查询重写,全文 Michael Bernreiter和Matthias König ,从定性选择逻辑到抽象论证,短文 杰西·海因尼克、乔瓦尼·卡西尼、托马斯·梅耶和翁贝托·斯特拉契亚 ,修订典型信念:一次修订以统领所有信念,全文 蒂姆·里昂(Tim Lyon)和彼得·奥斯特罗普斯基(Piotr Ostropolski-Nalewaja) 《将证明理论与知识表示联系起来:序贯演算与存在规则的追赶》,短文 托马索·弗拉米尼奥、桑德罗·普雷托和萨拉·乌戈里尼 ,通过连续函数进行概率推理,全文 兰斯·肯尼迪、伊索夫·金多和阿瑟·崔 ,《关于用有限的汇编训练神经元》,全文 马库斯·赫彻和拉斐尔·基塞尔 ,结构对答案集计数的影响:战斗周期及其极限,全文 彼得罗·加利亚尼、奥利弗·库茨和尼古拉斯·特罗夸德 《带计数感知器的ALC的简洁性和复杂性》,全文 Zeynep G.Saribatur和Stefan Woltran ,投射ASP程序中无关内容的基础,全文 刘兴汉、埃米利亚诺·洛里尼、安德烈亚斯·赫齐格和卡洛斯·阿奎列拉·文图拉 ,《通过固定距离进行反事实推理》,全文 Agata Ciabattoni和Dmitry Rozplokhas ,使用Sequent Calculi简化输入/输出逻辑,全文 Toryn Q.Klassen、Christian Muise和Sheila McIlraith 、认知偏好规划、短文 Cándido Otero、Dennis Craandijk和Floris Bex ,ORLA:学习可解释的论证模型,全文 刘舒文(Shuwen Liu)、伯纳多·昆卡·格劳(Bernardo Cuenca Grau)、伊恩·霍洛克斯(Ian Horrocks)和埃戈尔·柯斯特列夫(Egor V.Kostylev) ,重温知识图完成的推理基准,全文 Przemys aw Andrzej Wa,Michal Zawidzki和Christoph Haase ,计算LTL规范包含的所有事实,全文 Clément Carbonnel、Martin Cooper和Joao Marques-Silva ,《多元决策树的可追溯解释》,全文 Timon Barlag、Miika Hannula、Juha Kontinen、Nina Pardal和Jonni Virtema 《通过半环实现团队语义的统一基础》,全文 卢卡斯·格拉赫和大卫·卡拉尔 ,一定要重复:了解限制追捕不终止的充分条件,全文 马克西姆·格拉迪舍夫(Maksim Gladyshev)、娜塔莎·阿列奇纳(Natasha Alechina)、梅迪·达斯塔尼(Mehdi Dastani)和德拉甘·多德(Dragan Doder) ,集团增加风险的责任,全文 丹尼斯·安吉丽卡(Denise Angilica)、马里奥·阿沃利奥(Mario Avolio)、乔瓦尼·贝拉尔迪(Giovanni Beraldi)、乔万巴蒂斯塔·伊安尼(Giovambattista Ianni)和弗朗西斯科·帕琴察 《从愿景到执行:在玩移动游戏的混合智能机器人中实现推理和知识表示》,全文 亚历山德罗·阿塔尔(Alessandro Artale)、卢卡·盖蒂(Luca Geatti)、尼古拉·吉甘特(Nicola Gigante)、安德烈亚·马祖洛(Andrea Mazzullo)和安杰洛·蒙塔纳里(Angelo Montanari) ,LTL[X,F]到纯过去LTL的单指数转换,全文 卡斯滕·卢茨(Carsten Lutz)、昆汀·马尼埃(Quentin Manière)和罗宾·诺尔特(Robin Nolte) ,查询外接描述逻辑知识库,全文 卢西亚·戈梅斯·阿尔瓦雷斯、塞巴斯蒂安·鲁道夫和汉内斯·斯特拉斯 ,《推进可牵引多视角推理的边界:EL+立场的演绎演算》,全文 Periklis Mantenoglou、Dimitrios Kelesis和Alexander Artikis ,Allen关系的复杂事件识别,全文 蒂姆·里昂、卢西亚·戈梅斯·阿尔瓦雷斯和尼古拉·吉甘特 ,Standpoint Linear Temporal Logic,全文 罗纳德·费金(Ronald Fagin)、Phokion Kolaitis、Domenico Lembo、Lucian Popa和Federico Scafoglieri ,一个在知识库中结合实体解析和查询回答的框架,全文 刘大新、冯奇慧、维萨克·贝勒和格哈德·莱克梅耶 ,关于一阶逻辑中带动作和元逻辑的度量,全文 拉斐尔·基塞尔和托马斯·艾特 、SharpSAT-TD的知识汇编和更多功能,全文 斯特凡·德姆里(Stéphane Demri)和雷恩·伦霍姆(Raine Rönnholm) 《如何使用ATL+管理预算》,全文 亨利·仆拉肯 《论证动力学的相关抽象和结构化描述:扩展案例》,全文 卡斯滕·卢茨和卢卡斯·舒尔茨 ,《描述逻辑与抽象和精炼》,全文 达芙妮·奥德克肯(Daphne Odekerken)、托莫·莱托宁(Tuomo Lehtonen)、安纳马里·博格(Annemarie Borg)、约翰内斯·沃勒(Johannes P.Wallner)和马蒂·亚尔维萨罗(Matti Järvisalo) ,不完全信息下ASPIC+中的论证推理,全文 Ofer Arieli和Jesse Heyninck ,基于简单对立假设的部分有序偏好论证,全文 梅根·宾文努(Meghyn Bienvenu)和卡米尔·布高克斯(Camille Bourgaux) ,《具有通用约束的优先级数据库中的不一致处理:复杂性分析和具有主动完整性约束的链接》,全文 戴拉·平托·普列托(Daira Pinto Prieto)、罗纳德·哈恩(Ronald de Haan)和艾布·科·祖根 ,《冲突和不确定证据的信念模型:联系Dempster-Shafer理论和证据拓扑》,全文 克莱尔·戴维(Claire David)、纳迪米·弗朗西斯(Nadime Francis)和维克托·马绍尔(Victor Marsault) ,基于运行的RPQ语义,全文 尼古拉斯·施温德、塞巴斯蒂安·科尼埃奇尼和拉蒙·皮诺·佩雷斯 ,反复信念修正的迭代,全文 Adam Ishay、Zhun Yang和Joohyng Lee ,《使用大型语言模型和答案集编程的神经符号推理:逻辑难题的案例研究》,全文 豪尔赫·范丁诺和弗拉基米尔·利夫希茨 ,Omega—Here-and-There逻辑的完备性和逻辑程序的强等价性,全文 Benjamin Alt、Franklin Kenghagho Kenfack、Andrei Haidu、Darko Katic、Rainer Jäkel和Michael Beetz 《基于人类虚拟现实演示的知识驱动机器人程序合成》,全文 林戈·鲍曼和安妮·马里·海因 《关于无冲突标签——冗余的可实现性、结构和模式》,短文 乔纳斯·菲利普·哈尔德曼和克里斯托夫·拜尔勒 ,世界上排名函数和总序数的最精细语法拆分,短文 王若琳、徐月娇、彭杰、季建民 ,A$^2$CoST:一个基于ASP的自动驾驶汽车可避免碰撞场景测试台,全文 瓦莱丽亚·菲昂达、安东尼奥·埃洛和弗朗西斯科·里卡 ,基于逻辑的业务流程模型组成,全文 Agi Kurucz、Frank Wolter和Michael Zakharyaschev ,一阶模态逻辑中的定义和(统一)插值,全文 保利乌斯·迪尔卡斯和瓦夏克·贝尔 ,《为一阶模型计数合成递归函数:挑战、进展和猜想》,全文 Wojtek Jamroga和Yan Kim ,多代理系统模型检查的实用抽象,全文 西蒙·圣赫伯格、布莱·博内特和赫克托·杰夫纳 ,使用政策梯度方法学习一般政策,全文 帕纳吉蒂斯·库瓦罗斯(Panagiotis Kouvaros)、弗朗西斯科·利奥芬特(Francesco Leofate)、布莱克·爱德华兹(Blake Edwards)、卡尔文·钟(Calvin Chung)、德拉戈斯·马吉安图(Dragos Marginiantu)和阿莱西奥· ,验证飞机姿态估计的语义关键点检测,短文 Matti Berthold、Anna Rapberger和Markus Ulbricht ,《基于假设的论证中的遗忘方面》,全文 Shaked Almog和Meir Kalech ,《后概念漂移决策树修复诊断》,全文 亚历杭德罗·梅尔卡多(Alejandro J.Mercado)、丹尼尔·格里马尔迪(Daniel Grimaldi)和里卡多·奥斯卡·罗德里格斯(Ricardo Oscar Rodriguez) ,屏蔽底座收缩的弱掩蔽,全纸 弗雷德里科·阿莱克索(Frederico Aleixo)、马蒂亚斯·克诺尔(Matthias Knorr)和若奥·莱特(Joao Leite) ,修订生物调控网络的布尔逻辑模型,全文 埃琳娜·乌米利、罗伯托·卡波比安科和朱塞佩·德贾科莫 、图像序列中的接地LTLf规范、全文 马科斯·克莱默(Marcos Cramer)、萨缪尔·波拉奇(Samuele Pollaci)和巴特·博加特(Bart Bogaerts) 《只结合已知知识和常识的数学基础》,全文 David Tena Cucala、Bernardo Cuenca Grau、Boris Motik和Egor Kostylev ,关于Max-Sum GNN和Datalog之间的通信,全文 Sourav Chakraborty、Avijeet Ghosh、Sujata Ghosh和François Schwarzentruber 《关于智能代理的简单期望和观察:复杂性研究》,全文 弗朗西斯科·利奥芬特、埃琳娜·博托耶娃和维尼特·拉贾尼 ,《反事实解释与模型多重性:关系验证观点》,短文 亚历山大·波奇曼 ,默认逻辑作为因果推理的一种,全文 弗朗西斯科·贝拉迪内利(Francesco Belardinelli)、沃伊特克·贾姆罗加(Wojtek Jamroga)、穆尼克·米特尔曼(Munyque Mittelmann)和阿尼埃洛·穆拉诺(Aniello Murano) ,随机环境中遗忘代理人的战略能力,短文 Rita T.Sousa、Sara Silva和Catia Pesquita ,知识图中关系预测的可解释表示,全文 托马斯·卢卡西维奇、恩里科·马利齐亚和克里斯蒂安·莫里纳罗 ,数据日志中不一致容忍查询回答的复杂性+/-在首选修复下,全文 艾娃·克利夫顿和查尔斯·格雷顿 ,重新审视规划的房地产导向可达性,全文 托莫·莱顿(Tuomo Lehtonen)、安娜·拉贝格(Anna Rapberger)、马库斯·乌布利希特(Markus Ulbricht)和约翰内斯·沃勒(Johannes P.Wallner) ,基于假设的论证引发的论证框架:相关的规模和复杂性,全文 肖恩·扎米特和迈克尔·泰尔舍尔 ,《利用国家独立通信进行一般游戏》,全文 马可·威廉 ,《将线性算术约束集成到条件最大熵推理中》,全文 Yannet Interian和Sara Bernardini ,学习WalkSAT的可解释启发法,全文 格里戈伊尔·蒙古伊、塞巴斯蒂安·巴丁、纳吉布·拉扎尔和阿尔诺德·戈特利布 ,主动析取约束获取,全文 Gianluca Cima、Víctor Gutiérrez Basulto和Yazmín Ibáñez García ,在基于逻辑的实体解析中结合全局和局部合并,短文