A. Michael

Publication Activity (10 Years)

Years Active: 1982-2001
Publications (10 Years): 0

Publications

Antonis C. Kakas, A. Michael
An Abductive-based Scheduler for Air-Crew Assignment. Appl. Artif. Intell. 15 (3) (2001)
Antonis C. Kakas, A. Michael, Costas Mourlas
ACLP: Abductive Constraint Logic Programming. J. Log. Program. 44 (1-3) (2000)
Antonis C. Kakas, A. Michael
Air-Crew Scheduling through Abduction. IEA/AIE (1999)
Antonis C. Kakas, A. Michael
Applications of Abductive Logic Programming. IJCSLP (1998)
Antonis C. Kakas, A. Michael
Integrating Abductive and Constraint Logic Programming. ICLP (1995)
Michael J. Fischer, A. Michael
Sacrificing Serializability to Attain High Availability of Data. PODS (1982)