中松和己 (Kazumi Nakamatsu) - マイポータル

基本情報

A non-monotonic ATMS based on annotated logic programs with strong negation

Kazumi Nakamatsu, Atsuyuki Suzuki

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1441 79-93 1998年
Annotated Semantics for Default Reasoning(共著)

Proc. 3rd PRICAI, Academic Press 181-187 1994年
Automatic Theorem Proving for Modal Predicate Logic(共著)

The Trans. IECE of Japan E67(4) 203-210 1984年