Report on the second international joint conference on rules and reasoning