Pages that link to "Item:Q1183375"
From MaRDI portal
The following pages link to Reasoning about reasoning in a meta-level architecture (Q1183375):
Displaying 6 items.
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- Formal semantics of meta-level architectures: Temporal epistemic reflection (Q3156879) (← links)
- Automated reasoning with a constraint-based metainterpreter (Q4245942) (← links)
- A case study in the meta-reasoning procedure ND (Q4407241) (← links)
- (Q4535076) (← links)
- A multicontext architecture for formalizing complex reasoning (Q4835369) (← links)