Miyuki Koshimura

2008
15	EE	Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI 2008: 839-848
14	EE	Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: A Method for Query Expansion Using the Related Word Extraction Algorithm. Web Intelligence/IAT Workshops 2008: 41-44
2007
13	EE	Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: User-Schedule-based Web Page Recommendation. Web Intelligence 2007: 776-779
2004
12	EE	Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78
2002
11	EE	Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai: A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond 2002: 178-213
2001
10	EE	Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
2000
9		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
8	EE	Miyuki Koshimura, Ryuzo Hasegawa: Proof Simplification for Model Generation and Its Applications. LPAR 2000: 96-113
7		Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa: Minimal Model Generation with Factorization and Constrained Search. PRICAI 2000: 793
1997
6		Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190
5		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX 1997: 1-15
1992
4		Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415
3		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE 1992: 776-780
2		Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Model Generation Theorem Provers on a Parallel Inference Machine. FGCS 1992: 357-375
1		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238

Coauthor Index

1	Hiroshi Fujita	[1] [2] [3] [5] [9] [10] [11] [13] [14] [15]
2	Masayuki Fujita	[2]
3	Ryuzo Hasegawa	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
4	Katsumi Inoue	[4] [6]
5	Yoshiaki Kambara	[15]
6	Megumi Kita	[7]
7	Shunsuke Kuramoto	[13] [14]
8	Tsunenori Mine	[13] [14] [15]
9	Hiroto Nagata	[13]
10	Yoshihiko Ohta	[6]
11	Tetsuya Oishi	[13] [14] [15]
12	Yasuyuki Shirai	[11]
13	Mayumi Umeda	[12]