We study semantics that evaluate arguments in argumentation graphs, where each argument has a basic strength, and may be attacked by other arguments. We start by defining a set of principles, each of which is a property that a semantics could satisfy. We provide a formal analysis and comparison of existing semantics. Finally, we define three novel semantics that satisfy more principles than existing ones.