1
AIT regulations as a case study for legal reasoning in logic programming | |
Author | Nuchalee Limprasitvong |
Call Number | AIT Thesis no. CS-91-32 |
Subject(s) | Logic programming |
Note | A thesis summitted .in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
Publisher | Asian Institute of Technology |
Abstract | 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. |
Year | 1991 |
Type | Thesis |
School | School of Engineering and Technology (SET) |
Department | Other Field of Studies (No Department) |
Academic Program/FoS | Computer Science (CS) |
Chairperson(s) | Phan Minh Dung |
Examination Committee(s) | Huynh Ngoc Phien ;Surapong Auwatanamongkal. |
Scholarship Donor(s) | DAAD - German Academic Exchange Service |
Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1991 |