- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
The British Nationality Act as a logic program
-
- M. J. Sergot
- Univ. of London, London, UK
-
- F. Sadri
- Univ. of London, London, UK
-
- R. A. Kowalski
- Univ. of London, London, UK
-
- F. Kriwaczek
- Univ. of London, London, UK
-
- P. Hammond
- Univ. of London, London, UK
-
- H. T. Cory
- Univ. of London, London, UK
Search this article
Description
<jats:p>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.</jats:p>
Journal
-
- Communications of the ACM
-
Communications of the ACM 29 (5), 370-386, 1986-05
Association for Computing Machinery (ACM)
- Tweet
Details 詳細情報について
-
- CRID
- 1364233270192922112
-
- ISSN
- 15577317
- 00010782
-
- Data Source
-
- Crossref