Naoyuki Nide

According to our database, Naoyuki Nide authored at least 16 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Sequent calculus for 3-valued paraconsistent logic QMPT0.

Naoyuki Nide, Yuki Goto, Megumi Fujita

Log. J. IGPL, 2019

2017

Tracing Werewolf Game by Using Extended BDI Model.

Naoyuki Nide, Shiro Takata

IEICE Trans. Inf. Syst., 2017

2016

Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location.

Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe

Proceedings of the IEEE International Conference on Agents, 2016

2014

Logic-based and robust desicion making for robots in real world.

Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

An Architecture for Autonomously Controlling Robot with Embodiment in Real World.

Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe

CoRR, 2013

2007

3D Visualization System Gateau for Atmospheric Science: Design Concept and Practical Evaluation.

Eriko Touma, Katsuyuki Noguchi, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Auto Classification of Feces for Health Condition Analysis.

Miho Komatsubara, Chisato Ishikawa, Masami Takata, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Construction of a Paper Classification System Using SVM.

Naomi Ashida, Masami Takata, Akira Sasaki, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

2006

Design and Implementation of Gateau API for HDF-EOS.

Kazuko Yamauchi, Eriko Touma, Hiroyasu Kamo, Naoyuki Nide, Sachiko Hayashida, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Gateau: A 3D Visualization System for Intuitive Analysis of Atmospheric Science.

Kazuki Joe, Sachiko Hayashida, Naoyuki Nide, Hiroyasu Kamo, Kazuko Yamauchi, Eriko Touma

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Design of an Integrated Database System for Short-Term Earthquake Prediction.

Chisato Ishikawa, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Another RSS Reader with Visualization of Structured Documents and Effective Navigation.

Satomi Hara, Hiroyasu Kamo, Naoyuki Nide, Kazuki Joe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

2003

Design of rational agents for performing speech acts intentionally in multiagent environment.

Shiro Takata, Yoshime Igarashi, Naoyuki Nide, Mika Enomoto, Kenji Mase, Ryohei Nakatsu

Syst. Comput. Jpn., 2003

2002

Deduction Systems for BDI Logics with Mental State Consistency.

Naoyuki Nide, Shiro Takata, Tadashi Araragi

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

A Verification Method for a Commitment Strategy of the BDI Architecture.

Tadashi Araragi, Shiro Takata, Naoyuki Nide

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Deduction systems for BDI logics using sequent calculus.

Naoyuki Nide, Shiro Takata

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002