A query-the-user facility for logic programming
New horizons in educational computing
The British Nationality Act as a logic program
Communications of the ACM
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A knowledge representation and inference system
New Generation Computing
Representing legislation as logic programs
Machine intelligence 11
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Central government pension rules as logic program
KBCS '89 Proceedings of the international conference on Knowledge based computer systems
A logic-based calculus of events
Foundations of knowledge base management
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 |