Macquarie University, Sydney Macquarie University ResearchOnline

Adi, Kamel

Statistics
Title Hits Visitors Downloads
An Analytic tableau calculus for a temporalised belief logic 243 196 0
Temporalised epistemic logic for reasoning about agent-based systems 108 157 22
Repository Search URL

Adi, Kamel

Formatted Bibliography URL

Adi, Kamel

Bibliography Script

To include a live feed of this author's bibliography on a static Web page (e.g., a personal home page), add the following JavaScript include to the body of the HTML.