Macquarie University Home Page Macquarie University ResearchOnline

Adi, Kamel

Statistics
Title Hits Visitors Downloads
Temporalised epistemic logic for reasoning about agent-based systems 45 42 0
An Analytic tableau calculus for a temporalised belief logic 67 63 0
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.