Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Bomanson, J; Janhunen, T; Weinzierl, A

Bomanson, J (reprint author), Aalto Univ, Dept Comp Sci, Espoo, Finland.

THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH, 2019; (): 2694

Abstract

Answer-Set Programming (ASP) is an expressive rule-based knowledge-representation formalism. Lazy grounding is a solving technique that avoids the wel......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索