scientific article; zbMATH DE number 1754682

MaRDI QIDQ4535110zbMATH OpenFDO

Authors Jan Treur

Publication date 25 August 2003

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)

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

Cited in

(5)

• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Temporal semantics for concurrent METATEM
• Temporal theories of reasoning
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• scientific article; zbMATH DE number 1754683 (Why is no real title available?)

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)