LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "input program" as a keyword



Photo by arianismmm from unsplash

Partial Compilation of ASP Programs

Sign Up to like & get
recommendations! Published in 2019 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068419000231

Abstract: Abstract Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard combinatorial… read more here.

Keywords: asp systems; asp; partial compilation; input program ... See more keywords