<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>02329cas a2200385 a 4500</leader>
  <controlfield tag="005">20260817162051.0</controlfield>
  <controlfield tag="008">110225s1991    th uu|m rtt   0|  a1eng d</controlfield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">.b10065386</subfield>
  </datafield>
  <datafield tag="099" ind1=" " ind2="9">
    <subfield code="a">AIT Thesis no. CS-91-32</subfield>
  </datafield>
  <datafield tag="100" ind1="0" ind2=" ">
    <subfield code="a">Nuchalee Limprasitvong</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">AIT regulations as a case study for legal reasoning in logic programming</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Bangkok :</subfield>
    <subfield code="b">Asian Institute of Technology,</subfield>
    <subfield code="c">1991</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">111 p.</subfield>
  </datafield>
  <datafield tag="490" ind1="1" ind2=" ">
    <subfield code="a">Thesis ;</subfield>
    <subfield code="v">no. CS-91-32</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">A thesis subm:itted .in partial fulfillinent af the requirements for the degree af Master af Science, School of Engineering and Technology</subfield>
  </datafield>
  <datafield tag="502" ind1=" " ind2=" ">
    <subfield code="a">Thesis (M.Sc.) - Asian Institute of Technology, 1991</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">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.</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Logic programming</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Phan, Minh Dung,</subfield>
    <subfield code="e">Chairperson</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Huynh, Ngoc Phien,</subfield>
    <subfield code="e">Examination Committee</subfield>
  </datafield>
  <datafield tag="700" ind1="0" ind2=" ">
    <subfield code="a">Surapong Auwatanamongkal,</subfield>
    <subfield code="e">Examination committee</subfield>
  </datafield>
  <datafield tag="710" ind1="2" ind2=" ">
    <subfield code="a">DAAD - German Academic Exchange Service,</subfield>
    <subfield code="e">Scholarship donor</subfield>
  </datafield>
  <datafield tag="810" ind1="2" ind2=" ">
    <subfield code="a">Asian Institute of Technology.</subfield>
    <subfield code="t">Thesis ;</subfield>
    <subfield code="v">no. CS-91-32</subfield>
  </datafield>
  <datafield tag="856" ind1=" " ind2=" ">
    <subfield code="3">Full-Text</subfield>
    <subfield code="u">http://203.159.5.9/ait-thesis/detail.php?q=B17354</subfield>
  </datafield>
  <datafield tag="907" ind1=" " ind2=" ">
    <subfield code="a">.b10065386</subfield>
    <subfield code="b">mnait</subfield>
    <subfield code="c">u</subfield>
  </datafield>
  <datafield tag="902" ind1=" " ind2=" ">
    <subfield code="a">240409</subfield>
  </datafield>
  <datafield tag="998" ind1=" " ind2=" ">
    <subfield code="b">2</subfield>
    <subfield code="c">951012</subfield>
    <subfield code="d">m</subfield>
    <subfield code="e">a  </subfield>
    <subfield code="f">u</subfield>
    <subfield code="g">0</subfield>
  </datafield>
  <datafield tag="945" ind1=" " ind2=" ">
    <subfield code="l">mnait</subfield>
  </datafield>
  <datafield tag="945" ind1=" " ind2=" ">
    <subfield code="l">mnarc</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">22</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">40</subfield>
  </datafield>
  <datafield tag="909" ind1=" " ind2=" ">
    <subfield code="a">Barcode : 30050120676910</subfield>
    <subfield code="b">CREATED : 1995-10-13</subfield>
    <subfield code="c">RECORD # : i10062221</subfield>
    <subfield code="d">LPATRON : 0</subfield>
    <subfield code="e">LCHKIN : -</subfield>
    <subfield code="f"># RENEWALS : 0</subfield>
    <subfield code="g"># OVERDUE : 0</subfield>
    <subfield code="h">IUSE3 : 0</subfield>
    <subfield code="i">TOT CHKOUT : 0</subfield>
    <subfield code="j">TOT RENEW : 0</subfield>
  </datafield>
  <datafield tag="909" ind1=" " ind2=" ">
    <subfield code="a">Barcode : 30050120353346</subfield>
    <subfield code="b">CREATED : 2016-09-06</subfield>
    <subfield code="c">RECORD # : i13027104</subfield>
    <subfield code="d">LPATRON : 0</subfield>
    <subfield code="e">LCHKIN : -</subfield>
    <subfield code="f"># RENEWALS : 0</subfield>
    <subfield code="g"># OVERDUE : 0</subfield>
    <subfield code="h">IUSE3 : 0</subfield>
    <subfield code="i">TOT CHKOUT : 0</subfield>
    <subfield code="j">TOT RENEW : 0</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">3739</subfield>
    <subfield code="d">3739</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">MAIN</subfield>
    <subfield code="b">MAIN</subfield>
    <subfield code="c">mnait</subfield>
    <subfield code="d">2026-08-17</subfield>
    <subfield code="g">10.00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">AIT Thesis no. CS-91-32</subfield>
    <subfield code="p">30050120676910</subfield>
    <subfield code="r">2026-08-17 16:20:52</subfield>
    <subfield code="t">3</subfield>
    <subfield code="w">2026-08-17</subfield>
    <subfield code="y">22</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">MAIN</subfield>
    <subfield code="b">MAIN</subfield>
    <subfield code="c">mnarc</subfield>
    <subfield code="d">2026-08-17</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">AIT Thesis no. CS-91-32</subfield>
    <subfield code="p">30050120353346</subfield>
    <subfield code="r">2026-08-17 16:20:52</subfield>
    <subfield code="w">2026-08-17</subfield>
    <subfield code="y">40</subfield>
  </datafield>
</record>
