Yoshinori Shigeta

Publications (7)0 Total impact

• Article: Converting Constraint Handling Rules to Equivalent Transformation Rules.

  Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
  JACIII. 01/2006; 10:339-348.
• Conference Proceeding: Equivalent Transformation Computation Model.

  Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
  Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV '04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS '04, June 21-24, 2004, Las Vegas, Nevada, USA; 01/2004
• Source

  Available from: psu.edu

  Conference Proceeding: A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.

  Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
  Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV '04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS '04, June 21-24, 2004, Las Vegas, Nevada, USA; 01/2004
• Conference Proceeding: Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.

  Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
  Proceedings of the International Conference on Artificial Intelligence, IC-AI '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1; 01/2004
• Conference Proceeding: Synthesis of Conversion Rules by Expanding Knowledge Representation.

  Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta
  Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, Alberta, Canada; 01/2000
• Conference Proceeding: Semantic Interpretation by Rule-based Equivalent Transformation.

  Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike
  Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, Alberta, Canada; 01/2000
• Conference Proceeding: Unreachability for a Class of Rewriting Systems using Two Homomorphisms.

  Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
  Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, Alberta, Canada; 01/2000