Publications
145 results found
Daskalopulu A, Sergot MJ, 1995, A Constraint-Driven System for Contract Assembly, Proc. Fifth International Conference on AI and Law, Univ. of Maryland, Publisher: ACM Press, Pages: 62-70
Azevedo PJ, Sergot MJ, 1994, Proof Procedure Based on Recomputation-Free Lemmatization, Computers and Artificial Intelligence, Vol: 13, Pages: 257-273
AZEVEDO PJ, SERGOT MJ, 1994, A PROOF PROCEDURE BASED ON RECOMPUTATION-FREE LEMMATIZATION, Workshop on Deductive Database, at the 1st International Conference on Logic Programming (ICLP 93), Publisher: SLOVAK ACADEMIC PRESS LTD, Pages: 257-273, ISSN: 0232-0274
Azevedo PJDS, Sergot MJ, 1994, Recomputation-Free Lemmatization by Program Transformation., Publisher: MIT Press, Pages: 739-740
Prakken H, Sergot MJ, 1994, Contrary-to-duty imperatives, defeasibility and violability, Proc. Second International Workshop on Deontic Logic in Computer Science (DEON'94), Oslo, Norway, Pages: 296-318
Kesim FN, Sergot M, 1993, Versioning of objects in deductive databases, Pages: 459-472, ISSN: 0302-9743
The object-based event calculus is a modified version of the event calculus which is a general approach to the treatmeht of time and change in a logic programming framework. We present here the use of the object-based event calculus in describing versioning of objects. We begin by describing the maintenance of a historical object database by the use of event descriptions. We then present the extensions that are necessary to support different kinds of versioning. The aim is to provide a framework where complex changes to objects can be performed in a descriptive way.
Jones AJI, Sergot M, 1992, Deontic logic in the representation of law: Towards a methodology, Artificial Intelligence and Law, Vol: 1, Pages: 45-64, ISSN: 0924-8463
There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation - in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in the analysis and representation of law. The essential point for which we argue is that deontic logic - in some form or other -needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. Deontic logic and the theory of normative positions are of relevance to legal knowledge representation, but also to the analysis and. representation of normative systems generally. The emphasis of the paper is on legal knowledge representation, but we seek to place the discussion within the context of a broader range of issues concerning the role of deontic logic in Computer Science. © 1992 Kluwer Academic Publishers.
KESIM FN, SERGOT M, 1992, ON THE EVOLUTION OF OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK, 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ), Publisher: OHMSHA LTD, Pages: 1052-1060
- Author Web Link
- Cite
- Citations: 1
JONES AJI, SERGOT M, 1992, FORMAL SPECIFICATION OF SECURITY REQUIREMENTS USING THE THEORY OF NORMATIVE POSITIONS, 2ND EUROPEAN SYMP ON RESEARCH IN COMPUTER SECURITY ( ESORICS 92 ), Publisher: SPRINGER-VERLAG BERLIN, Pages: 103-121, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
JONES AJI, SERGOT M, 1992, FORMAL SPECIFICATION OF SECURITY REQUIREMENTS USING THE THEORY OF NORMATIVE POSITIONS, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 648, Pages: 103-121, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 12
COSMADOPOULOS Y, SERGOT M, SOUTHWICK RW, 1991, DATA-DRIVEN TRANSFORMATION OF META-INTERPRETERS - A SKETCH, INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE ( PDK 91 ), Publisher: SPRINGER-VERLAG BERLIN, Pages: 301-308
- Author Web Link
- Cite
- Citations: 2
SERGOT MJ, KAMBLE AS, BAJAJ KK, 1991, INDIAN CENTRAL CIVIL-SERVICE PENSION RULES - A CASE-STUDY IN LOGIC PROGRAMMING APPLIED TO REGULATIONS, 3RD INTERNATIONAL CONF ON ARTIFICIAL INTELLIGENCE AND LAW, Publisher: ASSOC COMPUTING MACHINERY, Pages: 118-127
- Author Web Link
- Cite
- Citations: 4
COSMADOPOULOS Y, SERGOT M, SOUTHWICK RW, 1991, DATA-DRIVEN TRANSFORMATION OF META-INTERPRETERS - A SKETCH, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Vol: 567, Pages: 301-308, ISSN: 0302-9743
KOWALSKI R, SERGOT M, 1990, The Use of Logical Models in Legal Problem Solving, Ratio Juris, Vol: 3, Pages: 201-218, ISSN: 0952-1917
Abstract. The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation systems for helping to test proposed legislation and for helping to give citizens advice. Copyright © 1990, Wiley Blackwell. All rights reserved
Kwok CS, Sergot MJ, 1988, Implicit Definition of Logic Programs., Publisher: MIT Press, Pages: 374-385
Bench-Capon TJM, Robinson GO, Routen TW, et al., 1987, Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation, Pages: 190-198
- Cite
- Citations: 83
KOWALSKI R, SERGOT M, 1987, LEITH AND LEGAL LOGIC PROGRAMMING, COMPUTER JOURNAL, Vol: 30, Pages: 285-285, ISSN: 0010-4620
- Author Web Link
- Cite
- Citations: 1
SERGOT MJ, SADRI F, KOWALSKI RA, et al., 1986, THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM, COMMUNICATIONS OF THE ACM, Vol: 29, Pages: 370-386, ISSN: 0001-0782
- Author Web Link
- Cite
- Citations: 182
GABBAY DM, SERGOT MJ, 1986, NEGATION AS INCONSISTENCY .1., JOURNAL OF LOGIC PROGRAMMING, Vol: 3, Pages: 1-35, ISSN: 0743-1066
- Author Web Link
- Cite
- Citations: 12
Sereot M, Cory T, Hammond P, et al., 1986, Formalisation of the British Nationality Act, International Review of Law, Computers & Technology, Vol: 2, Pages: 40-52, ISSN: 1360-0869
- Cite
- Citations: 10
KOWALSKI R, SERGOT M, 1986, A LOGIC-BASED CALCULUS OF EVENTS, NEW GENERATION COMPUTING, Vol: 4, Pages: 67-95, ISSN: 0288-3635
- Author Web Link
- Cite
- Citations: 773
Kowalski RA, Sergot MJ, 1985, A Logic-Based Calculus of Events., Publisher: Springer, Pages: 23-55
Kowalski RA, Sergot MJ, 1985, Computer Representation of the Law., Publisher: Morgan Kaufmann, Pages: 1269-1270
Sergot MJ, 1982, A Query-the-User Facility for Logic Programming., Publisher: North-Holland, Pages: 27-41
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.