Semantical considerations on nonmonotonic logic
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
A logic-based calculus of events
New Generation Computing
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Some problems in designing expert systems to aid legal reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A logical framework for default reasoning
Artificial Intelligence
Clausal intuitionistic logic I. Fixed-point semantics
Journal of Logic Programming
Clausal intuitionistic logic II. Tableau proof procedures
Journal of Logic Programming
Hypothetical datalog: complexity and expressibility
Lecture notes in computer science on ICDT '88
EPS II: estate planning with prototypes
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Expert Systems in Law: A Jurisprudential Inquiry
Expert Systems in Law: A Jurisprudential Inquiry
Logic for Problem Solving
A Resolution Calculus for Modal Logics
Proceedings of the 9th International Conference on Automated Deduction
EPS II: estate planning with prototypes
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Separating world and regulation knowledge: where is the logic
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
Representing and reasoning about open-textured predicates
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
On the role of prototypes in appellate legal argument (abstract)
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A reduction-graph model of ratio decidendi
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Neural networks and open texture
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
An implementation of Eisner v. Macomber
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
A generative model of narrative cases
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
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
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
A reduction-graph model of precedent in legal analysis
Artificial Intelligence - Special issue on AI and law
Information extraction from case law and retrieval of prior cases
Artificial Intelligence - Special issue on AI and law
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
Electronic Commerce Research and Applications
Representational complexity in law
Proceedings of the 11th international conference on Artificial intelligence and law
Deep semantic interpretations of legal texts
Proceedings of the 11th international conference on Artificial intelligence and law
Information Processing and Management: an International Journal
An ontology for G2G collaboration in public policy making, implementation and evaluation
Artificial Intelligence and Law - AI & law in eGovernment and eDemocracy part II
Artificial Intelligence and Law - Legal knowledge extraction and searching & legal ontology applications
A uniform conceptual model for knowledge management of international copyright law
Journal of Information Science
Ontologies and reasoning techniques for (legal) intelligent information retrieval systems
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
A formal conceptual model for rights
Proceedings of the 8th ACM workshop on Digital rights management
A semantic document management system for legal applications
International Journal of Web and Grid Services
Checking Traces for Regulatory Conformance
Runtime Verification
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
CMO --An Ontological Framework for Academic Programs and Examination Regulations
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Within the letter of the law: open-textured planning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Artificial Intelligence and Law
International Journal of Web and Grid Services
IWIC'07 Proceedings of the 1st international conference on Intercultural collaboration
An interoperable usage management framework
Proceedings of the tenth annual ACM workshop on Digital rights management
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Semantic models for policy deliberation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Legal ontologies for the spanish e-government
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Semantic indexing of legal documents
Semantic Processing of Legal Texts
Law and the semantic web, an introduction
Law and the Semantic Web
Use and reuse of legal ontologies in knowledge engineering and information management
Law and the Semantic Web
Types and roles of legal ontologies
Law and the Semantic Web
Fundamenta Informaticae
An ontological approach to support legal information modeling
The Journal of Supercomputing
Hi-index | 0.00 |