From the 1 of 6 linked papers with an AI index.
5 papers · 1 filter
EZSMT Version 3, Matured
Yuliya Lierler, Keeran Dhakal
The paper introduces EZSMTV3, an extensible SMT-based framework for Constraint Answer Set Programming that adds a richer input language, optimization support, and integration with…
Parametric Modular Answer Set Programs Made Declarative
Jorge Fandinno, Yuliya Lierler, Torsten Schaub
In this paper, we explore the concept of modularity in first-order answer set programming (ASP). We introduce a new formalism called parametric modular logic programs, which allows…
A Community-driven vision for a new Knowledge Resource for AI
Vinay K Chaudhri, Chaitan Baru, Brandon Bennett +29
The long-standing goal of creating a comprehensive, multi-purpose knowledge resource, reminiscent of the 1984 Cyc project, still persists in AI. Despite the success of knowledge re…
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
Jorge Fandinno, Yuliya Lierler
Splitting a logic program allows us to reduce the task of computing its stable models to similar tasks for its subprograms. This can be used to increase solving performance and pro…
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
Yuliya Lierler
This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them…