Katsuno, Hirofumi

3 publications

AAAI 1996 A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation Hideki Isozaki, Hirofumi Katsuno

IJCAI 1991 A Unified View of Consequence Relation, Belief Revision and Conditional Logic Hirofumi Katsuno, Ken Satoh

IJCAI 1989 A Unified View of Propositional Knowledge Base Updates Hirofumi Katsuno, Alberto O. Mendelzon