A logic-based calculus of events
New Generation Computing
Natural language understanding (2nd ed.)
Natural language understanding (2nd ed.)
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Heterogeneous active agents, I: semantics
Artificial Intelligence
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Proceedings of the 8th international conference on Artificial intelligence and law
IEEE Internet Computing
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Processing Natural Language Software Requirement Specifications
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Facilitating International Electronic Commerce by Formalising the Incoterms
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Identifying requirements for Business Contract Language: a Monitoring Perspective
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
On Design and Implementation of a Contract Monitoring Facility
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Automatic semantics extraction in law documents
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A legal drafting environment based on formal and semantic XML standards
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Specifying deadlines with continuous time using deontic and temporal logic
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Commonsense Reasoning
Speech and Language Processing (2nd Edition)
Speech and Language Processing (2nd Edition)
Using Annotated Policy Documents as a User Interface for Process Management
ICAS '07 Proceedings of the Third International Conference on Autonomic and Autonomous Systems
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Retrieval of Italian legal literature: a case of semantic search using legal vocabulary
International Journal of Metadata, Semantics and Ontologies
Artificial intelligence today
Hi-index | 0.00 |
The automatic interpretation of case law, by computerised natural language processing algorithms, remains an elusive challenge. This paper proposes a less ambitious goal: human assisted semantic tagging of case law, using a basic deontic ontology, so that the structured document can be queried. Independent Resource Description Framework (RDF) named graphs are used to represent the legal case. An implementation of event calculus is used to make inferences over these named graphs. We employ our minimal deontic encoding to encode the significant aspects of a commercial case from the South African High Court.