Hirofumi Katsuno Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Kaoru Fujioka [12]
2Hideki Isozaki [8] [9] [10]
3Alberto O. Mendelzon [4] [5] [7]
4Eiji Okamoto [11]
5Takeshi Okamoto [11]
6Ken Satoh [6]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page