The British Nationality Act as a logic program
Communications of the ACM
Conceptual retrieval and case law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A computer graphics rendering algorithm for use on a SIMD machine
Proceedings of the 1st International Conference on Supercomputing
On representation schemes for promising electronically
Decision Support Systems
C4.5: programs for machine learning
C4.5: programs for machine learning
A constraint-driven system for contract assembly
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
ACM Transactions on Information Systems (TOIS)
The representation of legal contracts
AI & Society - Special double issue on knowledge, elicitation, representation and application
A learning technique for legal document analysis
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Automatic text representation, classification and labeling in European law
Proceedings of the 8th international conference on Artificial intelligence and law
Proceedings of the 8th international conference on Artificial intelligence and law
SIGIR '71 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Using XML as a means to access legislative documents: Italian and foreign experiences
ACM SIGAPP Applied Computing Review
Similarity analysis on government regulations
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
Logic-based regulation compliance-assistance
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Hi-index | 0.00 |
This position paper advocates a vision in the development of automated legal reasoning and presents evidence supporting the plausibility of that vision. The paper observes that original creation of documents of legal import in either fully formal or semistructured form offers the prospect of greatly reducing the cost and expanding the scope of knowledge engineering for legal reasoning. This, it is claimed, is most likely to be achieved via formalization of various sublanguages of legal discourse. SeaSpeak is an example of such a sublanguage and it appears to be amenable to full formalization. Short of that, much can be done with partial formalization and semistructured documents. The paper presents a tabular format for message expression, motivated by a formal agent communication language.