Apr 25, 2024 · List of computer science publications by Hirohisa Seki.

Hirohisa Seki's 60 research works with 413 citations, including: Constructing more relevant models.

Hirohisa Seki's 9 research works with 45 citations, including: On dual programs in co-logic programming and the Horn $${\mu}$$ μ -calculus.

27 Followers, 10 Following, 6 Posts - 関浩久 (@hirohisa.seki) on Instagram: "HIROHISA"

Studied 経済学 at 九州産業大学. 󱜏. Lives in Fukuoka. 󱘛. From Matsuyama, Ehime. 󱛩. Followed by 19 people. 󱙇. See more about Hirohisa. 󱘋. Photos.

Hirohisa SEKI. Mitsubishi Electric Corporation. Central Research Laboratory. Tsukaguchi-Honmachi 8-1-1. Amagasaki,Hyogo,JAPAN 661. ABSTRACT. This paper is ...

We consider a new application condition of negative unfolding, which guarantees its safe use in unfold/fold transformation of stratified logic programs.

Chiaki Sakama and Hirohisa Seki. Journal of Logic Programming 32:229-245, 1997. Abstract. This paper presents a partial deduction method in disjunctive logic ...

22. H. Seki. A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.