第7回応答集合プログラミング競争:設計と結果【JST・京大機械翻訳】

Gebser Martin; Maratea Marco; Ricca Francesco

プレプリント

J-GLOBAL ID：202202209796562103 整理番号：22P0060619

第7回応答集合プログラミング競争:設計と結果【JST・京大機械翻訳】

The Seventh Answer Set Programming Competition: Design and Results

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2019年04月19日プレプリントサーバーでの情報更新日： 2019年04月19日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

スパース集合プログラミング(ASP)は,論理プログラミングと非単調推論における根による顕著な知識表現言語である。バイニアスASP競争は,挑戦的なベンチマーク収集を提供し,ASP解決における最先端技術の進展を評価するために組織化されている。本論文では,7番目のASP競争のデザインと結果について報告する。(TPLPにおける受容の考慮)。【JST・京大機械翻訳】

, , , ,

計算機システム開発

, , , ,

前のページに戻る