Ordered completion for logic programs with aggregates
Under an Elsevier user license
open archive
Keywords
Knowledge representation and reasoning
Answer Set Programming
Aggregates
First-order logic
Logic programming
Cited by (0)
Copyright © 2015 Elsevier B.V. All rights reserved.