Report copyright - A Glimpse of Answer Set Programming · 2018-03-15 · An atom p or a negated atom :p is called a literal. Logic programs with literals are called extended logic pro-grams [22]. An
Please pass captcha verification before submit form
Please pass captcha verification before submit form