A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The treatment of negation in logic programs for representing legislation
1989
Proceedings of the second international conference on Artificial intelligence and law - ICAIL '89
Preserved Fulltext
Logic programs represent knowledge in the form of implications A if Bl and . . . Bn, ~10
doi:10.1145/74014.74016
dblp:conf/icail/Kowalski89
fatcat:dg4j6ufvpfdgdfrqegbvekliie