人工智能每日论文速递[07.29]

同步wx订阅号(arXiv每日论文速递)，支持后台回复'search 关键词'查询相关的最新论文。有些许帮助的话，麻烦关注一下哦(*￣rǒ￣)

人工智能方向，今日共计6篇

【1】 Extensional Higher-Order Paramodulation in Leo-III
标题：LEO-III中的扩展高阶参数调节
作者： Alexander Steen, Christoph Benzmüller
链接：https://arxiv.org/abs/1907.11501

【2】 Learning and T-Norms Theory
标题：学习与T-规范理论
作者： Giuseppe Marra, Marco Gori
链接：https://arxiv.org/abs/1907.11468

【3】 Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine
标题：概率近似逻辑及其在逻辑想象引擎中的实现
作者： Mark-Oliver Stehr, Akos Vertes
链接：https://arxiv.org/abs/1907.11321

【4】 Revisiting Explicit Negation in Answer Set Programming
标题：再论答案集编程中的显式否定
作者： Felicidad Aguado, Concepcion Vidal
备注：Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages
链接：https://arxiv.org/abs/1907.11467

【5】 Action Semantics Network: Considering the Effects of Actions in Multiagent Systems
标题：动作语义网络：考虑多智能体系统中动作的影响
作者： Weixun Wang, Yang Gao
链接：https://arxiv.org/abs/1907.11461

【6】 Interactive Lungs Auscultation with Reinforcement Learning Agent
标题：使用强化学习代理的交互式肺部听诊
作者： Tomasz Grzywalski, Honorata Hafke-Dys
链接：https://arxiv.org/abs/1907.11238

翻译：腾讯翻译君