scientific article; zbMATH DE number 1754682

zbMATH Open1017.68120MaRDI QIDQ4535110FDOQ4535110

Authors: Jan Treur 

Publication date: 25 August 2003

Title of this publication is not available (Why is that?)

Recommendations

• Formal semantics of meta-level architectures: Dynamic control of reasoning
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Temporal theories of reasoning
• scientific article; zbMATH DE number 140366
• scientific article; zbMATH DE number 1754683

zbMATH Keywords

inference processespartial temporal model

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Temporal logic (03B44)

Cited In (5)

• Temporal theories of reasoning
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• Title not available (Why is that?)
• Temporal semantics for concurrent METATEM

This page was built for publication:

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