1989 · 13 citations · 3 references
ComputingComputer ScienceTax LawArtificial IntelligenceTaxationArtificial Intelligence PolicyExpert SystemsIncome Tax LawIncome TaxationLegal Systems
The author describes five separate projects he has undertaken in the intersection of computer science and Canadian income tax law. They are:
3
The British Nationality Act as a logic program
Marek Sergot, Fariba Sadri, Robert A. Kowalski et al. · Communications of the ACM · 1986 · 555 citations · Full text
A Prolog model of the income tax act of Canada
David M. Sherman · 1987 · 40 citations