Indian central civil service pension rules

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (1.26 MB)

Source

International Conference on Artificial Intelligence and Law archive
Proceedings of the 3rd international conference on Artificial intelligence and law table of contents

Oxford, England

Pages: 118 - 127

Year of Publication: 1991

ISBN:0-89791-399-X

Authors

M. J. Sergot	Department of Computing, Imperial College of Science, Technology and Medicine, London SW7 2BZ
A. S. Kamble	KBCS Nodal Centre, Department of Electronics, Government of India, New Delhi
K. K. Bajaj	KBCS Nodal Centre, Department of Electronics, Government of India, New Delhi

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 9, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/112646.112661 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	K. K. Bajaj , R. K. Dubash , Robert Kowalski, Central government pension rules as logic program, Proceedings of the international conference on Knowledge based computer systems, p.19-28, August 1990, Bombay, India
	2	Bajaj, K.K., Dubash, R.K., Kamble, A.S., Kowalski, R.A., Murthy, B.K. {1989b} Indian Import Policy and Procedures as a Logic Program. Proc. Third International Conference on Logica. lnformatica, Diritto (Martino, A.A., Ed). istituto per la Documentazione Giuridica, Florence 1989.
	3	T. J. M. Bench-Capon, Deep models, normative reasoning and legal expert systems, Proceedings of the 2nd international conference on Artificial intelligence and law, p.37-45, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74020]
	4	T. J. M. Bench-Capon , G. O. Robinson , T. W. Routen , M. J. Sergot, Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation, Proceedings of the 1st international conference on Artificial intelligence and law, p.190-198, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41757]
	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	Robert Kowalski , Marek Sergot, A logic-based calculus of events, Foundations of knowledge base management, Springer-Verlag New York, Inc., New York, NY, 1989
	8	L. T. McCarty, A language for legal Discourse I. basic features, Proceedings of the 2nd international conference on Artificial intelligence and law, p.180-189, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74037]
	9	K. Nitta , J. Nagao , T. Mizutori, A knowledge representation and inference system, New Generation Computing, v.5 n.4, p.319-359, 1988 [doi>10.1007/BF03037414]
	10	Roberts, H. {1988} Knowledge Representation for Procedural Law. MSc thesis. Department of Computing, Imperial College, London, 1988.
	11	Marek Sergot, A query-the-user facility for logic programming, New horizons in educational computing, Halsted Press, New York, NY, 1984
	12	M. Sergot, Representing legislation as logic programs, Machine intelligence 11, Oxford University Press, Inc., New York, NY, 1988
	13	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.
	14	M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986 [doi>10.1145/5689.5920]
	15	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.