Omission-Based Abstraction for Answer Set Programs
Sign Up to like & getrecommendations! Published in 2020 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068420000095
Abstract: Abstract Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Programming (ASP), a convenient tool for… read more here.
Keywords: answer set; omission based; answer; based abstraction ... See more keywords