ORBI
收藏arXiv2015-03-20 更新2024-08-06 收录
下载链接：
http://arxiv.org/abs/1503.06095v1
下载链接
链接失效反馈官方服务：
资源简介：
ORBI（Open challenge problem Repository for systems supporting reasoning with Binders）是一个用于共享支持绑定推理系统的基准问题的开放存储库。它提供了一个基础设施，用于表示支持绑定推理的系统的基准，并允许对不同系统进行定性比较。ORBI的设计旨在促进社区内示例的共享，并提供一组共同的示例，同时也作为收集和提出“开放”挑战问题的地方，以推动元推理系统的发展。
ORBI (Open Challenge Problem Repository for systems supporting reasoning with Binders) is an open repository for sharing benchmark problems for systems that support binder reasoning. It offers an infrastructure for representing benchmarks of binder reasoning-enabled systems, and enables qualitative comparisons across distinct systems. ORBI is designed to facilitate the sharing of examples within the research community, provide a unified set of shared benchmark examples, and also serve as a platform for collecting and proposing "open" challenge problems to advance the development of meta-reasoning systems.
创建时间：
2015-03-20
