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

DOI10.1002/INT.10037MaRDI QIDQ4785088zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1754682
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• scientific article; zbMATH DE number 1926640
• Reasoning agents in dynamic domains
• scientific article; zbMATH DE number 1754683

Cites work

• An interpretation of default logic in minimal temporal epistemic logic
• Executable temporal logic for non-monotonic reasoning
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1292294 (Why is no real title available?)
• Prolegomena to a theory of mechanized formal reasoning
• Specification of nonmonotonic reasoning
• Temporalizing epistemic default logic

Cited in

(5)

• Formal semantics of meta-level architectures: Temporal epistemic reflection
• DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE
• scientific article; zbMATH DE number 1754682 (Why is no real title available?)
• Semantic formalization of interactive reasoning functionality
• scientific article; zbMATH DE number 2090873 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785088)