A Foundation for Metareasoning Part II: The Model Theory

DOI10.1093/LOGCOM/12.3.345MaRDI QIDQ4542938zbMATH OpenOpenAlexFDO

Authors Giovanni Criscuolo, Luciano Serafini, Fausto Giunchiglia

Publication date 12 August 2002

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/12.3.345

zbMATH Keywords

contextual reasoningmetareasoningmetatheoryOM pairs

Mathematics Subject Classification ID

Applications of model theory (03C98) Logic in artificial intelligence (68T27)

Recommendations

• A Foundation for Metareasoning Part I: The Proof Theory
• scientific article; zbMATH DE number 1926640
• Principles of metareasoning
• A metatheory of a mechanized object theory
• Reasoning about reasoning

Cited in

(4)

• Distributed first order logic
• A Foundation for Metareasoning Part I: The Proof Theory
• A case study in the meta-reasoning procedure ND
• Comparing formal theories of context in AI

This page was built for publication: A Foundation for Metareasoning Part II: The Model Theory

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