Federation over the web

Discovery science

Nonmonotonic and inductive logic

Mathematical Methods of Specification and Synthesis of Software Systems '85

Algorithmic learning theory

1993

Grundlagen der Künstlichen Intelligenz

Algorithmic learning theory