메뉴 건너뛰기




Volumn , Issue , 2003, Pages 126-135

Logic-based regulation compliance-assistance

Author keywords

compliance assistance; legal informatics; regulations

Indexed keywords

ASSISTANCE SYSTEM; COMPLIANCE ASSISTANCE; COMPLIANCE ASSISTANCE SYSTEM; DOCUMENT REPOSITORIES; FIRST ORDER PREDICATE CALCULUS; INFORMATICS; OIL MANAGEMENT; REGULATION COMPLIANCE; REGULATIONS; REGULATORY INFORMATION MANAGEMENT; STATE REGULATIONS; XML FRAMEWORK;

EID: 33749080082     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1047788.1047820     Document Type: Conference Paper
Times cited : (66)

References (23)
  • 1
    • 0038019212 scopus 로고    scopus 로고
    • Competing Visions: EPA and the States Battle for the Future of Environmental Enforcement
    • Rechtschaffen, C., "Competing Visions: EPA And The States Battle For The Future Of Environmental Enforcement," Environmental Law Reporter, 2000.
    • (2000) Environmental Law Reporter
    • Rechtschaffen, C.1
  • 2
    • 77957806032 scopus 로고    scopus 로고
    • Politics, the Environment, and Regulatory Reform at the Environmental Protection Agency
    • Romine, M., "Politics, The Environment, And Regulatory Reform At The Environmental Protection Agency," Environmental Lawyer, 1999.
    • (1999) Environmental Lawyer
    • Romine, M.1
  • 8
    • 0003734447 scopus 로고
    • ANL-94/6, Mathematics and Computer Science Division, Argonne National Laboratory
    • McCune, W. W., Otter 3.0 Reference Manual and Guide. ANL-94/6, Mathematics and Computer Science Division, Argonne National Laboratory, 1994.
    • (1994) Otter 3.0 Reference Manual and Guide
    • McCune, W.W.1
  • 10
    • 0003278892 scopus 로고
    • On the characterisation of law and computer systems: The normative systems perspective
    • J.-J. C. Meyer and R. J. Wieringa, Editors, John Wiley Publ. Co., Chapter 12
    • Jones, A.J.I. and M. Sergot, "On the characterisation of law and computer systems: the normative systems perspective," Deontic Logic in Computer Science: Normative System Specification, J.-J. C. Meyer and R. J. Wieringa, Editors, John Wiley Publ. Co., Chapter 12, p. 275-307, 1993.
    • (1993) Deontic Logic in Computer Science: Normative System Specification , pp. 275-307
    • Jones, A.J.I.1    Sergot, M.2
  • 13
    • 0022715548 scopus 로고
    • The British Nationality Act as a Logic Program
    • Sergot, M. J., et al., "The British Nationality Act as a Logic Program," Communications of the ACM, 29(5), pp. 370-386, 1986.
    • (1986) Communications of the ACM , vol.29 , Issue.5 , pp. 370-386
    • Sergot, M.J.1
  • 16
    • 0013538754 scopus 로고
    • Knowledge Based Systems and Legal Applications
    • Academic Press
    • Bench-Capon, T.J.M., Knowledge Based Systems and Legal Applications. The APIC Series 36, Academic Press, 1991.
    • (1991) The APIC Series 36
    • Bench-Capon, T.J.M.1
  • 17
    • 84925910094 scopus 로고
    • Reflections on Taxman: An Experiment in Artificial Intelligence and Legal Reasoning
    • McCarty, T., "Reflections on Taxman: An Experiment in Artificial Intelligence and Legal Reasoning," Harvard Law Review, 1977.
    • (1977) Harvard Law Review
    • McCarty, T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.