Concepedia

Katsumi Inoue

KI

69

Publications

2.3K

Citations

27

H-Index

1990

Active since

Affiliations

National Institute of Informatics(Current)

Wakayama University

Kobe University

The Graduate University for Advanced Studies, SOKENDAI

University of Yamanashi

Katsumi Inoue is an author at National Institute of Informatics specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLogic ProgrammingArtificial IntelligenceSemanticsData ScienceFormal VerificationComputer Engineering

Publications per year

1990–2021

69

Publications

69

Linear resolution for consequence finding

Katsumi Inoue · Artificial Intelligence · 1992 · 152 citations

Automated Reasoning, Image Resolution, Multi-resolution Method +3

Prioritized logic programming and its application to commonsense reasoning

Chiaki Sakama, Katsumi Inoue · Artificial Intelligence · 2000 · 141 citations

Applied Logic, Engineering, Automated Reasoning +4

Stephen Muggleton, Luc De Raedt, David Poole et al. · Machine Learning · 2011 · 127 citations · Full text

Artificial Intelligence, Phase Ilp, Symbolic Learning +10

Negation as failure in the head

Katsumi Inoue, Chiaki Sakama · The Journal of Logic Programming · 1998 · 119 citations

Philosophy Of Language, Cognitive Science, Negative Result +4

Paraconsistent Stable Semantics for Extended Disjunctive Programs

Chiaki Sakama, Katsumi Inoue · Journal of Logic and Computation · 1995 · 93 citations

Rows per page

1–5 of 69