Rchr
J-GLOBAL ID:200901090341205422
Update date: Jun. 03, 2022
Nakamatsu Kazumi
ナカマツ カズミ | Nakamatsu Kazumi
Contact this researcher
You can send email directly to the researcher.
Research field (1):
Intelligent informatics
Research keywords (2):
人工知能
, Artificial Intelligence
Research theme for competitive and other funds (2):
真理値付き論理プログラムの応用
Application of Annotated Logic Program
MISC (3):
Kazumi Nakamatsu, Atsuyuki Suzuki. A non-monotonic ATMS based on annotated logic programs with strong negation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1998. 1441. 79-93
Annotated Semantics for Default Reasoning(共著). Proc. 3rd PRICAI, Academic Press. 1994. 181-187
Automatic Theorem Proving for Modal Predicate Logic(共著). The Trans. IECE of Japan. 1984. E67. 4. 203-210
Professional career (1):
(BLANK) (Kyushu University)
Awards (1):
2000 - CASYS'2000最優秀論文賞(Best Paper Award)
Association Membership(s) (2):
IEEE
, 日本人工知能学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM