Skip to main content

2 Result(s)

within Yi-Song Wang Remove this filter Computer Science, general Remove this filter Information Systems Applications (incl. Internet) Remove this filter

and

  1. No Access

    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...

    Yi-Song Wang, Ming-Yi Zhang, Yu-** Shen in Journal of Computer Science and Technology (2007)

  2. No Access

    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...

    Yi-Song Wang, Ming-Yi Zhang, Jia-Huai You in Journal of Computer Science and Technology (2009)