Nov 1, 2001 · Link · 2001 AROS: Analysis, Reasoning and Optimisation based on Semantics Interesting research lab in Denmark fiddling around with various semantic/logical strategies.