Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning

Research output: Contribution to JournalArticleAcademicpeer-review


Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature, many applications in reasoning systems modeling complex tasks are described, usually in a procedural manner. In this article we present a semantic framework based on temporal partial logic to describe the dynamics of reasoning behavior. Using these models, the semantics of the behavior of the whole (meta-level) reasoning system can be described by a set of (intended) temporal models.
Original languageEnglish
Pages (from-to)545-568
JournalInternational journal of intelligent systems
Publication statusPublished - 2002

Bibliographical note



Dive into the research topics of 'Formal Semantics of Meta-Level Architectures: Dynamic Control of Reasoning'. Together they form a unique fingerprint.

Cite this