Dual-normal Logic Programs - the Forgotten Class.

Johannes Klaus Fichte Miroslaw Truszczynski Stefan Woltran

Published in: CoRR (2015)

Keyphrases

normal logic programs
logic programs
answer sets
programming language
logic programming
metadata
stable models
stable model semantics