The British Nationality Act as a logic program
Communications of the ACM
A logic-based calculus of events
New Generation Computing
Support for policy makers: formulating legislation with the aid of logical models
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Representing legislation as logic programs
Machine intelligence 11
Logic for Problem Solving
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Taking advantage of models for legal classification
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Knowledge acquisition from prescriptive texts
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Knowledge-based approaches to government benefits analysis
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Legislative knowledge base systems for public administration: some practical issues
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Indian central civil service pension rules: a case study in logic programming applied to regulations
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Legal interpretation in expert systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The use of meta-rules in rule based legal computer systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Beyond knowledge representation: commercial uses for legal knowledge bases
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A method for the development of legal knowledge systems
Proceedings of the 6th international conference on Artificial intelligence and law
POWER: using UML/OCL for modeling legislation - an application report
Proceedings of the 8th international conference on Artificial intelligence and law
Automated knowledge acquisition from regulatory texts
IEEE Expert: Intelligent Systems and Their Applications
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On original generation of structure in legal documents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Improving legal quality: an application report
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Proceedings of the 11th international conference on Artificial intelligence and law
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Checking Traces for Regulatory Conformance
Runtime Verification
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Checking Existing Requirements for Compliance with Law Using a Production Rule Model
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Proceedings of the 1st ACM International Health Informatics Symposium
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Open texture and argumentation: what makes an argument persuasive?
Logic Programs, Norms and Action
Hi-index | 0.00 |