My Research

Resume

I am the Associate Education Director of the NICTA Queensland Research Laboratory. I am also involved in the NICTA SPIN project.

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.

Publications

Click here for a list of my publications and here for the same list with the abstracts and BiBTeX entries.

RuleML 2009

The International RuleML Symposium on Rule Interchange and Applications (RuleML-2009) will take place, November 6-8 (tentative dates), 2009, Las Vegas, Nevada, co-located with the 12th International Business Rules Forum. RuleML-2009, 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-2009 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.

I also maintain the Defeasible logic web site.