First order bottom-up defeasible logic reasoner - Rohaninezhad, Mahdi (2016)
Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2016.
References : page [133]-146.
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Logic programming; Defeasible reasoning; Dissertations, Academic -- Malaysia