2006
- Possible World Semantics for Quantified Non-normal Modal Logics
- Modal Logics for Multi-Agent Sytems Workshop, DSTO, Edinburgh,
SA, Australia, 16--17 February 2006
(Slides) - Representing and Reasoning with Policies in Modal Defeasible Logic
- Modal Logics for Multi-Agent Sytems Workshop, DSTO, Edinburgh,
SA, Australia, 16--17 February 2006
(Slides) (Paper 1, Paper 2, Paper 3, Paper 4)
2005
- Nested Rules in Defeasible Logic
- First International Conference on Rules and Rule Markup
Language (RuleML 2005), Galway, Ireland, 10-12 November
(Slides) (Paper) - A Semantic Web Based Architecture for e-Contracts in Defeasible Logic
- First International Conference on Rules and Rule Markup
Language (RuleML 2005), Galway, Ireland, 10-12 November
(Slides) (Paper) - On the Relative Complexity of Two Labelled Modal Tableaux
- Annual Meeting of the Australasian Association for Logic (AAL'05), Perth, 25--26 September (Slides)
- Dealing with contract violations: formalism and domain specific language
- EDOC 2005, Enschede, 21 September
(Slides) (Paper) - Formalising e-Contracts
- 2nd Workshop on Contract Architectures and Languages (CoALa
2005), Enschede, 20 September
(Slides) (Paper 1) (Paper 2)
2004
- Prague
(Slides)
All presentations (slides) available from this page are distributed under the Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.