Hirofumi Katsuno Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Takeshi Okamoto, Hirofumi Katsuno, Eiji Okamoto: A Fast Signature Scheme Based on New On-line Computation. ISC 2003: 111-121
1999
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hideki Isozaki, Hirofumi Katsuno: Observability-Based Nested Belief Computation for Multiagent Systems and its Formalization. ATAL 1999: 27-41
1996
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hideki Isozaki, Hirofumi Katsuno: A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation. AAAI/IAAI, Vol. 1 1996: 543-549
1995
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hideki Isozaki, Hirofumi Katsuno: Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. ICLP 1995: 822
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294 (1992)
1991
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno, Ken Satoh: A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394
1989
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno, Alberto O. Mendelzon: A Unified View of Propositional Knowledge Base Updates. IJCAI 1989: 1413-1419
1985
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno: Two Classes of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints. FODO 1985: 563-576
1984
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno: When Do Non-Conflict-Free Multivalued Dependency Dets Appear? Inf. Process. Lett. 18(2): 87-92 (1984)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hirofumi Katsuno: An Extension of Conflict-Free Multivalued Dependency Sets. ACM Trans. Database Syst. 9(2): 309-326 (1984)

Coauthor Index

1Kaoru Fujioka
[j4]
2Hideki Isozaki
[c7] [c6] [c5]
3Alberto O. Mendelzon
[j3] [c3] [c2]
4Eiji Okamoto
[c8]
5Takeshi Okamoto
[c8]
6Ken Satoh
[c4]
Last update Sun May 19 19:30:26 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page