Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations.

Marek J. Sergot, A. S. Kamble, K. K. Bajaj

Browse the full ICAIL paper archive.