The British Nationality Act as a logic program

Authors:
M. J. Sergot;F. Sadri;R. A. Kowalski;F. Kriwaczek;P. Hammond;H. T. Cory
Affiliations:
Univ. of London, London, UK;Univ. of London, London, UK;Univ. of London, London, UK;Univ. of London, London, UK;Univ. of London, London, UK;Univ. of London, London, UK
Venue:
Communications of the ACM
Year:
1986

Citing 8
Cited 99

Micro-PROLOG: programming in logic

Micro-PROLOG: programming in logic
Software engineering and artificial intelligence in new generaton computing

Future Generation Computer Systems
Logic for problem-solving

Logic for problem-solving
An artificial intelligence approach to legal reasoning

An artificial intelligence approach to legal reasoning
Representing legislation as logic programs

Machine intelligence 11
A Discipline of Programming

A Discipline of Programming
Micro-Planner Reference Manual

Micro-Planner Reference Manual
Structured Analysis and System Specification

Structured Analysis and System Specification

Knowledge abstraction

Communications of the ACM
Expert systems in law: The datalex project

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Conceptual organization of case law knowledge bases

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A case-based system for trade secrets law

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A Prolog model of the income tax act of Canada

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Legal data modeling: The prohibited transaction exemption analyst

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Bureaucracies as deontic systems

ACM Transactions on Information Systems (TOIS)
The potential of artificial intelligence to help solve the crisis in our legal system

Communications of the ACM
The treatment of negation in logic programs for representing legislation

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Interpreting statutory predicates

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Amalgamating regulation- and case-based advice systems through suggested answers

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Expert systems and ICAI in tax law: killing two birds with one AI stone

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Issue spotting in a system for searching interpretation spaces

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
ASSYST - computer support for guideline sentencing

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
The design of an attorney's statistical consultant

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
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
An example of integrating legal case based reasoning with object-oriented rule-based systems: IKBALS II

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
An application of the expert system shell Σkilagi to the study of benefits regulation of Bologna University

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
The structure of norm conditions and nonmonotonic reasoning in law

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Legal theory and case-based reasoners: the importance of context and the process of focusing

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
An expert system for the application of import and export regulations

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Extracting legal knowledge by means of a multilayer neural network application to municipal jurisprudence

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The logic of the whole truth

ACM SIGART Bulletin
Legal interpretation in expert systems

ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
KICS: a knowledge-intensive case-based reasoning system for statutory building regulations and case histories

ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Representing visual conditions in a legal knowledge based system

ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A logic for legal hierarchies

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
Explaining type errors in polymorphic languages

ACM Letters on Programming Languages and Systems (LOPLAS)
A computational framework for dialectical reasoning

ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Automatically processing amendments to legislation

ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Bias in computer systems

ACM Transactions on Information Systems (TOIS)
Discerning bias in computer systems

CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Ontologies in legal information systems; the need for explicit specifications of domain conceptualisations

Proceedings of the 6th international conference on Artificial intelligence and law
An application of rule-based and case-based reasoning within a single legal knowledge-based system

ACM SIGMIS Database
Dialectic semantics for argumentation frameworks

ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Knowledge discovery for decision support in law

ICIS '00 Proceedings of the twenty first international conference on Information systems
Executable declarative business rules and their use in electronic commerce

Proceedings of the 2002 ACM symposium on Applied computing
A Case-Based Approach to Modeling Legal Expertise

IEEE Expert: Intelligent Systems and Their Applications
A logical framework for temporal deductive databases

VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
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
MuTACLP: A Language for Temporal Reasoning with Multiple Theories

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Rigoristic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others

TDS '00 Proceedings of the Third International Workshop on Text, Speech and Dialogue
Bob Kowalski: A Portrait

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Provisions and Obligations in Policy Rule Management

Journal of Network and Systems Management
A reduction-graph model of precedent in legal analysis

Artificial Intelligence - Special issue on AI and law
A tutorial on default reasoning

The Knowledge Engineering Review
Logic-based regulation compliance-assistance

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
On original generation of structure in legal documents

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Mining rule semantics to understand legislative compliance

Proceedings of the 2005 ACM workshop on Privacy in the electronic society
Legal information retrieval and application to e-rulemaking

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Computational law

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
HARE: an Italian application of SoftLaw's STATUTE expert technology

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Argumentation in AI and law: editors' introduction

Artificial Intelligence and Law - Argumentation in artificial intelligence and law
Validating an expert system for financial statement planning

Journal of Management Information Systems - Special issue: Organizational impact of group support systems, expert systems, and executive information systems
Modelling Defeasibility in Law: Logic or Procedure?

Fundamenta Informaticae - Deontic Logic in Computer Science
An empirical investigation of reasoning with legal cases through theory construction and application

Artificial Intelligence and Law
Logical structure of change of legal relations and its representation in legal knowledge base system

Proceedings of the 11th international conference on Artificial intelligence and law
Computable Models of the Law and ICT: State of the Art and Trends in European Research

Computable Models of the 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
What is software?

Automated Software Engineering
Checking Traces for Regulatory Conformance

Runtime Verification
Theory and Practice in AI and Law: A Response to Branting

Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Regulations Expressed As Logical Models (REALM)

Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Isomorphism and argumentation

Proceedings of the 12th International Conference on Artificial Intelligence and Law
Toward a general theory of document modeling

Proceedings of the 12th International Conference on Artificial Intelligence and Law
A metalogic programming approach to reasoning about time in knowledge bases

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Within the letter of the law: open-textured planning

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Modular argumentation for modelling legal doctrines in common law of contract

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
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Rules and precedents as complementary warrants

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Knowledge representation and non-monotonic reasoning

A 25-year perspective on logic programming
The production rule framework: developing a canonical set of software requirements for compliance with law

Proceedings of the 1st ACM International Health Informatics Symposium
Analogy, similarity and factors

Proceedings of the 13th International Conference on Artificial Intelligence and Law
The systematization of law in terms of the validity

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Normative systems represented as hybrid knowledge bases

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape

Proceedings of the 3rd ACM workshop on Cloud computing security workshop
Computing logical form on regulatory texts

EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
OWL-POLAR: A framework for semantic policy representation and reasoning

Web Semantics: Science, Services and Agents on the World Wide Web
PROLEG: an implementation of the presupposed ultimate fact theory of japanese civil code by PROLOG technology

JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Verifying norm compliancy of protocols

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
From database to normbase

International Journal of Information Management: The Journal for Information Professionals
On compliance checking for clausal constraints in annotated process models

Information Systems Frontiers
The modular logic of private international law

Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
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
Deon+: abduction and constraints for normative reasoning

Logic Programs, Norms and Action
Specifying and reasoning about normative systems in deontic logic programming

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Normative systems require hybrid knowledge bases

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Modelling Defeasibility in Law: Logic or Procedure?

Fundamenta Informaticae - Deontic Logic in Computer Science
Regulatory requirements traceability and analysis using semi-formal specifications

REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
A well-founded ontological framework for modeling personal income tax

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

Quantified Score

Hi-index	48.25

Visualization

Abstract

The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.