Properties of Stable Model Semantics Extensions.

Mário Abrantes Luís Moniz Pereira

Published in: CoRR (2014)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
derivation rules
databases
information technology
logic programming