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