Login / Signup
Naoyuki Nide
Publication Activity (10 Years)
Years Active: 2002-2019
Publications (10 Years): 4
Top Topics
Logical Representation
Sequent Calculus
Bdi Model
Real World
Top Venues
ICA
IEICE Trans. Inf. Syst.
Log. J. IGPL
CoRR
</>
Publications
</>