首页> 外文会议>Logic programming and nonmonotonic reasoning >Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode
【24h】

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

机译:使您的手变脏可以激发您的大脑!或如何将ASP切换到生产模式

获取原文
获取原文并翻译 | 示例

摘要

Rising from strong theoretical foundations in Logic Programming and Nonmonotonic Reasoning, Answer Set Programming (ASP) came to life as a declarative problem solving paradigm [1,2,3] in the late nineties. The further development of ASP was greatly inspired by the early availability of efficient and robust ASP solvers, like smodels [4] and dlv [5]. The community started modeling with ASP and a first milestone was the conception of TheoryBase [6] providing a systematic and scalable source of benchmarks stemming from combinatorial problems. Although the scalability of such benchmarks is of great value for empirically evaluating systems, the need for application-oriented benchmarks was early perceived. The demand for systematic benchmarking led to the Dagstuhl initiative and with it the creation of the web-based benchmark archive asparagus [7]. This repository has in the meantime grown significantly, mainly due to the two past ASP competitions [8,9], and contains nowadays a whole variety of different types of benchmarks, although it is still far from being comprehensive.
机译:回答集编程(ASP)源自逻辑编程和非单调推理的强大理论基础,在90年代末期成为一种声明式问题解决范例[1,2,3]。 ASP的进一步发展受到有效和健壮的ASP求解器(如smodel [4]和dlv [5])的早期可用性的启发。社区开始使用ASP进行建模,第一个里程碑是TheoryBase [6]的概念,该概念提供了可归因于组合问题的基准的系统且可扩展的来源。尽管此类基准的可伸缩性对于根据经验评估系统具有巨大价值,但人们早就意识到了面向应用的基准的需求。对系统基准测试的需求导致了Dagstuhl倡议,并随之创建了基于网络的基准归档芦笋[7]。同时,此存储库已显着增长,这主要是由于过去两次ASP竞赛[8,9]所致,尽管目前尚不全面,但该库包含各种基准类型。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号