第26届PADL 2024:英国伦敦
马丁·格布瑟 , 伊利亚·谢尔盖 :
声明性语言的实用方面——第26届国际研讨会,PADL 2024,英国伦敦,2024年1月15日至16日,会议记录。 计算机科学课堂讲稿 14512, 施普林格 2023 ,国际标准图书编号 978-3-031-52037-2 弗朗西斯科·卡利默里 , 乔瓦姆巴蒂斯塔·伊安尼 , 弗朗西斯科·帕琴察 , 西蒙娜·佩里 , 杰西卡·赞加里 :
优化基于ASP的流推理的遗忘与再生技术。 1-17 帕特里克·巴尔 , 埃米尔·霍尔堡 , 格雷杰斯·托马斯·斯科特·罗德 :
Haskell中使用模态类型的异步反应式编程。 18-36 王华多 , 戈帕尔·古普塔 :
FOLD-SE:一种具有可扩展可解释性的高效基于规则的机器学习算法。 37-53 马里奥·阿尔维亚诺 , 达尼洛·阿蒙多拉 , 路易斯·安吉尔·罗德里格斯·雷纳斯(Luis Angel Rodriguez Reiners) :
通过答案集编程实现市场物流。 54-63 苏普恩·阿贝辛格 , 蒂亚克·隆普夫 :
韵律:一种用于嵌套数据结构的以数据为中心的表达式查询语言。 64-81 马里奥·阿尔维亚诺 , 乔瓦姆巴蒂斯塔·伊安尼 , 弗朗切斯科·帕森扎 , 杰西卡·赞加里 :
重新思考答案集编程模板。 82-99 马丁·马吕斯·莱斯特 :
将蛋糕切成碎片:使用有界整数算法验证无嫉妒蛋糕切割协议。 100-115 弗朗西斯科·齐亚列洛 , 瓦莱丽亚·菲昂达 , 安东尼奥·伊洛 , 弗朗西斯科·里卡 :
声明的直接ASP编码。 116-133 帕提·帕达尔卡 , 王华多 , 戈帕尔·古普塔 :
利用逻辑编程和核分组提高卷积神经网络的可解释性。 134-150 洛伊克·西尔维斯特 , 乔斯林·塞罗 , 伊曼纽尔·查洛(Emmanuel Chailloux) :
使用同步函数语言实现OCaml的硬件。 151-168 特奥多罗·巴尔达齐 , 路易吉·贝洛马里尼 , 马可·法弗里托 , 伊曼纽尔·萨林格 :
基于流的体系结构的害羞和沃德数据日志上的本体推理+/-(Ontological Reasoning over Shy and Warded Datalog+/-for Streaming-Based Architectures)。 169-185 Hasra Dodampegama公司 , 莫汉·斯里德哈兰 :
特设团队工作中的解释和知识获取。 186-203 曾延凯(Yankai Zeng) , 阿比拉蒙·拉贾塞哈兰 , 帕提·帕达尔卡 , 金加尔·巴苏 , 若阿金·阿里亚斯 , 戈帕尔·古普塔 :
理解人类对话的自动化交互式领域特定对话代理。 204-222
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)