長谷川 隆三  HASEGAWA Ryuzo

IEICE Transactions on Information and Systems

巻: E97.D 号: 7 ページ: 1812-1821

10.1587/transinf.E97.D.1812

130004519277

IEICE Transactions on Information and Systems

巻: E97.D 号: 7 ページ: 1781-1789

10.1587/transinf.E97.D.1781

130004519274

Proc. of ICTAI 2013

巻: なし ページ: 9-17

10.1109/ictai.2013.13

九州大学 システム情報科学紀要

巻: 18(2) ページ: 85-92

120005306729

Proc. of the SAT2013

Proc. of ICTAI 2013

巻: なし ページ: 284-291

10.1109/ictai.2013.51

九州大学 システム情報科学紀要

巻: 第18巻 ページ: 85-92

120005306729

Proc. of SAT 2013

巻: なし ページ: 415-421

10.1007/978-3-642-39071-5_32

Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

Proc. of 2012 Spring World Congress on Engineering and Technology (SCET2012)

巻: 2 ページ: 257-260

10.1109/scet.2012.6342076

J. on Satisfiability, Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence

ページ: 910-915

Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence

ページ: 910-915

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

4th International Conference on Agents and Artificial Intelligence

巻: 1 ページ: 27-27

Evolutionary Computation and Multi-Agent Systems and Simulation Workshop

ページ: 307-314

Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop, GECCO'12 Companion Publication

巻: なし ページ: 307-314

10.1145/2330784.2330829

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

ICAART 2012

巻: Vol.1 ページ: 277-282

Proc. of 24th International Conference on Tools with Artificial Intelligence

巻: なし

Proc. of 2012 Spring World Congress on Engineering and Technology

巻: Vol.2 ページ: 257-260

Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems

ページ: 13-19

Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)

ページ: 622-626

Proc.of International Workshop on First-Order Theorem Proving (FTP 2011)

ページ: 7-15

Proc. of 10th Annual Conf. Companion on Genetic and Evolutionary Computation

ページ: 347-357

Proc. of 10th IEEE Int'l Conf. on Cybernetic Intelligent Systems

ページ: 13-19

Proa.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)

ページ: 347-357

Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)

ページ: 622-626

ICAART 2011

巻: Vol.1 ページ: 376-381

Proc.of ICAART 2011

巻: 1 ページ: 376-381

Proc. of 2011 IEEE Int'l Conf. on Fuzzy Systems

ページ: 622-626

電子情報通信学会論文誌

巻: Vol.J94-D No.11 ページ: 1707-1715

110008761622

システム情報科学紀要

巻: 16(2) ページ: 75-81

120003370634

Proc. of FTP 2011

ページ: 7-15

Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems

ページ: 13-19

Proc.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)

ページ: 347-357

Proc.of ICAART 2011

巻: 1 ページ: 625-628

110008003663

Proc.of 13th Annual Conf.Companion on Genetic and Evolutionary Computation (GECCO 2011)

ページ: 347-354

10.1145/2001858.2002017

Proc.of 8th Int'l Workshop on First-Order Theorem Proving (FTP 2011)

ページ: 7-15

FTP 2011, TABLEAUX 2011 Workshops, Tutorials, and Short Papers

ページ: 7-15

ICAART 2011

巻: Vol.1 ページ: 628-628

110008003663

TABLEAUX 2011 Workshops, Tutorials, and Short Papers

ページ: 7-15

IEICE TRANSACTIONS on Information and Systems

巻: E93-D・8 ページ: 2316-2318

10027365040

Australian Journal of Intelligent Information Processing Systems

巻: 12・4 ページ: 1-6

IEICE Trans. on Information and Systems

巻: Vol.E93-D ページ: 2316-2318

10027365040

ICAART 2010

巻: Vol.2 ページ: 192-199

Australian Journal of Intelligent Information Processing Systems

巻: Vol.12 ページ: 1-6

九州大学大学院システム情報科学紀要

巻: 第15巻,第2号 ページ: 91-98

120002795249

第9回情報科学技術フォーラム講演論文集

巻: 第2分冊 ページ: 405-406

IEICE TRANSACTIONS on Information and Systems

巻: E93-D・8 ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

ICONIP 2010 Better Paper Award 受賞, Australian Journal of Intelligent Information Processing Systems

巻: Vol.12, No.4 ページ: 1-6

人工知能学会誌

巻: Vol.25,No.1 ページ: 96-104

第9回情報科学技術フォーラム講演論文集

巻: 第2分冊 ページ: 167-168

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

Australian Journal of Intelligent Information Processing Systems

巻: 12・4 ページ: 1-6

Australian Journal of Intelligent Information Processing Systems

巻: Vol.12, No.4 ページ: 1-6

九州大学大学院システム情報科学紀要

巻: 第15巻, 第2号 ページ: 91-98

120002795249

九州大学大学院システム情報科学紀要

巻: 第15巻, 第2号 ページ: 65-69

120002795245

WebPRES 2010

ページ: 269-272

130008064889

IEICE Trans.on Information and Systems Vol.E93-D

ページ: 2316-2318

10027365040

IEICE TRANS. on Information and Systems

巻: vol.E93-D-8 ページ: 2316-2318

10027365040

International Conference on Agents and Artificial Intelligence(ICAART)2010, Vol.2

ページ: 192-199

人工知能学会誌 25・1

ページ: 96-104

人工知能学会誌 25・1

ページ: 96-104

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

Int'l Workshop on Web Personalization and Recommender System

ページ: 269-272

130008064889

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

ACCDS 2009

ページ: 41-56

Proc. of FTP 2009

ページ: 49-59

Journal of Supercomputing

巻: vol.47 ページ: 228-252

7th International Workshop on First-Order Theorem Proving(FTP 2009)

ページ: 49-59

International Workshop on Agent-based Collaboration, Coordination, and Decision Support(ACCDS 2009)

ページ: 41-56

7th International Workshop on First-Order Theorem Proving

ページ: 49-59

九州大学大学院シズテム情報科学紀要 11・1

ページ: 31-38

110004846330

九州大学大学院システム情報科学紀要 11・1(掲載予定)

110004846330

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131938

九州大学大学院システム情報科学紀要 10

ページ: 21-26

110001131578

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131578

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131938

Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.10

ページ: 21-26

110001131578

Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.9

ページ: 13-18

110003178655

九州大学大学院システム情報科学紀要 9

ページ: 13-18

110000580057

IPSJ Journal Vol.44

ページ: 1163-1172

情報処理学会論文誌 44

ページ: 1163-1172

IPSJ Journal(in Japanese) Vol.43

ページ: 4059-4066

110002711507

情報処理学会論文誌 43

ページ: 4059-4066

110002711507