Picture for Tim French

Tim French

Q-Cogni: An Integrated Causal Reinforcement Learning Framework

Add code
Feb 26, 2023
Viaarxiv icon

Aleatoric Description Logic for Probailistic Reasoning (Long Version)

Add code
Aug 30, 2021
Figure 1 for Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Figure 2 for Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Figure 3 for Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Figure 4 for Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Viaarxiv icon

Refinement Modal Logic

Add code
Dec 25, 2013
Figure 1 for Refinement Modal Logic
Figure 2 for Refinement Modal Logic
Figure 3 for Refinement Modal Logic
Figure 4 for Refinement Modal Logic
Viaarxiv icon