すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2002 その他
すべて 雑誌論文 学会発表 図書
Annals of Operations Research
巻: - ページ: 3-37
10.1007/s10479-018-2757-7
bioRxiv
巻: 510495
10.1101/510495
In proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
巻: - ページ: 663-664
In: Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs
巻: 1811.11435 ページ: 1-14
情報処理学会論文誌
巻: 59(9) ページ: 1749-1760
170000149759
Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium
巻: 0
In: Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017), Lecture Notes in Computer Science
巻: 10759 ページ: 124-139
10.1007/978-3-319-78090-0_9
In proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Springer
巻: 11224 ページ: 140-157
10.1007/978-3-030-03098-8_9
Lecture Notes in Artificial Intelligence
巻: 11248 ページ: 32-48
10.1007/978-3-030-03014-8_3
Theory and Practice of Logic Programming
巻: 18(3-4) ページ: 571-588
10.1017/s1471068418000261
In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings
巻: 2085 ページ: 27-33
Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science
巻: 11248 ページ: 125-138
10.1007/978-3-030-03014-8_11
International Journal of Digital Enterprise Technology
巻: 1(1-2) ページ: 37-59
10.1504/ijdet.2018.092632
In: Proceedings of the 28th International Conference on Inductive Logic Programming (ILP 2018), Lecture Notes in Computer Science
巻: 11105 ページ: 118-140
10.1007/978-3-319-99960-9_8
The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)
In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
巻: -
In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
巻: 0 ページ: 663-664
第17回科学技術フォー ラム (FIT-2018)
巻: - ページ: 37-40
The 28th International Conference on Inductive Logic Programming (ILP 2018)
Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
巻: なし ページ: 1903-1905
PLoS ONE
巻: 13(8): e0202337 ページ: 1-21
10.1371/journal.pone.0202337
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
巻: 0 ページ: 1903-1905
巻: 0 ページ: 1362-1370
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)
巻: 0 ページ: 1956-1962
10.24963/ijcai.2018/270
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS
巻: 64(12) ページ: 1-12
10.4230/OASICS.ICLP.2018.12
In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)
巻: 1 ページ: 53-61
10.1109/cbi.2017.87
In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)
巻: 0 ページ: 214-228
In proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)
In: Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017), Lecture Notes in Computer Science
巻: 10261 ページ: 483-492
10.1007/978-3-319-59072-1_57
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
Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings
巻: 印刷中
Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)
In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management: (KSEM 2017), Lecture Notes in Artificial Intelligence
巻: 10412 ページ: 520-533
10.1007/978-3-319-63558-3_44
In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings
巻: 1865 ページ: 27-33
Machine Learning
巻: 106(12) ページ: 1863-1865
10.1007/s10994-017-5679-8
第29回RAMPシンポジウム論文集
巻: - ページ: 73-88
Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
Algorithms
巻: 10(1)
10.3390/a10010008
IEICE Trans. Inf. & Syst.
巻: 100-D(12) 号: 12 ページ: 2897-2905
10.1587/transinf.2016agp0006
10.1587/transinf.2016AGP0006
130006236637
コンピュータ ソフトウェア
巻: 33(4) 号: 4 ページ: 16-29
10.11309/jssst.33.4_16
130005290581
Journal of Machine Learning Research
巻: 18(78) ページ: 1-78
Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)
巻: - ページ: 136-144
10.1007/978-3-319-66263-3
The 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016; Toulouse, France), Doctoral Programme
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
巻: - ページ: 1237-1243
Proc. 15th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR 2016)
巻: - ページ: 601-604
130007426063
BioSystems
巻: 149 ページ: 50-58
10.1016/j.biosystems.2016.09.002
Late Breaking Papers of ILP2015, CEUR-WS
巻: 1636 ページ: 95-100
The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
Multi-agent and Complex Systems
巻: 607 ページ: 139-152
10.1007/978-981-10-2564-8_10
巻: 16(1) ページ: 111-138
10.1017/s1471068415000101
情報処理
巻: 57(8)
In proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
Proc. 26th Int'l Conf. on Automated Planning and Scheduling (ICAPS 2016)
巻: - ページ: 235-243
International Joint Agents Workshop and Symposium (IJAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)
巻: - ページ: 454-460
Logic Journal of the IGPL
巻: 未定
10.1093/jigpal/jzu027
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
Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering
巻: 131(1)
10.1088/1757-899x/131/1/012007
Journal of Reliable Intelligent Environments
巻: 2(1) ページ: 17-35
10.1007/s40860-015-0016-0
Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence
巻: 9575
Proceedings of the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
巻: 9859 ページ: 30-48
10.1007/978-3-319-45177-0_3
巻: - ページ: 13-32
In proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
ページ: 601-604
In proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-16)
巻: - ページ: 63-79
巻: - ページ: 63-79
In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016, IOP Conference Series: Materials Science and Engineering
In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)
巻: - ページ: 4330-4332
電子情報通信学会論文誌
巻: J98-D (6) ページ: 894-904
In proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)
巻: 無し ページ: 509-516
10.5220/0005276305090516
巻: J98-D , 6 ページ: 884-893
巻: Vol.J98-D(6) ページ: 884-893
巻: Vol.J98-D(6) ページ: 894-904
Theoretical Computer Science
巻: Vol.568 ページ: 49-71
10.1016/j.tcs.2014.12.002
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)
巻: - ページ: 1590-1596
電子情報通信学会誌
巻: Vol.98 No.1 ページ: 35-39
110009900418
Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence
巻: 9205 ページ: 341-351
10.1007/978-3-319-21365-1_35
In proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
ページ: 395-403
In proceedings of International Symposium on Scheduling 2015 (ISS-15)
ページ: 109-114
The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)
巻: - ページ: 130-133
In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)
巻: 9046 ページ: 108-125
10.1109/icmla.2015.19
In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)
巻: - ページ: 109-114
Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 6, 2015)
巻: - ページ: 395-403
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
Computational Methods in Systems Biology: Proceedings of the 13th International Conference, Lecture Notes in Bioinformatics
巻: 9308 ページ: 239-250
10.1007/978-3-319-23401-4_20
The 7th International Conference on Agents and Artificial Intelligence (ICAART-2015; Lisbon, Portugal, January 10th, 2015)
巻: - ページ: 509-516
Frontiers in Bioengineering and Biotechnology
巻: 2
10.3389/fbioe.2014.00081
The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)
In proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015)
ページ: 781-793
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings
巻: 1433
In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)
巻: - ページ: 781-793
In: François Fages and Carla Piazza (eds.), Formal Methods in Macro-Biology: Proceedings of the First International Conference (FMMB 2014), Lecture Notes in Bioinformatics
巻: 8738 ページ: 165-179
10.1007/978-3-319-10398-3_14
Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions
巻: Vol.2, B-2014- ページ: 35-36
巻: 94(1) ページ: 51-79
10.1007/s10994-013-5353-8
In proceedings of the IEEE 26th International Conference on Tools with Artificial Intelligence
巻: 無し ページ: 170-177
10.1109/ictai.2014.34
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
巻: 無し ページ: 1427-1428
Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013), Lecture Notes in Artificial Intelligence
巻: Vol.8812 ページ: 47-63
10.1007/978-3-662-44923-3_4
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)
International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)
巻: なし
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)
巻: 無し
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014, Paris, France, May 2014)
巻: - ページ: 1427-1428
Proceedings of 2014 IEEE Fourth International Conference on Big Data and Cloud Computing (The 7th IEEE International Conference on Social Computing and Networking (SocialCom 2014)
巻: - ページ: 572-578
10.1109/bdcloud.2014.93
Journal of Advanced Computational Intelligence and Intelligent Informatics
巻: Vol.18, No.4 ページ: 573-580
130007673206
In proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems
巻: 1 ページ: 1427-1428
巻: 18 ページ: 573-580
In proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems
巻: Vol.8861 ページ: 390-406
10.1007/978-3-319-13191-7_32
巻: Vol.18 No.4 ページ: 573-580
The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)
巻: 31(1) 号: 1 ページ: 116-130
10.11309/jssst.31.1_116
130004549327
The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)
巻: なし ページ: 1-15
Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)
巻: なし ページ: 175-186
10.1007/978-3-642-44949-9_17
巻: 13(4-5)
巻: 21(6) ページ: 980-998
10.1093/jigpal/jzt015
電子情報通信学会論文誌 D
巻: J96-D(12) ページ: 2929-2938
The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)
巻: なし ページ: 17-30
The 35th International Conference on Software Engineering (ICSE 2013)
巻: なし ページ: 63-71
Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)
巻: なし ページ: 413-420
10.1007/978-3-642-44927-7_29
巻: なし ページ: 43-54
Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)
巻: なし ページ: 116-121
10.1007/978-3-642-40564-8_12
巻: 13(4-5) ページ: 783-798
10.1017/s1471068413000495
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
巻: なし ページ: 987-995
10.1109/ictai.2013.149
巻: なし ページ: 485-498
10.1007/978-3-642-40564-8_48
Joint Agent Workshop and Symposium 2013 (JAWS 2013)
Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
巻: なし ページ: 33-48
The 22nd International Conference of Inductive Logic Programming (ILP 2013)
巻: 掲載確定(掲載確定)
The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
巻: なし ページ: 785-788
巻: J96-D(12) ページ: 2920-2928
コンピュータソフトウェア
巻: 29(4) ページ: 146-160
130004549290
The 28th International Conference on Logic Programmimg(ICLP 2012)
巻: LIPIcs 17 ページ: 86-97
10.4230/LIPIcs.ICLP.2012.86
人工知能学会論文誌
巻: 27(3) 号: 3 ページ: 204-212
10.1527/tjsai.27.204
130001878758
Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence
巻: 7207 ページ: 173-188
巻: (掲載決定)
Inducive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), LNCS, Springer
10.1007/978-3-642-31951-8
International Joint Agent Workshop and Symposium(iJAWS 2012)
巻: 86(1) ページ: 3-23
10.1007/s10994-011-5259-2
Applied Biological Engineering-Principles and Practice
巻: 19 ページ: 435-460
10.5772/29776
International Journal On Advances in Software
巻: 5(3-4) ページ: 236-250
巻: 7207 ページ: 373-388
ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology
ページ: 24-35
Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer
巻: 7265 ページ: 345-362
10.1007/978-3-642-30743-0
International Journal on Advances in Life Sciences
巻: 4(3-4) ページ: 154-165
巻: (掲載確定)
The 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), LNCS, Springer
巻: 7605 ページ: 166-186
人工知能学会誌
Journal of Machine Learning
巻: 86(1) ページ: 115-139
10.1007/s10994-011-5250-y
Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011
Machine Learning 83(1)
ページ: 1-29
Machine Learning(Springer) 83
Proc.of 3rd Int'l Conf.on Advances in System Testing and Validation Lifecycle (VALID 2011)
ページ: 25-34
Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science
Machine Learning 83(2)
ページ: 241-264
Proc.of 12th Int'l Workshop on the Computational Logic in Multi-Agent Systems (CLIMA-XII)
ページ: 243-258
10.1007/978-3-642-22359-4_17
Proc of 2010 Int'l Conf.on Algebraic and Numeric Biology (ANB 2010)
巻: 6479 ページ: 167-183
10.1007/978-3-642-28067-2_10
巻: 83(1) ページ: 1-29
10.1007/s10994-010-5189-4
巻: 83(2) ページ: 241-264
10.1007/s10994-010-5206-7
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence
巻: 6565 ページ: 91-110
10.1007/978-3-642-20832-4_7
Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science
Machine Learning; to appear
Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)
ページ: 924-930
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
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificial Intelligence
巻: 6822 ページ: 19-38
10.1007/978-3-642-22723-3_2
Declarative Agent Languages and Technologies VIII : Revised, Selected, and Invited Papers from the 8th International Workshop (DALT 2010), Lecture Notes in Artificial Intelligence
巻: 6619 ページ: 40-59
10.1007/978-3-642-20715-0_3
Proc.of 19th Int'l Conf.on Applications of Declarative Programming and Knowledge Management (INAP 2011)
巻: 28(4) ページ: 282-305
130004549242
http://JST.JSTAGE/jssst/28.4_282
20th Int'l Conf. on Inductive Logic Programming (ILP 2010)
AI Communications 23
ページ: 183-203
Fundamenta Informaticae
巻: 102・3-4 ページ: 467-487
巻: 25(3) ページ: 389-399
http://ci.nii.ac.jp/naid/110007610263/ja/
巻: Vol.102 ページ: 467-487
Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)
ページ: 54-68
Fundamenta Informaticae Vol.102
ページ: 467-487
Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)
17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
ページ: 112-126
AI Communications
巻: 23(2-3) ページ: 183-203
10.3233/aic-2010-0465
Inductive Logic Programming : Revised Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence(Luc De Raedt (ed.))
巻: 5989 ページ: 49-64
人工知能学会誌 25・1
ページ: 56-56
ページ: 57-67
6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)
ページ: 277-282
AI Communications 23(2-3)
Machine Learning(Springer) 76
ページ: 3-35
Machine Learning 76
Journal of Applied Logic(Elsevier) 7(3)
ページ: 318-328
Journal of Applied Logic
巻: 7(3) ページ: 318-328
10.1016/j.jal.2008.10.006
Journal of Applied Logic 7
Machine Learning 76(1)
巻: 7(3) ページ: 307-317
10.1016/j.jal.2008.10.005
巻: 76(1) ページ: 3-35
10.1007/s10994-009-5113-y
コンピュータソフトウェア 25 (3)
ページ: 20-32
110006840397
コンピュータソフトウェア Vol. 25, No. 3
Transactions on Computational Logic
巻: 9(2)
10.1145/1342991.1342993
ACM Transactions on Computational Logic 9(2)
Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic [Studies in Logic] 2
ページ: 333-352
Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, Studies in Logic Vol.2
Discrete Applied Mathematics 154(16)
ページ: 2291-2306
Journal of Intelligent Information Systems 26(1)
ページ: 41-58
Journal of Intelhent Information Systems 26(1)
Logics Programming : Proceedings of the 22nd International Conference (ICLP 2006) [Lecture Notes in Computer Science] 4079
ページ: 211-225
Model-Based Reasoning in Science and Engineering:Cognitive Science, Epistemology, Logic, Studies in Logic 2
Logic Journal of the IGPL 14(2)
ページ: 333-346
人工知能学会論文誌 21・2
ページ: 143-152
10022006094
Journal of Intelligent Information Systems 26
Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722
ページ: 166-179
Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) 1
ページ: 472-477
Inductive Logic Programming (ILP 2005), Lecture Notes in Artificial Intelligence 3625
ページ: 154-171
Proceedings of the 7th International Conference on Enterprise Information System (ICEIS2005) 2
ページ: 357-361
Lecture Notes in Artificial Intelligence Vol.3229
ページ: 174-186
Machine Learning Vol.55, No.2
ページ: 109-135
Lecture Notes in Artificial Intelligence Vol.3055
ページ: 459-472
lecture Notes in Artificial intelligence Vol.2401
ページ: 317-332
Annals of mathematics and Artificial Intelligence Vol.42, Nos.1-3
ページ: 255-291
Inductive Logic Programming (ILP 2004), Lecture Notes in Artificial Intelligence Vol.3194
ページ: 164-179
Lecture Notes in Artificial Intelligence Vol.3194
Annals of Mathematics and Artificial Intelligence Vol.42 Nos.1-3
Flexible Query Answering Systems (FQAS 2004), Lecture Notes in Artificial Intelligence Vol.3055
Machine Learning Vol.55 No.2
Logics in Artificial Intelligence (JELIA 2004), Lecture Notes in Artificial Intelligence Vol.3229
Annals of Mathematics and Artificial Intelligence Vol.42, Nos.1-3
Lecture Notes in Artificial Intelligence Vol.2408
ページ: 311-341
Lecture Notes in Artificial Intelligence Vol.2401
Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)