すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 その他
すべて 雑誌論文 学会発表 図書
Annals of Operations Research
巻: - ページ: 3-37
10.1007/s10479-018-2757-7
Proceedings of XCSP3 Competition 2018
巻: なし ページ: 93-94
コンピュータソフトウェア
巻: 35(4) ページ: 72-92
130007552525
コンピュータ ソフトウェア
巻: 35 号: 4 ページ: 72-92
10.11309/jssst.35.72
巻: 35(3) 号: 3 ページ: 3_65-3_78
10.11309/jssst.35.3_65
130007487601
情報処理学会論文誌
巻: 59(9) ページ: 1749-1760
170000149759
130007425532
第29回RAMPシンポジウム論文集
巻: - ページ: 73-88
巻: 33(4) 号: 4 ページ: 16-29
10.11309/jssst.33.4_16
130005290581
In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
巻: 10377 ページ: 265-278
10.1007/978-3-319-61660-5_24
巻: 34(1) 号: 1 ページ: 1_67-1_80
10.11309/jssst.34.1_67
130006855237
Theory and Practice of Logic Programming
巻: 17(4) ページ: 408-461
10.1017/s1471068417000138
International Journal on Artificial Intelligence Tools
巻: 26(1)
10.1142/s0218213017600053
120006406719
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)
巻: 10416 ページ: 596-614
10.1007/978-3-319-66158-2_38
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
巻: -
情報処理
巻: 57(8) ページ: 704-709
巻: - ページ: 13-32
巻: 57(8)
巻: - ページ: 63-79
巻: 57(8) ページ: 710-715
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)
巻: - ページ: 421-428
10.1109/ictai.2015.70
40020657481
Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
巻: LNAI9345 ページ: 112-126
10.1007/978-3-319-23264-5_10
Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
巻: Vol.8761 ページ: 684-693
10.1007/978-3-319-11558-0_52
巻: 31(1) 号: 1 ページ: 116-130
10.11309/jssst.31.1_116
130004549327
巻: 30(1) 号: 1 ページ: 1_211-1_230
10.11309/jssst.30.1_211
130004549312
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
巻: なし ページ: 1020-1027
10.1109/ictai.2013.153
Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
巻: なし ページ: 33-48
巻: 30 ページ: 83-89
10031151476
巻: 13(4-5) ページ: 783-798
10.1017/s1471068413000495
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
巻: なし ページ: 429-436
10.1007/978-3-642-39071-5_34
巻: 30(1) ページ: 211-230
巻: 30(2) 号: 2 ページ: 2_83-2_89
10.11309/jssst.30.2_83
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer
巻: 掲載確定(掲載確定)
130004549288
人工知能学会論文誌
巻: 27巻2号 号: 2 ページ: 10-15
10.1527/tjsai.27.10
130001878739
巻: 29(4) ページ: 114-129
人工知能学会誌
巻: (掲載決定)
巻: 29(4) 号: 4 ページ: 114-129
10.11309/jssst.29.4_114
The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
巻: 7317 ページ: 456-462
The 28th International Conference on Logic Programmimg(ICLP 2012)
巻: LIPIcs 17 ページ: 86-97
10.4230/LIPIcs.ICLP.2012.86
Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)
ページ: 375-376
Proc.of the 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
Proc.of the 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695
Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)
10.1007/978-3-642-21581-0_36
Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
17th Int'l Conf.on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
ページ: 112-126
人工知能学会誌 25巻1号
ページ: 122-129
120002736925
巻: 27(4) 号: 4 ページ: 183-196
10.11309/jssst.27.4_183
130004549193
Fundamenta Informaticae
巻: 102(3-4) ページ: 467-487
10.3233/fi-2010-314
巻: Vol.102 ページ: 467-487
人工知能学会誌 25・1
ページ: 77-85
巻: 102・3-4 ページ: 467-487
17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
巻: 27巻 ページ: 183-196
コンピュータソフトウェア 27巻
ページ: 183-196
Fundamenta Informaticae Vol.102
ページ: 467-487
Constraints Vol.27
ページ: 254-272
120000944873
Constraints
巻: Vol.27 ページ: 254-272
Constraints 14・2
Vol.14Issue.2
Proceedings of the Third International CSP Solver Competition
ページ: 71-75
ページ: 77-82
Proc. of the 2nd International CSP Solver Competition
ページ: 65-69
Proceedings of the Second International CSP Solver Competition
コンピュータソフトウェア 24巻3号
ページ: 75-86
130004638868
Computer Software Vol. 24, No. 3
110006366612
コンピュータソフトウェア 第24巻・第3号
コンピュータソフトウェア (印刷中)
Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4
ページ: 1-8
人工知能学会学会誌 21・4
Discrete Applied Mathematics 154・16
ページ: 2291-2306
Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)
Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)
ページ: 45-54
日本ソフトウェア科学会第22回大会
In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management
Computer Software 22-1
ページ: 98-103
130005006638
A Proof Theory Workshop(Keio University)
Proc.INAP 2005
A Proof Theory Workshop, Keio University
コンピュータソフトウェア 22・1
ページ: 191-199
Franco-Japanese Workshop on Constraint Programming
Proof Theory and its Applicationsに関する合同セミナー
Workshop on Proof Theory and its Applications, Keio University
IPAX Spring 2004
日本ソフトウェア科学会第20回全国大会
Workshop on Proof Theory and its Applications(Keio University)
Workshop on Logic and Computation, Keio University
Workshop on Logic and Computation(Keio University)
Computer Software 20-5
ページ: 90-96
130006949877
コンピュータソフトウェア 20・5
Ph.D Dissertation(Graduate School of Science and Technology, Kobe University)
Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)