Luigia Carlucci Aiello

[2] She founded the Italian Association for Artificial Intelligence, AI*IA, in 1988, and was its first president.

[2] Aiello's earliest research involved pattern recognition,[3] and her work in the 1970s and early 1980s concerned automated theorem proving and proof assistants.

[3] Later, her interests shifted to include knowledge representation and reasoning, meta-knowledge, and default logic, as well as applications in educational technology, robotics, and computer security.

[2] Aiello was named a Fellow of the Association for the Advancement of Artificial Intelligence in 1995, "for contributions to the field of meta-level control and reasoning, and promotion of AI in Italy and Europe".

[5] A festschrift in honor of her 60th birthday, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, was published in 2006.