Katsumi Inoue
Katsumi Inoue publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Logic, Reasoning, and Knowledge, Semantic Web and Ontologies and AI-based Problem Solving and Planning.
- World rank
- #759,476 of 1,633,909 ranked researchers
- Rank in Japan
- #35,181 of 114,622
- Works
- 109
- Citations
- 225
- Citations per work
- 2.1
What does Katsumi Inoue research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence49% of their works
- 2Computer Networks and Communications10% of their works
- 3Computational Theory and Mathematics10% of their works
- 4Molecular Biology10% of their works
- 5Hardware and Architecture4% of their works
- 6Management Science and Operations Research4% of their works
Research topics
Which keywords describe Katsumi Inoue's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Heuristic Search and Ontology.
- Metabolic Engineering
- Gene Regulatory Networks
- Formal Verification
- Satisfiability Modulo Theories
- Agent-Based Modeling
- Semantic Web
- Ontology
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Heuristic Search
- Planning Systems
- Synthetic Biology
- Multi-Agent Systems
- Symbolic Model Checker
- Static Analysis
- Genome-Scale Models
- Stochastic Gene Expression
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 21 words, with their numbers
- Model Checking403 topics
- Description Logics372 topics
- Knowledge Representation372 topics
- Temporal Logic342 topics
- Answer Set Programming261 topic
- Modal Logic261 topic
- Heuristic Search111 topic
- Ontology111 topic
- Planning Systems111 topic
- Semantic Web111 topic
- Synthetic Biology102 topics
- Agent-Based Modeling81 topic
- Multi-Agent Systems81 topic
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Formal Verification61 topic
- Static Analysis61 topic
- Gene Regulatory Networks51 topic
- Genome-Scale Models51 topic
- Metabolic Engineering51 topic
- Stochastic Gene Expression51 topic
Where does Katsumi Inoue work?
Katsumi Inoue's main affiliation in the publication record is National Institute of Informatics, Japan.
How many publications and citations does Katsumi Inoue have?
Science Explorer counts 109 works and 225 citations for Katsumi Inoue, ranking #759,476 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Other researchers named Katsumi Inoue
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.