The following pages link to (Q4271960):
Displaying 6 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Pathology of collective doxa. Automata models (Q1855026) (← links)
- The measurement of ranks and the laws of iterated contraction (Q2389653) (← links)
- Context-awareness for information correction and reasoning in evidence theory (Q2677846) (← links)