| 000 | 02329cas a2200385 a 4500 | ||
|---|---|---|---|
| 005 | 20260817162051.0 | ||
| 008 | 110225s1991 th uu|m rtt 0| a1eng d | ||
| 035 | _a.b10065386 | ||
| 099 | 9 | _aAIT Thesis no. CS-91-32 | |
| 100 | 0 | _aNuchalee Limprasitvong | |
| 245 | 1 | 0 | _aAIT regulations as a case study for legal reasoning in logic programming |
| 260 |
_aBangkok : _bAsian Institute of Technology, _c1991 |
||
| 300 | _a111 p. | ||
| 490 | 1 |
_aThesis ; _vno. CS-91-32 |
|
| 500 | _aA thesis subm:itted .in partial fulfillinent af the requirements for the degree af Master af Science, School of Engineering and Technology | ||
| 502 | _aThesis (M.Sc.) - Asian Institute of Technology, 1991 | ||
| 520 | _aLogic 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 | _aLogic programming | |
| 700 | 1 |
_aPhan, Minh Dung, _eChairperson |
|
| 700 | 1 |
_aHuynh, Ngoc Phien, _eExamination Committee |
|
| 700 | 0 |
_aSurapong Auwatanamongkal, _eExamination committee |
|
| 710 | 2 |
_aDAAD - German Academic Exchange Service, _eScholarship donor |
|
| 810 | 2 |
_aAsian Institute of Technology. _tThesis ; _vno. CS-91-32 |
|
| 856 |
_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B17354 |
||
| 907 |
_a.b10065386 _bmnait _cu |
||
| 902 | _a240409 | ||
| 998 |
_b2 _c951012 _dm _ea _fu _g0 |
||
| 945 | _lmnait | ||
| 945 | _lmnarc | ||
| 942 | _c22 | ||
| 942 | _c40 | ||
| 909 |
_aBarcode : 30050120676910 _bCREATED : 1995-10-13 _cRECORD # : i10062221 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050120353346 _bCREATED : 2016-09-06 _cRECORD # : i13027104 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 999 |
_c3739 _d3739 |
||