ASPeRiX, a first-order forward chaining approach for answer set computing*
Sign Up to like & getrecommendations! Published in 2017 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068416000569
Abstract: Abstract The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first-order logic program with default negation. In a preliminary… read more here.
Keywords: first order; answer set; answer; approach answer ... See more keywords