Reasoning about reasoning in a meta-level architecture

DOI10.1007/BF00117746zbMath0743.68119OpenAlexW2034049000MaRDI QIDQ1183375

Luigia Carlucci Aiello, Marco Schaerf, Daniele Nardi

Publication date: 28 June 1992

Published in: Applied Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00117746

zbMATH Keywords

knowledge representationknowledge about knowlegdemulti-agent interactionreasoning about reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

Reasoning about reasoning in a meta-level architecture

Cites Work

• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• MOLOG: A system that extends PROLOG with modal logic
• Languages with self-reference. II: Knowledge, belief, and modality
• Prolegomena to a theory of mechanized formal reasoning
• Reasoning about reasoning in a meta-level architecture
• Epistemology Without Knowledge and Without Belief
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about reasoning in a meta-level architecture