Dual-normal logic programs - the forgotten class.

Johannes Klaus Fichte Miroslaw Truszczynski Stefan Woltran

Published in: Theory Pract. Log. Program. (2015)

Keyphrases

normal logic programs
logic programs
stable models
answer sets
database
artificial intelligence
information systems
software engineering
programming language
orders of magnitude
deductive databases
default reasoning