Katsumi Inoue
Title
Cited by
Cited by
Year
Linear resolution for consequence finding
K Inoue
Artificial Intelligence 56 (2-3), 301-353, 1992
2531992
Prioritized logic programming and its application to commonsense reasoning
C Sakama, K Inoue
Artificial Intelligence 123 (1-2), 185-222, 2000
1652000
ILP turns 20
S Muggleton, L De Raedt, D Poole, I Bratko, P Flach, K Inoue, ...
Machine learning 86 (1), 3-23, 2012
1272012
Negation as failure in the head
K Inoue, C Sakama
The Journal of Logic Programming 35 (1), 39-78, 1998
1201998
Embedding negation as failure into a model generation theorem prover
K Inoue, M Koshimura, R Hasegawa
CADE-11: International Conference on Automated Deduction 1992, Lecture Notes …, 1992
1111992
Abductive Framework for Nonmonotonic Theory Change.
K Inoue, C Sakama
IJCAI 1995, 204-210, 1995
1101995
An alternative approach to the semantics of disjunctive logic programs and deductive databases
C Sakama, K Inoue
Journal of automated reasoning 13 (1), 145-172, 1994
941994
Paraconsistent stable semantics for extended disjunctive programs
C Sakama, K Inoue
Journal of Logic and Computation 5 (3), 265-285, 1995
911995
Induction as consequence finding
K Inoue
Machine Learning 55 (2), 109-135, 2004
892004
An abductive framework for computing knowledge base updates
C Sakama, K Inoue
Theory and Practice of Logic Programming 3 (6), 671-715, 2003
882003
Updating extended logic programs through abduction
C Sakama, K Inoue
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
861999
Representing Priorities in Logic Programs.
C Sakama, K Inoue
JICSLP, 82-96, 1996
781996
Extended logic programs with default assumptions
K Inoue
Proc. 8th Int. Conf. Logic Programming, 490-504, 1991
731991
SOLAR: An automated deduction system for consequence finding
H Nabeshima, K Iwanuma, K Inoue, O Ray
AI communications 23 (2-3), 183-203, 2010
662010
A fixpoint characterization of abductive logic programs
K Inoue, C Sakama
The Journal of logic programming 27 (2), 107-136, 1996
661996
SATソルバーの基礎 (< 特集> 最近の SAT 技術の発展)
田村直之井上克巳,
人工知能学会誌 25 (1), 57 - 67, 2010
63*2010
Logic programming for Boolean networks
K Inoue
IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011
602011
Learning revised models for planning in adaptive systems
D Sykes, D Corapi, J Magee, J Kramer, A Russo, K Inoue
2013 35th International Conference on Software Engineering (ICSE), 63-71, 2013
572013
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
M Banbara, H Matsunaka, N Tamura, K Inoue
International Conference on Logic for Programming Artificial Intelligence …, 2010
572010
Speculative computation by abduction under incomplete communication environments
K Satoh, K Inoue, K Iwanuma, C Sakama
Proceedings Fourth International Conference on MultiAgent Systems, 263-270, 2000
572000
The system can't perform the operation now. Try again later.
Articles 1–20