Formal semantics of meta-level architectures: Dynamic control of reasoning

DOI10.1002/int.10037zbMath1016.68049OpenAlexW2152240051WikidataQ124879286 ScholiaQ124879286MaRDI QIDQ4785088

Jan Treur

Publication date: 17 December 2002

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.10037

zbMATH Keywords

dynamic control of reasoning processesmeta-level architectures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Executable temporal logic for non-monotonic reasoning
• Prolegomena to a theory of mechanized formal reasoning
• Temporalizing epistemic default logic
• An interpretation of default logic in minimal temporal epistemic logic
• Specification of nonmonotonic reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal semantics of meta-level architectures: Dynamic control of reasoning