 | 2003 |
|---|
| 11 |       | Takeshi Okamoto,
Hirofumi Katsuno,
Eiji Okamoto:
A Fast Signature Scheme Based on New On-line Computation.
ISC 2003: 111-121 |
| 1999 |
|---|
| 10 |  | Hideki Isozaki,
Hirofumi Katsuno:
Observability-Based Nested Belief Computation for Multiagent Systems and its Formalization.
ATAL 1999: 27-41 |
| 1996 |
|---|
| 9 | | Hideki Isozaki,
Hirofumi Katsuno:
A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation.
AAAI/IAAI, Vol. 1 1996: 543-549 |
| 1995 |
|---|
| 8 | | Hideki Isozaki,
Hirofumi Katsuno:
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths.
ICLP 1995: 822 |
| 1992 |
|---|
| 7 | | Hirofumi Katsuno,
Alberto O. Mendelzon:
Propositional Knowledge Base Revision and Minimal Change.
Artif. Intell. 52(3): 263-294 (1992) |
| 1991 |
|---|
| 6 | | Hirofumi Katsuno,
Ken Satoh:
A Unified View of Consequence Relation, Belief Revision and Conditional Logic.
IJCAI 1991: 406-412 |
| 5 | | Hirofumi Katsuno,
Alberto O. Mendelzon:
On the Difference between Updating a Knowledge Base and Revising It.
KR 1991: 387-394 |
| 1989 |
|---|
| 4 | | Hirofumi Katsuno,
Alberto O. Mendelzon:
A Unified View of Propositional Knowledge Base Updates.
IJCAI 1989: 1413-1419 |
| 1985 |
|---|
| 3 | | Hirofumi Katsuno:
Two Classes of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints.
FODO 1985: 563-576 |
| 1984 |
|---|
| 2 | | Hirofumi Katsuno:
An Extension of Conflict-Free Multivalued Dependency Sets.
ACM Trans. Database Syst. 9(2): 309-326 (1984) |
| 1 | | Hirofumi Katsuno:
When Do Non-Conflict-Free Multivalued Dependency Dets Appear?
Inf. Process. Lett. 18(2): 87-92 (1984) |
