Books

14 works - Books.

"14" Result

This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2009, held in Las Vegas, Nevada, USA, in November 2009 - collocated with the 12th International Business Rules Forum. The 12 revised full papers and …

Annotation This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissi…