The British Nationality Act as a logic program
Communications of the ACM
Automatic generation of amendment legislation
Proceedings of the 6th international conference on Artificial intelligence and law
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Specification and validation of process constraints for flexible workflows
Information Systems
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Applied Ontology
An OWL Ontology of Fundamental Legal Concepts
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Law and the Semantic Web: legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Multi-layer markup and ontological structures in Akoma Ntoso
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
Superiority based revision of defeasible theories
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Temporal Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Modelling temporal legal rules
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Computers and Electronics in Agriculture
Ontology framework for judgment modelling
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Querying data across different legal domains
Proceedings of the 17th International Database Engineering & Applications Symposium
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Introducing the Carneades web application
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
LegalRuleML: from metamodel to use cases
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF. We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.