鍋島 英知  NABESHIMA Hidetomo

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

巻: E107.A 号: 9 ページ: 1441-1451

10.1587/transfun.2023DMP0006

Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)

巻: LNAI 14281 ページ: 262-277

10.1007/978-3-031-43619-2_19

The 12th International Workshop on Pragmatics of SAT

ページ: 1-15

Proceedings of the 23th International Conference Theory and Applications of Satisfiability Testing (SAT 2020), to appear

巻: 未確定

Theory and Applications of Satisfiability Testing - SAT 2020, LNCS

巻: 12178 ページ: 123-138

10.1007/978-3-030-51825-7_10

人工知能学会論文誌

巻: 34 号: 3 ページ: A-I91_1-16

10.1527/tjsai.A-I91

130007641569

コンピュータソフトウェア

巻: 35(4) ページ: 72-92

130007552525

コンピュータ ソフトウェア

巻: 35 号: 4 ページ: 72-92

10.11309/jssst.35.72

130007552525

Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)

巻: - ページ: 136-144

10.1007/978-3-319-66263-3_9

情報処理

巻: 57(8)

情報処理

巻: 57(8)

コンピュータ ソフトウェア

巻: 33 号: 4 ページ: 4_16-4_29

10.11309/jssst.33.4_16

130005290581

Late Breaking Papers of ILP2015, CEUR-WS

巻: 1636 ページ: 95-100

Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications

巻: B-2016-1 ページ: 43-43

IEICE TRANSACTIONS on Information and Systems

巻: E98-D

130005072390

IEICE Transactions on Information and Systems

巻: E98.D 号: 6 ページ: 1121-1127

10.1587/transinf.2014FOP0007

130005072390

Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

巻: Vol.2, B-2014- ページ: 35-36

Machine Learning

巻: Volume 91, Issue 2 号: 2 ページ: 239-277

10.1007/s10994-013-5341-z

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

巻: なし ページ: 987-995

10.1109/ictai.2013.149

Proc. of IEEE 25^<th> International Conference on Tools with Artificial Intelligence (ICTAI 2013)

ページ: 987-995

Machine Learning

巻: Vol.91, Issue 2 ページ: 239-277

コンピュータソフトウェア

巻: 29(4) ページ: 146-160

130004549290

コンピュータソフトウェア

コンピュータソフトウェア

巻: 未定

コンピュータソフトウェア

巻: (掲載確定)

130004549290

コンピュータ ソフトウェア

巻: 29 号: 4 ページ: 4_146-4_160

10.11309/jssst.29.4_146

130004549290

コンピュータソフトウェア

巻: Vol.29, No.4 ページ: 146-160

130004549290

コンピュータソフトウェア

巻: (掲載決定)

130004549290

Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence

巻: 6489 ページ: 114-129

10.1007/978-3-642-21295-6_15

コンピュータソフトウェア

巻: Vol.28,No.4 ページ: 282-305

130004549242

Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10)

巻: Vol.6489 ページ: 114-129

Int'l Conf. on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)

コンピュータソフトウェア

巻: Vol. 28, No.4 ページ: 282-305

130004549242

Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science

巻: (掲載確定)

コンピュータソフトウェア

巻: 28(4) ページ: 282-305

130004549242

http://JST.JSTAGE/jssst/28.4_282

IEICE TRANSACTIONS on Information and Systems

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

10027365040

IEICE Trans. on Information and Systems

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

10027365040

Fundamenta Informaticae

巻: 102・3-4 ページ: 467-487

人工知能学会誌 Vol.25,No.1

ページ: 68-76

人工知能学会誌 25・1

ページ: 114-121

人工知能学会誌 Vol.25,No.1

ページ: 114-121

AI Communications 23(2-3)

ページ: 183-203

AI Communications

巻: 23(2-3) 号: 2-3 ページ: 183-203

10.3233/aic-2010-0465

Fundamenta Informaticae

巻: Vol.102 ページ: 467-487

人工知能学会誌 25, 1

ページ: 68-76

AI Communications 23

ページ: 183-203

20th Int'l Conf. on Inductive Logic Programming (ILP 2010)

人工知能学会誌 25・1

ページ: 68-76

AI Communications 23, 2-3

ページ: 183-203

人工知能学会誌 25, 1

ページ: 114-121

AI Communications 23, 2-3

ページ: 183-203

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

ページ: 2316-2318

10027365040

人工知能学会誌 25・1

ページ: 86-95

人工知能学会誌 Vol.25,No.1

ページ: 86-95

Fundamenta Informaticae Vol.102

ページ: 467-487

AI Communications Vol.23,No.2-3

ページ: 183-203

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

ページ: 49-59

Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)

ページ: 810-815

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

ページ: 49-59

Journal of Applied Logic

巻: 7(3) 号: 3 ページ: 307-317

10.1016/j.jal.2008.10.005

7th International Workshop on the Implementation of Logics (IWIL 2008) 418

ページ: 113-122

Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Vol.451

ページ: 25-39

Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics (IWIL 2008) Vol.418

ページ: 113-122

第5回情報科学技術レターズ LF-006

ページ: 113-116

Journal of Intelligent Information Systems 26

ページ: 41-58

Proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS' 06)

ページ: 103-112

Proceedings of the International Conference on Planning and Scheduling (to appear)(印刷中)

Inductive Logic Programming (ILP 2005), Lecture Notes in Artificial Intelligence 3625

ページ: 154-171

Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722

ページ: 166-179

Proceedings of Artificial Intelligence and Applications 2005

ページ: 1-5

110003176893

Lecture Notes in Artificial Intelligence Vol.2796

ページ: 257-263

Lecture Notes in Artificial Intelligence Vol.2796

ページ: 257-263

Lecture Notes in Artificial Intelligence Vol.2557

ページ: 726-728

110003176877

Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)