Naoyuki Nide

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 4

Top Topics

Logical Representation

Sequent Calculus

Top Venues

IEICE Trans. Inf. Syst.

Publications

Naoyuki Nide, Yuki Goto, Megumi Fujita
Sequent calculus for 3-valued paraconsistent logic QMPT0. Log. J. IGPL 27 (4) (2019)
Naoyuki Nide, Shiro Takata
Tracing Werewolf Game by Using Extended BDI Model. IEICE Trans. Inf. Syst. (12) (2017)
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location. ICA (2016)
Naoyuki Nide, Shiro Takata
Tracing Werewolf Game by Using Extended BDI Model. ICA (2016)
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
Logic-based and robust desicion making for robots in real world. AAMAS (2014)
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe
An Architecture for Autonomously Controlling Robot with Embodiment in Real World. CoRR (2013)
Naomi Ashida, Masami Takata, Akira Sasaki, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
Construction of a Paper Classification System Using SVM. PDPTA (2007)
Eriko Touma, Katsuyuki Noguchi, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
3D Visualization System Gateau for Atmospheric Science: Design Concept and Practical Evaluation. PDPTA (2007)
Miho Komatsubara, Chisato Ishikawa, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
Auto Classification of Feces for Health Condition Analysis. PDPTA (2007)
Kazuki Joe, Sachiko Hayashida, Naoyuki Nide, Hiroyasu Kamo, Kazuko Yamauchi, Eriko Touma
Gateau: A 3D Visualization System for Intuitive Analysis of Atmospheric Science. PDPTA (2006)
Satomi Hara, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
Another RSS Reader with Visualization of Structured Documents and Effective Navigation. PDPTA (2006)
Chisato Ishikawa, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe
Design of an Integrated Database System for Short-Term Earthquake Prediction. PDPTA (2006)
Kazuko Yamauchi, Eriko Touma, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida, Kazuki Joe
Design and Implementation of Gateau API for HDF-EOS. PDPTA (2006)
Shiro Takata, Yoshime Igarashi, Naoyuki Nide, Mika Enomoto, Kenji Mase, Ryohei Nakatsu
Design of rational agents for performing speech acts intentionally in multiagent environment. Systems and Computers in Japan 34 (8) (2003)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Naoyuki Nide, Shiro Takata
Deduction systems for BDI logics using sequent calculus. AAMAS (2002)
Tadashi Araragi, Shiro Takata, Naoyuki Nide
A Verification Method for a Commitment Strategy of the BDI Architecture. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. CLIMA (2002)
Naoyuki Nide, Shiro Takata, Tadashi Araragi
Deduction Systems for BDI Logics with Mental State Consistency. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)