Proceedings of the RuleML2012@ECAI Challenge
The paper I mentioned on yesterday: Legal Rules, Text and Ontologies Over Time [The eternal “now?”] is part of these proceedings.
Which is a very good paper.
You will also find “reasoning” about complex tax transactions, such as seeking reimbursement from the government for taxes you have not paid. (What’s complex about that I cannot say. Merely reporting the description of: Missing Trader Fraud given in one of the papers. The taxes reported lost every year remind me of RIAA estimates on piracy.
And papers that fall in between.