| Revised Date |
2006.08.02 |
| Researcher Name |
INOUE Katsumi
|
| Organization Name,Department Name,Job Title |
| 1.
|
Research Organization of Information and Systems National Institute of Informatics
Professor
|
|
| Address |
National Institute of Informatics,
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 |
| Research Field |
Fundamental informatics
,Intelligent informatics
|
| Keywords for Research Field |
Artificial Intelligence,
Computational Logic,
Logic Programming,
Multi-Agent Systems |
| Research Theme |
| 1.
|
Study on Reasoning with Incomplete Information
Nonmonotonic Reasoning,
Abduction,
Induction,
Belief Revision/Update
Research Field：
Intelligent informatics
（Individual）
|
| 2.
|
Study on Logic Programming
Logic Programming, Negation, Disjunction
Research Field：
Intelligent informatics
,
Software
,
Fundamental informatics
（Individual）
|
| 3.
|
Study on Automated Theorem Proving
Theorem Proving, Automated Reasoning, Consequence Finding
Research Field：
Intelligent informatics
,
Fundamental informatics
（Collaboration in Japan）
|
| 4.
|
Reasoning under Incomplete Information
nonmonotonic reasoning, abduction, belief revision, belief update, multi-agent systems
Research Field：
Intelligent informatics
,
Intelligent informatics
（Individual）
1991－
-
|
| 5.
|
Foundations of Logic Programming
logic programming, negation, disjunction, answer set programming
Research Field：
Intelligent informatics
,
Software
,
Fundamental informatics
（Individual）
1993－
-
|
| 6.
|
Automated Reasoning
automated reasoning, theorem proving, consequence finding, constraint satisfaction, SAT, planning
Research Field：
Intelligent informatics
,
Fundamental informatics
,
Fundamental informatics
（Collaboration in Japan）
2000－
-
|
| 7.
|
Hypothesis Finding and Knowledge Discovery
knowledge discovery, induction, hypothesis finding, discovery science
Research Field：
Intelligent informatics
,
Biological/living body informatics
（International Collaboration）
2004－
-
|
| 8.
|
Consequence Finding and Hypothesis Finding - Basic Research and Applications to Bioinformatics -
|
|
| Homepage URL |
|
Research Result (papers and notes)
(46cases) |
| 1.
|
Combining Answer Sets of Nonmonotonic Logic Programs (jointly worked)
Francesca Toni and Paolo Torroni (eds.), Proceedings of the Sixth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI)
（2005）
pp.104-118
/
,
|
|
| 2.
|
On Abductive Equivalence (jointly worked)
Elena Gandini (ed.), Proceedings of Model-based Reasoning in Science and Engineering: Abduction, Visualization, and Simulation (MBR '04), University of Pavia
（Other
,2004
）
p.15
/
,
|
|
| 3.
|
Speculative Computation through Consequence-finding in
Multi-agent Environments (jointly worked)
Annals of Mathematics and Artificial Intelligence
（Academic Journal
,2004
）
Vol.42, Nos.1-3, pp.255-291
/
,
|
|
|
Research Result (publications)
(67cases) |
| 1.
|
Upside-down Transformation in SOL/Connection Tableaux and its Application (jointly worked)
（D.V. Hung and M. Wirsing (eds.), Proceedings of the Second International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science, Springer
,2005
）
|
| 2.
|
Prolog Cafe: A Prolog to Java Translator System (jointly worked)
（Proceedings of the Sixteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)
,2005
）
|
| 3.
|
Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers (jointly worked)
（Proceedings of the First International Workshop on Distributed and Speculative Constraint Processing
,2005
）
|
| Further display
|
|
Research Result (other activities)
(16cases) |
| 1.
|
Development of Logic-based Multi-agent Systems under Incomplete Communication Environments
（Funded research, etc
,1999-2003
）
|
| 2.
|
Development of Abductive Logic Programming Systems and Action Language Systems
（Funded research, etc
,1995-1996
）
|
| 3.
|
Incorporating Linear-space Best-first Search in MGTP
（Funded research, etc
,1997
）
|
| Further display
|
|
| Graduate School |
| 1.
|
Kyoto University
Master
（Graduate School, Division of Engineering
,Department of Applied Mathematics and Physics
）
1984
（Completed
）
|
|
| Graduating School |
| 1.
|
Kyoto University
University
（Faculty of Engineering
,Department of Applied Mathematics and Physics
）
1982
（Graduated
）
|
|
| Academic Degree |
| 1.
|
Doctor of Engineering
（Thesis）
Kyoto University
Intelligent informatics
|
|
| Academic Awards Received |
IPSJ Convention Award
(Information Processing Society of Japan)
（1988
,Japan
）
,
JSAI SIG Research Award
(Japanese Society for Artificial Intelligence)
（2000
,Japan
）
|
| Academic Society Affiliations |
Information Processing Society of Japan
（Japan）
,
Japanese Society for Artificial Intelligence
（Japan）
,
American Association for Artificial Intelligence (AAAI)
（Other）
|
