| Author | Phaiboon Ruamviboonsuk |
| Call Number | AIT Thesis no.CS-90-20 |
| Subject(s) | Programming languages (Electronic computers)--Semantics
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | In this thesis, the semantics of two major extensions of
general logic programs, namely extended logic programs and
protected logic programs are studied. Well-founded semantics is
generalized to deal with contradictory logic programs . This makes
it possible to deduce information even from a contradictory
knowledge base. The abduction framework for general logic programs
has been studied and extended to give the semantics for these two
extensions of logic programming . The abduction procedure is also
modified to give the corresponding operational semantics. |
| Year | 1990 |
| 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) | Vilas Wuwongse ;Huynh Ngoc Phien |
| Scholarship Donor(s) | DAAD |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1990 |