すべて 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2002 その他
すべて 雑誌論文 学会発表 図書
Annals of Operations Research
巻 : -
In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
In proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)
Algorithms
巻 : 10(1)
Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
巻 : 印刷中
Proceedings of the 20th International Conference Theory and Applications of Satisfiability Testing (SAT 2017)
巻 : - ページ : 136-144
IEICE Transactions on Information and Systems
巻 : 100-D(12) ページ : 2897-2905
Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
巻 : 10377 ページ : 265-278
第29回RAMPシンポジウム論文集
巻 : - ページ : 73-88
Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)
Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
巻 : － ページ : 454-460
Proc. 26th Int'l Conf. on Automated Planning and Scheduling (ICAPS 2016)
巻 : － ページ : 235-243
BioSystems
巻 : 149 ページ : 50-58
In proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)
The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)
Journal of Reliable Intelligent Environments
巻 : 2(1) ページ : 17-35
Logic Journal of the IGPL
巻 : 未定
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
巻 : － ページ : 13-32
コンピュータソフトウェア,
巻 : 33(4) ページ : 16-29
International Joint Agents Workshop and Symposium (IJAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)
In proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-16)
巻 : - ページ : 63-79
情報処理
巻 : 57(8)
Proc. 14th Int'l Conf. on Computational Methods in Systems Biology (CMSB 2016), Lecture Notes in Bioinformatics
巻 : 9859 ページ : 30-48
Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering
巻 : 131(1)
In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)
巻 : - ページ : 4330-4332
In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016, IOP Conference Series: Materials Science and Engineering
Proc. 15th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR 2016)
巻 : － ページ : 601-604
The 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016; Toulouse, France), Doctoral Programme
巻 : － ページ : 63-79
Multi-agent and Complex Systems, Studies in Computational Intelligence
巻 : 607 ページ : 139-152
Late Breaking Papers of ILP2015, CEUR-WS
巻 : 1636 ページ : 95-100
Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence
巻 : 9575
Theory and Practice of Logic Programming
巻 : 16(1) ページ : 111-138
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
巻 : － ページ : 1237-1243
In proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
ページ : 601-604
Computational Methods in Systems Biology: Proceedings of the 13th International Conference, Lecture Notes in Bioinformatics
巻 : 9308 ページ : 239-250
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)
巻 : - ページ : 1590-1596
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings
巻 : 1433
Theoretical Computer Science
巻 : Vol.568 ページ : 49-71
Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence
巻 : 9046 ページ : 108-125
In proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
ページ : 395-403
Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence
巻 : 9205 ページ : 341-351
Frontiers in Bioengineering and Biotechnology
巻 : 2
電子情報通信学会誌
巻 : Vol.98 No.1 ページ : 35-39
電子情報通信学会論文誌
巻 : Vol.J98-D(6) ページ : 884-893
Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)
巻 : 無し ページ : 509-516
The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)
巻 : - ページ : 130-133
The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)
Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 6, 2015)
巻 : - ページ : 395-403
巻 : Vol.J98-D(6) ページ : 894-904
Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
巻 : LNAI9345 ページ : 112-126
The 7th International Conference on Agents and Artificial Intelligence (ICAART-2015; Lisbon, Portugal, January 10th, 2015)
巻 : - ページ : 509-516
In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)
巻 : - ページ : 781-793
In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)
巻 : - ページ : 109-114
In proceedings of International Symposium on Scheduling 2015 (ISS-15)
ページ : 109-114
In proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015)
ページ : 781-793
Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)
巻 : Vol.8861 ページ : 390-406
The 6th International Conference on Agents and Artificial Intelligence (ICAART 2014)
巻 : なし
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
巻 : 無し ページ : 1427-1428
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)
Machine Learning
巻 : 94(1) ページ : 51-79
Journal of Advanced Computational Intelligence and Intelligent Informatics
巻 : 18 ページ : 573-580
Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions
巻 : Vol.2, B-2014- ページ : 35-36
巻 : Vol.18, No.4 ページ : 573-580
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014, Paris, France, May 2014)
巻 : - ページ : 1427-1428
Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)
巻 : Vol.8812 ページ : 47-63
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
International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)
巻 : Vol.18 No.4 ページ : 573-580
コンピュータソフトウェア
巻 : 31 号 : 1 ページ : 116-130
In proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems
巻 : 1 ページ : 1427-1428
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)
巻 : 無し ページ : 170-177
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)
巻 : 無し
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
Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)
巻 : なし ページ : 116-121
巻 : 13(4-5)
Principles and Practice of Multi-Agent Systems: Proceedings of the 16th International Conference (PRIMA 2013)
巻 : なし ページ : 413-420
The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)
巻 : なし ページ : 785-788
巻 : なし ページ : 485-498
The IJCAI 2013 Workshop on Distributed Constraint Reasoning (DCR 2013)
巻 : なし ページ : 1-15
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
巻 : なし ページ : 987-995
The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)
巻 : なし ページ : 43-54
電子情報通信学会論文誌 D
巻 : J96-D(12) ページ : 2920-2928
巻 : J96-D(12) ページ : 2929-2938
The 35th International Conference on Software Engineering (ICSE 2013)
巻 : なし ページ : 63-71
Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 7th International Workshop (MIWAI 2013)
巻 : なし ページ : 175-186
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)
巻 : 掲載確定(掲載確定)
巻 : 13(4-5) ページ : 783-798
Joint Agent Workshop and Symposium 2013 (JAWS 2013)
巻 : なし ページ : 17-30
巻 : 21(6) ページ : 980-998
巻 : 86(1) ページ : 3-23
巻 : 29(4) ページ : 146-160
Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence
巻 : 7207 ページ : 173-188
巻 : 7207 ページ : 373-388
International Journal On Advances in Software
巻 : 5(3-4) ページ : 236-250
Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011
巻 : (掲載確定)
Inducive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), LNCS, Springer
人工知能学会誌
巻 : (掲載決定)
Applied Biological Engineering-Principles and Practice
巻 : 19 ページ : 435-460
International Joint Agent Workshop and Symposium(iJAWS 2012)
人工知能学会論文誌
巻 : 27(3) ページ : 204-212
巻 : 86(1) ページ : 115-139
The 28th International Conference on Logic Programming (ICLP 2012)
巻 : LIPIcs 17 ページ : 86-97
ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology
ページ : 24-35
The 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), LNCS, Springer
巻 : 7605 ページ : 166-186
Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer
巻 : 7265 ページ : 345-362
International Journal on Advances in Life Sciences
巻 : 4(3-4) ページ : 154-165
Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence
巻 : 6489 ページ : 114-129
Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)
ページ : 924-930
Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science
巻 : 83(1) ページ : 1-29
Machine Learning(Springer) 83
ページ : 1-29
巻 : 83(2) ページ : 241-264
Proc.of 3rd Int'l Conf.on Advances in System Testing and Validation Lifecycle (VALID 2011)
ページ : 25-34
Machine Learning 83(2)
ページ : 241-264
Machine Learning; to appear
Proc.of 19th Int'l Conf.on Applications of Declarative Programming and Knowledge Management (INAP 2011)
Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)
巻 : 6619 ページ : 40-59
Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science
巻 : 6479 ページ : 167-183
Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science
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
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
巻 : 28(4) ページ : 282-305
Machine Learning 83(1)
Proc.of 12th Int'l Workshop on the Computational Logic in Multi-Agent Systems (CLIMA-XII)
ページ : 243-258
Fundamenta Informaticae
巻 : 102・3-4 ページ : 467-487
20th Int'l Conf. on Inductive Logic Programming (ILP 2010)
巻 : 25(3) ページ : 389-399
AI Communications 23(2-3)
ページ : 183-203
AI Communications
巻 : 23(2-3) ページ : 183-203
Proc of 20th Int' l Conf. on Inductive Logic Programming(ILP 2010)
6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)
ページ : 277-282
巻 : Vol.102 ページ : 467-487
AI Communications 23
Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)
ページ : 54-68
17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
ページ : 112-126
人工知能学会誌 25・1
ページ : 56-56
ページ : 57-67
Inductive Logic Programming : Revised Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence(Luc De Raedt (ed.))
巻 : 5989 ページ : 49-64
Fundamenta Informaticae Vol.102
ページ : 467-487
Journal of Applied Logic
巻 : 7(3) ページ : 318-328
Machine Learning 76(1)
ページ : 3-35
Machine Learning 76
巻 : 76(1) ページ : 3-35
Machine Learning(Springer) 76
Journal of Applied Logic 7
ページ : 318-328
Journal of Applied Logic(Elsevier) 7(3)
巻 : 7(3) ページ : 307-317
ACM Transactions on Computational Logic 9(2)
コンピュータソフトウェア 25 (3)
ページ : 20-32
Transactions on Computational Logic
巻 : 9(2)
コンピュータソフトウェア Vol. 25, No. 3
Logic Journal of the IGPL 14(2)
ページ : 333-346
Discrete Applied Mathematics 154(16)
ページ : 2291-2306
Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic, Studies in Logic Vol.2
ページ : 333-352
Journal of Intelligent Information Systems 26
ページ : 41-58
Model-Based Reasoning in Science and Engineering : Cognitive Science, Epistemology, Logic [Studies in Logic] 2
Journal of Intelligent Information Systems 26(1)
Journal of Intelhent Information Systems 26(1)
人工知能学会論文誌 21・2
ページ : 143-152
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
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
Theoretical Aspects of Computing (ICTAC 2005), Lecture Notes in Computer Science 3722
ページ : 166-179
Annals of Mathematics and Artificial Intelligence Vol.42, Nos.1-3
ページ : 255-291
Lecture Notes in Artificial Intelligence Vol.3194
ページ : 164-179
Machine Learning Vol.55, No.2
ページ : 109-135
Machine Learning Vol.55 No.2
lecture Notes in Artificial intelligence Vol.2401
ページ : 317-332
Flexible Query Answering Systems (FQAS 2004), Lecture Notes in Artificial Intelligence Vol.3055
ページ : 459-472
Lecture Notes in Artificial Intelligence Vol.3229
ページ : 174-186
Lecture Notes in Artificial Intelligence Vol.3055
Annals of mathematics and Artificial Intelligence Vol.42, Nos.1-3
Annals of Mathematics and Artificial Intelligence Vol.42 Nos.1-3
Inductive Logic Programming (ILP 2004), Lecture Notes in Artificial Intelligence Vol.3194
Logics in Artificial Intelligence (JELIA 2004), Lecture Notes in Artificial Intelligence Vol.3229
Lecture Notes in Artificial Intelligence Vol.2408
ページ : 311-341
Lecture Notes in Artificial Intelligence Vol.2401
Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)
