BriefGPT.xyz
Dec, 2013
面向对象知识库的查询回答在逻辑编程中：ASP的描述与挑战
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
HTML
PDF
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Tran Cao Son
TL;DR
介绍了一个适用于实验的数据集 KB_Bio_101，它包含了大量的生物学知识，ASP 程序可以应用于其上，同时也提出了一些解决实际问题时 ASP 程序面临的挑战。
Abstract
Research on developing efficient and scalable
asp solvers
can substantially benefit by the availability of
data sets
to experiment with.
kb_bio_1
→