Login / Signup
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
Mario Alviano
Francesco Calimeri
Wolfgang Faber
Nicola Leone
Simona Perri
Published in:
J. Artif. Intell. Res. (2011)
Keyphrases
</>
answer set programs
logic programs
answer sets
logic programming
answer set programming
fixpoint
stable models
answer set semantics
horn clauses
inductive logic programming
deductive databases
update operators
anti monotone
stable model semantics
np complete
defeasible logic
database