Indian central civil service pension rules: A case study in logic programming applied to regulations

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 1991, Pages 118-127

  Sergot, M J ^a,b   Kamble, A S ^a   Bajaj, K K ^a  

^a Department of Electronics Government of India ^*  (India)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84963195944     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/112646.112661     Document Type: Conference Paper

References (17)

1. Bajaj, K. K., Dubash, R. K., Kowalski, R. A. [1989a] Central Government Pension Rules as a Logic Program. In Knowledge Based Computer Systems (Ramani, S., Chandrasekar, R., Anjaneyulu, K. S. R., Eds), Narosa Publishing, New Delhi, 1989, pp 19-28.
2. Bajaj, K. K., Dubash, R. K., Kamble, A. S., Kowalski, R. A., Murthy, U. K. [1989b] Indian Import Policy and Procedures as a Logic Program. Proc. Third International Conference on Logica, Informatica, Diritto (Martino, A. A., Ed). Istituto per la Documentazione Giuridica, Florence 1989.
3. Bench-Capon, T. J. M. [1989] Deep models, Normative reasoning and Legal expert systems. Proc. Second International Conference on Artificial Intelligence and Law, Vancouver, 1987 (ACM Press), pp 37-45.
4. Bench-Capon, TJ. M., Robinson, G. O., Routen, T. W., Sergot, M. J. [1987] Logic Programming for Large Scale Applications in Law: A formalisation of Supplementary Benefit legislation. Proc. First International Conference on Artificial Intelligence and Law, Boston, May 1987 (ACM Press), pp 190-198.
5. Hammond, P., Sergot, M. J. [1983] A PROLOG shell for logic based expert systems. In Expert Systems 83: Proc. Third Technical Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1983 (British Computer Society), pp 95-104.
6. Jones, A. J. I. [1990] Deontic Logic and Legal Knowledge Representation. Ratio Juris 3,2(July 1990), pp 237-244.
7. Kowalski, R. A., Sergot, M J. [1986] A Logic based Calculus of Events. New Generation Computing 4,1(Feb. 1986), pp 67-95.
8. Also in Knowledge Base Management Systems (Thanos, Schmidt, Eds). Springer-Verlag, Heidelberg, 1989.
9. McCarty, L. T. [1989] A Language for Legal Discourse I. Basic features. Proc. Second International Conference on Artificial Intelligence and Law, Vancouver, 1987 (ACM Press), pp 180-189.
10. Nitta, K., Nagao, J., Mizutori, T. [1988] KRIP2: A Knowledge Representation and Inference System for Procedural Law. New Generation Computing 5, 4(1988), pp 319-359.
11. Roberts, H. [1988] Knowledge Representation for Procedural Law. MSc thesis. Department of Computing, Imperial College, London, 1988.
12. Sergot, M. J. [1983] A Query-the-User Facility for Logic Programrning. In Integrated Interactive Computer Systems (Degano, P., Sandcwall, E., Eds). North-Holland, Amsterdam, 1983.
13. Also in New Horizons in Educational Computing (Yazdani, M., Ed). Ellis Horwood, Chichester, 1984, pp 145-163.
14. Sergot, M J. [1988] Representing Legislation as Logic Programs. In Machine Intelligence 11 (Hayes, J. E., Michie, D., Richards, J., Eds). Oxford University Press, 1988, pp 209-260.
15. Sergot, M. J. [1990] The Representation of Law in Computer Programs: A Survey and Comparison. In Knowledge Based Systems and Legal Applications (Bench-Capon, T. J. M., Ed.). Academic Press 1990.
16. Sergot, M. J., Sadrl, F., Kowalski, R. A., Kriwaczek, F., Hammond, P., Cory, H. T. [1986] The British Nationality Act as a Logic Program. Communications of the ACM 29,5(May 1986), pp 370-386.
17. Stamper, R. [1980] LEGOL: Modelling Legal Rules by Computer. In Computer Science and Law (Niblett, B., Ed). Cambridge University Press, New York, 1980, pp 45-71.