A Foundation for Metareasoning Part I: The Proof Theory

DOI10.1093/logcom/12.1.167zbMath1005.68149OpenAlexW2007427683MaRDI QIDQ4329526

Luciano Serafini, Giovanni Criscuolo, Fausto Giunchiglia

Publication date: 30 July 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.1.167

zbMATH Keywords

metareasoningOM pairs

Mathematics Subject Classification ID

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 I: The Proof Theory