Integrating Abductive and Constraint Logic Programming. - Antonis C. Kakas; Antonia Michael (ICLP, 1995)

Applications of Abductive Logic Programming. - Antonis C. Kakas; Antonia Michael (IJCSLP, 1998)

Air-Crew Scheduling through Abduction. - Antonis C. Kakas; Antonia Michael (IEA/AIE, 1999)

ACLP: Abductive Constraint Logic Programming. - Antonis C. Kakas; Antonia Michael; Costas Mourlas (J. Log. Program., 2000)

An Abductive-based Scheduler for Air-Crew Assignment. - Antonis C. Kakas; Antonia Michael (Appl. Artif. Intell., 2001)

Discovering "Insider IT Sabotage" based on human behaviour. - Antonia Michael; Jan H. P. Eloff (Inf. Comput. Secur., 2020)