| 2011 | ||
|---|---|---|
| j4 | Kaoru Fujioka, Hirofumi Katsuno: On the Generative Power of Cancel Minimal Linear Grammars with Single Nonterminal Symbol except the Start Symbol. IEICE Transactions 94-D(10): 1945-1954 (2011) | |
| 2003 | ||
| c8 | Takeshi Okamoto, Hirofumi Katsuno, Eiji Okamoto: A Fast Signature Scheme Based on New On-line Computation. ISC 2003: 111-121 | |
| 1999 | ||
| c7 | Hideki Isozaki, Hirofumi Katsuno: Observability-Based Nested Belief Computation for Multiagent Systems and its Formalization. ATAL 1999: 27-41 | |
| 1996 | ||
| c6 | Hideki Isozaki, Hirofumi Katsuno: A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation. AAAI/IAAI, Vol. 1 1996: 543-549 | |
| 1995 | ||
| c5 | Hideki Isozaki, Hirofumi Katsuno: Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. ICLP 1995: 822 | |
| 1992 | ||
| j3 | Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294 (1992) | |
| 1991 | ||
| c4 | Hirofumi Katsuno, Ken Satoh: A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412 | |
| c3 | Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 | |
| 1989 | ||
| c2 | Hirofumi Katsuno, Alberto O. Mendelzon: A Unified View of Propositional Knowledge Base Updates. IJCAI 1989: 1413-1419 | |
| 1985 | ||
| c1 | Hirofumi Katsuno: Two Classes of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints. FODO 1985: 563-576 | |
| 1984 | ||
| j2 | Hirofumi Katsuno: When Do Non-Conflict-Free Multivalued Dependency Dets Appear? Inf. Process. Lett. 18(2): 87-92 (1984) | |
| j1 | Hirofumi Katsuno: An Extension of Conflict-Free Multivalued Dependency Sets. ACM Trans. Database Syst. 9(2): 309-326 (1984) | |
| 1 | Kaoru Fujioka | |
| 2 | Hideki Isozaki | |
| 3 | Alberto O. Mendelzon | |
| 4 | Eiji Okamoto | |
| 5 | Takeshi Okamoto | |
| 6 | Ken Satoh |
Data released under the ODC-BY 1.0 license — See also our legal information page