Demo Data from EDBT 2026 / reviewers in the wild / expert
Hirofumi Katsuno
dblp:63/2552
· DBLP profile ↗
8ranked-venue papers
6as first author
0since 2021 · last 2003
0000-0003-4133-2346ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 4 first-authorTheory of computation · 3 · 2 first-authorDatabases, data management, data science and information retrieval · 2 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorSecurity and privacy · 1Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
4 papers |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
2 papers |
Logic in computer science · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Database theory · 100% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision |
0.0 | 4 | 1992 | Propositional Knowledge Base Revision and Minimal Change · Artif. Intell. 1992 On the Difference between Updating a Knowledge Base and Revising It · KR 1991 A Unified View of Consequence Relation, Belief Revision and Conditional Logic · IJCAI 1991 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief change
knowledge update |
0.0 | 2 | 1991 | On the Difference between Updating a Knowledge Base and Revising It · KR 1991 A Unified View of Propositional Knowledge Base Updates · IJCAI 1989 |
Logic in computer science › modal logic
conditional logic |
0.0 | 1 | 1991 | A Unified View of Consequence Relation, Belief Revision and Conditional Logic · IJCAI 1991 |
Logic in computer science
propositional logic |
0.0 | 1 | 1989 | A Unified View of Propositional Knowledge Base Updates · IJCAI 1989 |
Database theory
dependency theory |
0.0 | 1 | 1984 | An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984 |
Database theory › dependency theory
multivalued dependencies |
0.0 | 1 | 1984 | An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984 |
Database theory
normalization |
0.0 | 1 | 1984 | An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984 |
Methods — techniques the papers use, named apart from their topics
axiomatization · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2003 | A Fast Signature Scheme Based on New On-line Computation
Takeshi Okamoto, Hirofumi Katsuno, Eiji Okamoto |
ISC | 2 |
| 1995 | Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths
Hideki Isozaki, Hirofumi Katsuno |
ICLP | 2 |
| 1992 | Propositional Knowledge Base Revision and Minimal Change
Hirofumi Katsuno, Alberto O. Mendelzon |
Artif. Intell. | 1 |
| 1991 | A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Hirofumi Katsuno, Ken Satoh |
IJCAI | 1 |
| 1991 | On the Difference between Updating a Knowledge Base and Revising It
Hirofumi Katsuno, Alberto O. Mendelzon |
KR | 1 |
| 1989 | A Unified View of Propositional Knowledge Base Updates
Hirofumi Katsuno, Alberto O. Mendelzon |
IJCAI | 1 |
| 1984 | When Do Non-Conflict-Free Multivalued Dependency Dets Appear?
Hirofumi Katsuno |
Inf. Process. Lett. | 1 |
| 1984 | An Extension of Conflict-Free Multivalued Dependency SetsabstractSeveral researchers (Beeri, Bernstein, Chiu, Fagin, Goodman, Maier, Mendelzon, Ullman, and Yannakakis) have introduced a special class of database schemes, called acyclic or tree schemes. Beeri et al. have shown that an acyclic join dependency, naturally defined by an acyclic database scheme, has several desirable properties, and that an acyclic join dependency is equivalent to a conflict-free set of multivalued dependencies. However, since their results are confined to multivalued and join dependencies, it is not clear whether we can handle functional dependencies independently of other dependencies. In the present paper we define an extension of a conflict-free set, called an extended conflict-free set , including multivalued dependencies and functional dependencies, and show the following two properties of an extended conflict-free set: There are three equivalent definitions of an extended conflict-free set. One of them is defined as a set including an acyclic joint dependency and a set of functional dependencies such that the left and right sides of each functional dependency are included in one of the attribute sets that construct the acyclic join dependency. For a relation scheme with an extended conflict-free set, there is a decomposition into third normal form with a lossless join and preservation of dependencies. Hirofumi Katsuno |
ACM Trans. Database Syst. | 1 |