MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Ken Satoh – sorted by Relevance.

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

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

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

ATOM

Consistency Managementby Prioritized Minimal Revision
by Ken Satoh
…Consistency Managementby Prioritized Minimal Revision (Extended Abstract) Ken Satoh E…
Add To MetaCart

Translating Case-Based Reasoning into Abductive Logic Programming
by Ken Satoh — 1996 — In Proceedings European Conference on Artificial Intelligence (ECAI
…Translating Case-Based Reasoning into Abductive Logic Programming Ken Satoh 1 Abstract…
Cited by 2 (1 self) – Add To MetaCart

Disambiguation by Prioritized Circumscription
by Ken Satoh Hokkaido, Ken Satoh — 1996
… Circumscription Ken Satoh Hokkaido University N13W8 Kita-ku Sapporo 060 Japan ksatoh…
Add To MetaCart

Detailed description of an algorithm for enumeration of maximal frequent sets with irredundant dualization
by Takeaki Uno, Ken Satoh — 2003 — In [9
… Dualization Takeaki Uno, Ken Satoh National Institute of Informatics 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo…
Cited by 4 (0 self) – Add To MetaCart

Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs
by Shin-ichi Minato, Ken Satoh, Taisuke Sato — 2007 — In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence
…-ichi Minato Div. of Computer Science Hokkaido University Sapporo 060–0814, Japan Ken Satoh National Institute…
Cited by 5 (1 self) – Add To MetaCart

Completeness of Pruning Methods for Consequence Finding Procedure SOL
by Koji Iwanuma, Katsumi Inoue, Ken Satoh — 2000 — In Proceedings of the Third International Workshop on First-Order Theorem Proving (FTP’2000
… Inoue 2 , and Ken Satoh 3 1 Yamanashi University, 4-3-11 Takeda, Kofu-shi 400-8511, Japan iwanuma…
Cited by 4 (1 self) – Add To MetaCart

Abductive Reasoning for Burden of Proof
by Ken Satoh, Satoshi Tojo, Yoshitaka Suzuki
…Abductive Reasoning for Burden of Proof Ken Satoh 1 , Satoshi Tojo 2 , Yoshitaka Suzuki 2 1…
Add To MetaCart

A Report on the 2002 Workshop on Computational Logic in Multi-agent Systems (CLIMA'02)
by João Alexandre Leite, Ken Satoh
… Alexandre Leite New University of Lisbon, Portugal jleite@(email omitted); Ken Satoh National Institute…
Add To MetaCart

Efficient Tree Mining Using Reverse Search
by Shin-ichi Nakano, Hiroki Arimura, Takeaki Uno, Ken Satoh, Tatsuya Asai, Tatsuya Asai — 2003
…-ichi Nakano 3 , and Ken Satoh 2 1 Kyushu University, Fukuoka 812–8581, JAPAN {t-asai,arim}@(email omitted); 2…
Add To MetaCart

Consistency Checking Algorithms for Restricted
by Uml Class Diagrams, Ken Kaneiwa, Ken Satoh — 2006 — in ‘Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS2006)’, Springer–Verlag. accepted
…Consistency Checking Algorithms for Restricted UML Class Diagrams Ken Kaneiwa and Ken Satoh…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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