A Formal Definition for the Expressive Power of Knowledge Representation Languages

Franz Baader. A Formal Definition for the Expressive Power of Knowledge Representation Languages. In ECAI. pages 53-58, 1990.

Abstract

Abstract is missing.