Luigia Carlucci Aiello

Learn More
We review the evolution of human bipedal locomotion with a particular emphasis on the evolution of the foot. We begin in the early twentieth century and focus particularly on hypotheses of an ape-like ancestor for humans and human bipedal locomotion put forward by a succession of Gregory, Keith, Morton and Schultz. We give consideration to Morton's (1935)(More)
Body mass is a key variable in investigating the evolutionary biology of the hominines (Australopithecus, Paranthropus, and Homo). It is not only closely related to life-history parameters but also provides a necessary baseline for studies of encephalization or megadonty. Body mass estimates are normally based on the postcranial skeleton. However, the(More)
Formal verification of security protocols has become a key issue in computer security. Yet, it has proven to be a hard task often error prone and discouraging for non-experts in formal methods. In this paper we show how security protocols can be specified and verified efficiently and effectively by embedding reasoning about actions into a logic programming(More)
We illustrate <i>AL<inf>SP</inf></i> (Action Language for Security Protocol), a declarative executable specification language for planning attacks to security protocols. <i>AL<inf>SP</inf></i> is based on logic programming with negation as failure, and with stable model semantics. In <i>AL<inf>SP</inf></i> we can give a declarative specification of a(More)
We present a general proof theoretical methodology for default systems. Given a default theory W, D, the default rules D are simply understood as restrictions on the tableaux construction of the logic. Different default approaches have their own way of understanding these restrictions and executing them. For each default approach (such as Reiter, Brewka or(More)