Answer Set

An Answer Set is a Logic Programming of declarative semantics with no negation as failure.



References

2017