A. Michael

An abductive-based scheduler for air-crew assignment

Antonis C. Kakas, A. Michael, A. Kakas, 2001, Appl. Artif. Intell..

Integrating Abductive and Constraint Logic Programming

Antonis C. Kakas, A. Michael, Leon Sterling, 1995 .

Applications of Abductive Logic Programming

Antonis C. Kakas, A. Michael, 1998, IJCSLP.

Air-Crew Scheduling through Abduction

Antonis C. Kakas, A. Michael, A. Kakas, 1999, IEA/AIE.

ACLP: Abductive Constraint Logic Programming

Antonis C. Kakas, Costas Mourlas, A. Michael, 2000, J. Log. Program..