Michael Gelfond

Suggest Changes
Learn More
This chapter is an introduction to Answer Set Prolog a language for knowledge representation and reasoning based on the answer set/stable model semantics of logic programs [44, 45]. The language has(More)