Roger Klausen

According to our database, Roger Klausen authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs.

Roger Klausen, Henryk Jan Komorowski

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995