Reasoning about reasoning in a meta-level architecture

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf. Reasoning about reasoning in a meta-level architecture. Appl. Intell., 1(1):55-67, 1991. [doi]

Abstract

Abstract is missing.