Meta-reasoning: A survey

DOI10.1007/3-540-45632-5_11MaRDI QIDQ4707768zbMATH OpenFDO

Authors Stefania Costantini

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080253.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Principles of metareasoning
• A Foundation for Metareasoning Part I: The Proof Theory
• Extending Horn clause theories by reflection principles
• Reasoning about reasoning
• scientific article; zbMATH DE number 1107527

Cited in

(25)

• Reasoning about reasoning in a meta-level architecture
• Principles of metareasoning
• Incorporating quotation and evaluation into Church's type theory
• Meta-argumentation modelling. I: Methodology and techniques
• Metainferential reasoning on strong Kleene models
• Incorporating quotation and evaluation into Church's type theory: syntax and semantics
• Bounded rationality in multiagent systems using decentralized metareasoning
• Completing causal networks by meta-level abduction
• scientific article; zbMATH DE number 4075049 (Why is no real title available?)
• scientific article; zbMATH DE number 44997 (Why is no real title available?)
• A Foundation for Metareasoning Part I: The Proof Theory
• scientific article; zbMATH DE number 1107527 (Why is no real title available?)
• A case study in the meta-reasoning procedure ND
• Learning about constraints by reflection
• Extending Horn clause theories by reflection principles
• A Foundation for Metareasoning Part II: The Model Theory
• Reasoning about reasoning
• Introspective reasoning for index refinement in case-based reasoning
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• scientific article; zbMATH DE number 2090873 (Why is no real title available?)
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Adding Metalogic Features to Knowledge Representation Languages*
• Meta Reasoning in ACL2
• Representing meta-knowledge in Poole systems
• Epistemic logic programs: a study of some properties

This page was built for publication: Meta-reasoning: A survey

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