登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Truth table for the logical rule <i>x(t+1) = y(t) AND z(t)</i>.
Truth table for the logical rule <i>x(t+1) = y(t) AND z(t)</i>.
收藏
NIAID Data Ecosystem
2026-03-10 收录
逻辑运算
时序逻辑
数据链接:
https://figshare.com/articles/dataset/Truth_table_for_the_logical_rule_i_x_t_1_y_t_AND_z_t_i_/4893446
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
Truth table for the logical rule x(t+1) = y(t) AND z(t).
应用场景:
创建时间:
2017-05-04
相关数据集
TriSense-2M
多模态学习
时序逻辑
TriSense-2M是一个大规模的多模态数据集,包含超过200万条注释。每个视频实例都包括在视觉、音频和语音模态上基于事件进行注释,并且具有灵活的组合和模态的自然缺失。数据集支持各种场景,并包括平均时长为905秒的长视频,这显著长于现有数据集中的视频,从而能够实现更深层次和更真实的时序理解。重要的是,查询使用高质量的母语语言,与时间注释对齐,并且跨越不同的模态配置,以促进鲁棒的多模态学习。
arXiv
2025-05-24 更新
108
0
LTLBench
时序逻辑
语言模型评估
LTLBench是由爱丁堡大学开发的用于评估大型语言模型(LLMs)时间逻辑推理能力的数据集。该数据集包含2000个时间逻辑推理挑战,涉及随机生成的有向图、线性时间逻辑(LTL)公式和NuSMV模型检查器。数据集的创建过程包括四个阶段:随机有向图生成、LTL公式生成、NuSMV代码生成和自然语言生成。LTLBench旨在通过控制和可扩展的数据生成过程,评估LLMs在处理复杂时间逻辑问题上的表现,特
arXiv
2024-07-08 更新
82
0
A-A, A-1, A-0 and 1-0 Relational Expression-number Lookup Table
逻辑运算
真值表
This table contains all the digital numbers of truth values of A-A, A-1, A-0 and 1-0 Relational logical expressions of five logical relations. They can be used for digital calculations and truth val
DataCite Commons
2025-01-03 更新
14
0
TimeLogic QA (TLQA)
视频问答
时序逻辑
TimeLogic QA (TLQA) 数据集由中佛罗里达大学和图宾根大学的研究团队创建,旨在评估视频问答(VideoQA)模型对时间逻辑的理解能力。该数据集基于现有的视频数据集(如STAR、Breakfast、AGQA和CrossTask),通过自动生成问题-答案对,涵盖了16个时间逻辑类别,复杂度从1到5不等。TLQA包含128k个问题-答案对,分为布尔问题和多项选择题,适用于大规模评估。数据
arXiv
2025-01-13 更新
87
0
AND OR XOR
逻辑运算
电子学
Simple binary operations truth table.
kaggle
2017-12-04 更新
14
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广