- WWW异构源上的忠实时态问答
在此研究中,我们提出了针对时态问答系统的新方法,通过可信证据强制执行时间约束条件、正确处理隐含问题,并统一处理知识库、文本和网页表格等异构数据源。实验结果表明,该方法在多个基准测试中展现出卓越的性能。
- 利用基于冲突的搜索、优先级和时间约束进行最优任务分配和路径规划
该研究通过利用强化学习中用户定义的奖励函数来实现冲突搜索算法(CBS)和任务分配与路径规划,解决了具有优先和时间约束的任务分配与路径规划问题(TAPF-PTC)。通过实验证明,相对于 MARL 和适应性目标分配与路径规划(TAPF)方法,我 - 基于时间轴游戏的控制器合成
本文介绍了一种针对基于时间轴的游戏的控制器综合的有效且计算上最优的方法。
- 通过顺序宏操作增强时间规划领域(扩展版)
我们提出了一种通用的顺序时态宏操作概念,在时态计划与共享资源上的并发执行下,保证所获得的计划的适用性,并在多个实验中显示了满意的计划质量的改善。
- HDDL 2.1:面向时态 HTN 规划定义形式与语义
本文探讨了如何通过从 PDDL 2.1 中汲取灵感以表示数字和时间表达式,来扩展 HDDL,从而填补 HDDL 在实际应用中缺少数字和时间约束的问题。
- 利用隐式逻辑限制在事件性知识图谱上进行复杂查询回答
本文研究基于事件中心知识图谱的深度神经网络复杂查询方法,提出了复杂事件查询回答(CEQA)框架,利用定理证明器填补实体中心查询系统无法推理的逻辑不确定性,实现了在具有时间维度的事件中心知识图谱上的准确推理。
- 问题回答作为编程解决时效性问题
本文旨在将大语言模型(LLMs)应用于问题作为编程(QAaP)中,以解决具有时间约束的事实问题,我们试图利用 LLMs 将各种表达形式的文本表示为良好结构的代码,以此来获取所需的知识和底层符号约束条件。
- 基于采样的反应综合技术在非确定性混合系统中的应用
本文介绍了一种基于采样的策略综合算法,用于处理具有复杂连续动态的非确定性混合系统在时间和可达性约束下的情况,其目的是综合出一个反应式策略以保证满足所有可能对手步骤的要求。实验表明,该算法具有广泛适用性并一直领先于现有技术。
- 面向时间轴游戏的控制器合成
这篇论文介绍了一种基于时间轴的规划方法,其演变受一组时间约束条件控制。为了处理一般的非确定性,提出了基于时间轴的游戏的概念,并提出了一种控制器综合方法来支持时间轴游戏中的胜利策略实现。
- 具有时间约束的视频雨滴去除与特征对齐
本研究提出一种基于视频的贴附式雨滴去除方法,分为单图像模块和多帧模块两个阶段,前者使用雨滴去除网络生成初步结果,后者根据多帧输入和输出之间的时空关系进行进一步优化,采用非监督学习方法进行贴附式雨滴去除。
- 时间知识库完成的张量分解
提出一种基于四阶张量的正则化算法和 ComplEx 扩展,针对具有时间限制的链接预测问题,如 (US,has president,?,2012),并提出了一个大于之前基准的知识库完成的新数据集,用于评估时态和不时态链接预测方法。
- IJCAI时间资源网络
介绍了一种编码资源约束调度问题的方法 —— 时间资源网络,它可以使用简单时间网络(STN)系列的各种表示以及概率性 STN 进行时间规定, 两种算法可用于确定 TRN 的一致性:一种基于混合整数规划,另一种基于约束编程。