Naoyuki Nide

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