Knowledge representation, reasoning and declarative problem solving with Answer sets - Draft

Chitta Baral