Page
%P
-
Article
Logic Programs, Compatibility and Forward Chaining Construction
Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion...
-
Article
Consistency Property of Finite FC-Normal Logic Programs
Marek’s forward-chaining construction is one of the important techniques for investigating the non-monotonic reasoning. By introduction of consistency property over a logic program, they proposed a class of lo...