Macquarie University, Sydney Macquarie University ResearchOnline

Adi, Kamel

Statistics
Title Hits Visitors Downloads
An Analytic tableau calculus for a temporalised belief logic 227 180 0
Temporalised epistemic logic for reasoning about agent-based systems 99 144 18
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.