スポンサーリンク
Department of Computing and Information Technology, Okayama University | 論文
- Negation as Failure through a Network(Computation and Computational Models)
- A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model