A prolog model of the income tax act of Canada

Proceedings of the 1st International Conference on Artificial Intelligence and Law, ICAIL 1987

Volumn 1987-January, Issue , 1987, Pages 127-136

  Sherman, David M ^a,b  

^a Osgoode Hall ^*  (Canada)

^b Maintnix Services ^*  (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ECONOMIC ANALYSIS;

A-PROLOG; ANALYSIS SYSTEM; INCOME TAX; PLANNING TOOLS; PRIMARY DESIGN; TAX PLANNING; TAX SYSTEMS;

TAXATION;

EID: 84978667734     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/41735.41750     Document Type: Conference Paper

References (12)

1. See also David M. Sherman, "Comparative Analysis of U. S. and Canadian Approaches Co Income Tax Legislative Design and Implications for Computerization", LL. M. course paper, Osgoode Hall Law School, December 22, 1983.
2. Layman E. Allen & C. Rudy Engholm, "Normalized Legal Drafting and the Query Method", 29 Journal of Legal Education 380-412 (1978).
3. L. Thome McCarty, "Reflections on TAXMAN: An Experiment in Artificial Intelligence and Legal Reasoning", 90 Harvard Law Review 837-893 (1977).
4. M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond and H. T. Cory, "The British Nationality Act as a Logic Program", 29 Communications of the ACM 370-386 (May 1986).
5. Robert Hellawell, "CHOOSE: A Computer Program for Legal Planning and Analysis", 19 Columbia Journal of Transnational Law 339-357 (1981).
6. C. Duncan MacRae, "User Control Knowledge in a Tax Consulting System", U. S. Department of Housing and Urban Development, 1985.
7. C. Duncan MacRae & Elizabeth Chase MacRae, "An Expert System for Tax Research: Interacting with Knowledgeable Users", Second Annual Conference on Law & Technology, University of Houston, June 1985.
8. David Sherman, "Towards a Comprehensive Computer-Based Problem Solving Model of the Income Tax Act: A Suggested Approach and Implementation of Examples from Corporate Reorganizations", LL. M. course paper, Osgoode Hall Law School, June 1984.
9. Robert Kowalski, Logic for Problem Solving (New York: North-Holland, 1979).
10. Anthony J. Bonner, "A PROLOG Framework for Reasoning about Permissions and Obligations, with Applications to Contract Law", seminar paper, Dept. of Computer Science, Rutgers University, May 1985.
11. Robert Kowalski & Marek Sergot, A Logic-based Calculus of Events, Department of Computing, Imperial College of Science and Technology, University of London, February 1985.
12. "Tax Advisor: A Prolog Program Analyzing Income Tax Issues", Dr. Dobb's Journal, March 1985, pp. 64-92.