I am a lecturer in the School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, Australia, where I am a member of the Data and Knowledge Engineering (DKE) research division.
I graduated in Philosophy in 1993 from the University of Bologna (Department of Philosophy), and in 1997 I received my PhD in Computer Science and Law from the same university (CIRFID, now CIRSFID) with a thesis on "A formal model of normative reasoning " (in italian) under the supervision of Professors Alberto Artosi and Maurizio Matteuzzi. In 1997 and 1998 I was an academic visitor at the Department of Computing, Imperial College, London, where I worked with Dov Gabbay on labelled deductive systems for fibred logics. From 1998 to 2000 I was a research associate at Griffith University where I worked with Grigoris Antoniou, David Billington and Michael Maher on an ARC large grant on defeasible logic and regulations.
From July 2000 until January 2001 I was an associate lecturer in the School of Information Systems, Queensland University of Technology, where I worked with Arthur ter Hofstede and Marlon Dumas on the SPIRT project REDCONE.
Research Interests
My research interests include modal and non-classical logics, defeasible logic, formal model of argumentation and negotiation, normative reasoning, non-monotonic reasoning, and labelled deductive systems.
Publications
Click here for a list of my publications and here for the same list with the abstracts.Teaching
Semester 1, 2008:RuleML 2008
The International RuleML Symposium on Rule Interchange and Applications (RuleML-2008) will take place, October 30-31, 2008, in Orlando, Florida, co-located with the 11th International Business Rules Forum. RuleML-2008, is the primary industrial-oriented meeting place to discuss and exchange new ideas, practical developments and experiences on issues related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web. RuleML-2008 will enable delegates to better understand web rules and rule-based event processing technologies and their potential, and how to exploit these technologies in their organizations.
A RuleML-2008 Challenge with prizes will be organized to demonstrate tools, use cases, case studies and applications. RuleML-2008 could be your Web Rules showcase!
Links to Conferences
Some interesting conferences: PRIMA 2007 (Pacific Rim Interantional Workshop on Multi-Agents), Australian AI Conference 2007
Link to the Defeasible logic web site and to my personal web site.
This page is maintained by