A Foundation for Metareasoning Part II: The Model Theory

DOI10.1093/logcom/12.3.345zbMath1012.68194OpenAlexW1979112334MaRDI QIDQ4542938

Luciano Serafini, Giovanni Criscuolo, 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

metareasoningcontextual reasoningmetatheoryOM pairs

Mathematics Subject Classification ID

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

Related Items (2)

Distributed first order logic ⋮ Comparing formal theories of context in AI

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