Travelled to:
1 × Japan
1 × USA
1 × United Kingdom
Collaborated with:
A.C.Kakas M.J.Fischer
Talks about:
program (2) abduct (2) logic (2) constraint (1) serializ (1) sacrif (1) integr (1) attain (1) applic (1) avail (1)
Person: A. Michael
DBLP: Michael:A=
Contributed to:
Wrote 3 papers:
- JICSLP-1998-KakasM #abduction #logic programming
- Applications of Abductive Logic Programming (ACK, AM), pp. 343–344.
- ICLP-1995-KakasM #abduction #constraints #logic programming
- Integrating Abductive and Constraint Logic Programming (ACK, AM), pp. 399–413.
- PODS-1982-FischerM
- Sacrificing Serializability to Attain High Availability of Data (MJF, AM), pp. 70–75.