My Research


I am a Senior Principal Researcher and the Associate Education Director of NICTA Queensland. I also lead the Business Process Compliance research activity in the Software Systems Reserach Group.

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.

From 2002 to 2008 I worked at the School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, Australia, where I was a member of the Data and Knowledge Engineering (DKE) research division.

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.


Click here for a list of my publications and here for the same list with the abstracts and BiBTeX entries. You can download the complete list from this link.

RuleML 2010

The 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML-2010) will take place in Washington, DC, USA, October 21-23, 2010, co-located with the Business Rules Forum Conference 2010 (BR Forum). RuleML-2010 is the premier industry-focused event to discuss and exchange new ideas, practical developments and experiences on all topics related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web or Enterprise Systems. RuleML-2010 will enable delegates to better understand Web/Enterprise rules and rule-based event processing technologies and their potential, and how to exploit these technologies in their own organizations.

I also maintain the Defeasible logic web site.