AI SearchAIT regulations as a case study for legal reasoning in logic programming (Record no. 3739)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02329cas a2200385 a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260817162051.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110225s1991 th uu|m rtt 0| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10065386 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no. CS-91-32 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Nuchalee Limprasitvong |
| 245 10 - TITLE STATEMENT | |
| Title | AIT regulations as a case study for legal reasoning in logic programming |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1991 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 111 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-91-32 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis subm:itted .in partial fulfillinent af the requirements for the degree af Master af Science, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Asian Institute of Technology, 1991 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Logic programming has been applied to a variety of examples in laws, rules and regulations of different kinds. Many researchers have suggested several ways in which the basic model of logic programming could be usefully extended for representation in the legal domain. The representation of rules and regulations of the Asian Institute of Technology in logic programming is investigated and a demonstration system for reasoning about rules and regulations is presented in this thesis. The method emphasizes both the prospects of using logic programming to build legal applications as well as its application for knowledge representation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic programming |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Ngoc Phien, |
| Relator term | Examination Committee |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Surapong Auwatanamongkal, |
| Relator term | Examination committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | DAAD - German Academic Exchange Service, |
| Relator term | Scholarship donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-91-32 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B17354">http://203.159.5.9/ait-thesis/detail.php?q=B17354</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10065386 |
| b | mnait |
| c | u |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240409 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | u |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 22-AIT Thesis (Replacement) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120676910 |
| CREATED | CREATED : 1995-10-13 |
| RECORD Id | RECORD # : i10062221 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120353346 |
| CREATED | CREATED : 2016-09-06 |
| RECORD Id | RECORD # : i13027104 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 10.00 | AIT Thesis no. CS-91-32 | 30050120676910 | 17/08/2026 | 3 | 17/08/2026 | 22-AIT Thesis (Replacement) | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT Thesis no. CS-91-32 | 30050120353346 | 17/08/2026 | 17/08/2026 | 40-Archives |