Posts

2016

• 12 Sep 2016, 11:50 - COMMA 2016 Proceedings; Formalizing Balancing Arguments
• 16 Jul 2016, 07:56 - COMMA 2016 Program
• 16 Jul 2016, 07:08 - Slides of my 2007 ICAIL Keynote Address

2015

• 23 Feb 2015, 13:50 - RuleML Call for Papers
• 14 Feb 2015, 17:56 - New Website and Blog