MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Katsumi Inoue – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

33 documents found, showing 1 through 10. Next 10 →

ATOM

Learning extended logic programs
by Katsumi Inoue — 1997 — In Proceedings of the 15th International Joint Conference on Artificial Intelligence
…Learning Extended Logic Programs Katsumi Inoue Department of Electrical and Electronics…
Cited by 15 (0 self) – Add To MetaCart

Equivalence in abductive logic
by Katsumi Inoue — 2005 — In Proc. IJCAI 2005
…Equivalence in Abductive Logic Katsumi Inoue National Institute of Informatics 2-1-2 Hitotsubashi…
Cited by 3 (1 self) – Add To MetaCart

Inverse Entailment for Full Clausal Theories
by Katsumi Inoue — 2001 — In: LICS-2001 Workshop on Logic and Learning
…Inverse Entailment for Full Clausal Theories Katsumi Inoue Department of Electrical…
Cited by 4 (0 self) – Add To MetaCart

Consequence-finding based on ordered linear resolution
by Katsumi Inoue — 1991 — In proc of IJCAI
…Consequence-Finding Based on Ordered Linear Resolution Katsumi Inoue ICOT Research Center…
Cited by 13 (0 self) – Add To MetaCart

Abducing Priorities to Derive Intended Conclusions
by Katsumi Inoue — 1999 — In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99
…Abducing Priorities to Derive Intended Conclusions Katsumi Inoue Dept. Electrical and Electronics…
Cited by 10 (1 self) – Add To MetaCart

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing
by Yoshihiko Ohta Katsumi, Katsumi Inoue, Ryuzo Hasegawa — Proc. CADE'98
…On the Relationship Between Non-Horn Magic Sets and Relevancy Testing Yoshihiko Ohta 1 , Katsumi…
Add To MetaCart

Paraconsistent Stable Semantics for Extended Disjunctive Programs
by Chiaki Sakama, Katsumi Inoue — 1995 — Journal of Logic and Computation
… 600 Japan sakama@(email omitted); Katsumi Inoue Department of Information and Computer Sciences…
Cited by 18 (0 self) – Add To MetaCart

On the Equivalence between Disjunctive and Abductive Logic Programs
by Chiaki Sakama, Katsumi Inoue — 1994 — Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming
… Research Institute of Kyoto 17 Chudoji Minami-machi Shimogyo, Kyoto 600 Japan sakama@(email omitted); Katsumi…
Cited by 12 (2 self) – Add To MetaCart

The Effect of Partial Deduction in Abductive Reasoning
by Chiaki Sakama, Katsumi Inoue — 1995 — In: Proceedings of the 12th International Conference on Logic Programming
… sakama@(email omitted); Katsumi Inoue Department of Information and Computer Sciences Toyohashi University…
Cited by 1 (1 self) – Add To MetaCart

Negation in Disjunctive Logic Programs
by Chiaki Sakama, Katsumi Inoue — 1993
… Chudoji Minami-machi Shimogyo, Kyoto 600, Japan sakama@(email omitted); Katsumi Inoue Department…
Cited by 9 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB