An application of the expert system shell Σkilagi to the study of benefits regulation of Bologna University

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An application of the expert system shell Σkilagi to the study of benefits regulation of Bologna University

Full text

Pdf (561 KB)

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: 86 - 91

Year of Publication: 1991

ISBN:0-89791-399-X

Authors

Giovanni Dallara	Cirfid, Bologna University, Via Galliera 3/5, 40100, Bologna
Carlo Gattei	Cirfid, Bologna University
Giovanni Sartor	Cirfid, Bologna University

Sponsor

SIGART: ACM Special Interest Group on Artificial Intelligence

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references index terms collaborative colleagues

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.112657 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	Andretta, M., M. Lugaresi, F. Zambon, M. Losano, and N. Nannini. 1988. Uso di linguaggi formali per la rappresentazione di testi normativi: il progetto PROLEG (PROlog applicato alle LEGgi). In Gulp 88. Atti del terzo convegno nazionale sulla progranunazione logica, 373-383.
	2	Bing, J. 1990. Three Generations of Computerized System for Public Administration and Some Implications for Legal Decision Making. In Ratio Juris 3 (2): 219-236.
	3	Chan, D. 1989. Constructive Negation Based on the Completed Database. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, edited by R.A. Kowalski, and K.A. Bowen, 111-125.
	4	Cosmadopoulos, Y.A., and R.W. Southwick 1989. Using Meta-Level Information for Expert System Control: A 'Blending' Transformer Approach. Technical Report. London: Imperial College.
	5	T. Routen, Hierarchically organised formalisations, Proceedings of the 2nd international conference on Artificial intelligence and law, p.242-250, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74045]
	6	Sergot, M.J. 1983. A Query-the-User Facility for Logic Programming, in Integrated Interactive Computer Systems, edited by P. Degano and E Sandewail, 27-41. Amsterdam: North Holland.
	7	Sergot, M.J., and Y.A. Cosmadopoulos, 1991. The Logic Programming System Skilaki ' Design attd Implementation, Technical Report. London: Imperial College.
	8	Sergot, M.J., and P. Hammond 1983. A PROLOG Shell for Logic Based Expert Systems. In Expert System 83: Proceedings of the 3rd Technical Conference of the British Computer Society Specialist Group on Expert Systems (Cambridge, Dex:ember 1983), 94-104. British Computer Society.
	9	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]
	10	D. Wolstenholme, Saying “I don't know” and conditional answers, Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV, p.115-125, January 1988, Brighton, United Kingdom