The following pages link to Eric Martin (Q169436):
Displaying 17 items.
- Announcements to attentive agents (Q302225) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Fuzzy knowledge management for the semantic web (Q362343) (← links)
- Learning and classifying (Q390916) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Inductivism and Parmenidean epistemology: Kyburg's way (Q432961) (← links)
- Learning with ordinal-bounded memory from positive data (Q440010) (← links)
- Intricate axioms as interaction axioms (Q497427) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Conditional probability in the light of qualitative belief change (Q535329) (← links)
- Structural correspondence between theories and convergence to truth (Q542129) (← links)
- A structuralist theory of belief revision (Q548705) (← links)
- (Q590741) (redirect page) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Implementing fragments of ZFC within an r.e. Universe (Q4684351) (← links)
