Mark Millington

According to our database, Mark Millington authored at least 4 papers between 1985 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Virtues and Problems of an Active Help System for UNIX.

Maria Virvou, John Jones, Mark Millington

Artif. Intell. Rev., 2000

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users.

John Jones, Mark Millington, Maria Virvou

Artif. Intell. Rev., 2000

1986

A Blackboard Shell in Prolog.

John Jones, Mark Millington, Peter Ross

Proceedings of the Advances in Artificial Intelligence II, 1986

1985

Theories of translation correctness for concurrent programming languages.

Mark Millington

PhD thesis, 1985