井上 克巳  INOUE Katsumi

Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16-17, 2023), Lecture Notes in Computer Science

巻: 13880 ページ: 197-215

10.1007/978-3-031-24841-2_13

In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023)

巻: 2 ページ: 405-415

10.5220/0011802400003393

In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery

巻: -

In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023)

巻: -

Proceedings of the 24th International Conference (PRIMA 2022; Valencia, Spain, November 16-18, 2022), Lecture Notes in Artificial Intelligence, Springer

巻: 13753 ページ: 243-259

10.1007/978-3-031-21203-1_15

Autonomous Agents and Multi-Agent Systems

巻: 37 号: 2 ページ: 1-45

10.1007/s10458-023-09608-7

Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki

巻: B-2022-1 ページ: 74-77

Machine Learning

巻: 111 号: 10 ページ: 3593-3670

10.1007/s10994-021-06105-4

In: Qing Liu, Wenli Yang, Shiqing Wu (eds.), Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022), arXiv:2212.03374

巻: -

Machine Learning

巻: 111 (1) 号: 1 ページ: 123-145

10.1007/s10994-021-06058-8

Frontiers in Artificial Intelligence

巻: 5

10.3389/frai.2022.824197

In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; Vienna, Austria, July 23-29, 2022)

巻: - ページ: 3008-301

10.24963/ijcai.2022/417

In: Nikos Katzouris, Alexander Artikis (Eds.): Inductive Logic Programming, Proceedings of the 30th International Conference (ILP 2020-2021; Virtual Event), Lecture Notes in Artificial Intelligence

巻: 13191 ページ: 203-218

10.1007/978-3-030-97454-1_15

In: Daniela Incleza Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer

巻: 13416 ページ: 336-349

10.1007/978-3-031-15707-3_26

Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence, Springer

巻: to appear

Proceedings of the International Conference on Logic Programming 2021 (ICLP 2021; Virtual Event), CEUR Workshop　Proceedings

巻: 2970

The 30th International Conference on Inductive Logic Programming (ILP 2020-2021; Virtual)

巻: - ページ: 203-218

Applied Sciences

巻: 11(9) 号: 9 ページ: 4116-4116

10.3390/app11094116

2021 IEEE Conference on Games (CoG 2021; Copenhagen, Denmark, August 17-20)

巻: - ページ: 1-8

10.1109/cog52621.2021.9619121

New Generation Computing

巻: - 号: 1 ページ: 225-254

10.1007/s00354-021-00142-2

Journal of Logic and Compuation

巻: 31 号: 5 ページ: 1298-1316

10.1093/logcom/exab010

Proceedings of the 37th International Conference on Logic Programming (Technical Communications) (ICLP 2021; Virtual Event), Electronic Proceedings in Theoretical Computer Science

巻: 345 ページ: 127-140

10.4204/eptcs.345.26

Autonomous Agents and Multi-Agent Systems

巻: 35:14 号: 1 ページ: 1-38

10.1007/s10458-021-09498-7

Heliyon

巻: 7 (10) 号: 10 ページ: e08207-e08207

10.1016/j.heliyon.2021.e08207

Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021; online)

巻: - ページ: 1154-1162

ACM Transactions on Autonomous and Adaptive Systems

巻: 15(3) 号: 3 ページ: 1-24

10.1145/3463368

Annals of Mathematics and AI

巻: 89 号: 12 ページ: 1133-1153

10.1007/s10472-021-09767-x

Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020; online, January 7-15, 2021)

巻: - ページ: 5194-5195

10.24963/ijcai.2020/737

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021; Washington, DC)

巻: - ページ: 240-247

10.1109/ictai52525.2021.00040

Proceedings of the 9th International Workshop on Static Analysis and Systems Biology, Electronic Notes in Theoretical Computer Science

巻: 350 ページ: 139-158

10.1016/j.entcs.2020.06.008

Applied Network Science

巻: 5（1） 号: 1

10.1007/s41109-020-00268-0

In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019), Lecture Notes in Artificial Intelligence

巻: 11770 ページ: 72-80

10.1007/978-3-030-49210-6_7

130007658348

Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

巻: -

130007658348

Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020; online)

巻: - ページ: 75-82

10.1145/3429210.3429214

Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

巻: 2 ページ: 758-765

10.5220/0009093407580765

Journal of Applied Logics

巻: 6(4) ページ: 695-708

New Generation Computing

巻: 37(2) 号: 2 ページ: 141-158

10.1007/s00354-019-00058-y

Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence

巻: 11726 ページ: 87-98

10.1007/978-3-030-29765-7_8

Kuenstliche Intelligenz

巻: 33(3) 号: 3 ページ: 267-278

10.1007/s13218-019-00597-y

Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'19), Lecture Notes in Artificial Intelligence

巻: 11873 ページ: 370-386

10.1007/978-3-030-33792-6_23

人工知能学会誌

巻: 34(5) ページ: 703-713

The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)

巻: - ページ: 1865-1871

10.24963/ijcai.2019/258

New Generation Computing

巻: 37(2) 号: 2 ページ: 219-243

10.1007/s00354-019-00059-x

Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)

巻: - ページ: 6186-6190

10.24963/ijcai.2019/860

bioRxiv

巻: 510495

10.1101/510495

The 28th International Conference on Inductive Logic Programming (ILP 2018)

巻: 0

In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Lecture Notes in Computer Sciencei

巻: 11224 ページ: 140-157

10.1007/978-3-030-03098-8_9

In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

巻: 11248 ページ: 32-48

10.1007/978-3-030-03014-8_3

PLoS ONE

巻: 13(8): e0202337 号: 8 ページ: 1-21

10.1371/journal.pone.0202337

The 28th International Conference on Inductive Logic Programming (ILP 2018)

巻: 0

Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

巻: なし ページ: 1903-1905

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

Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs

巻: 1811.11435 ページ: 1-14

In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

巻: 0 ページ: 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

120006799300

Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium

巻: 0

International Journal of Digital Enterprise Technology

巻: 1(1-2) 号: 1/2 ページ: 37-59

10.1504/ijdet.2018.092632

In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

巻: 0 ページ: 1903-1905

第17回科学技術フォー ラム (FIT-2018)

巻: - ページ: 37-40

In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings

巻: 2085 ページ: 27-33

In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)

巻: 0 ページ: 1956-1962

10.24963/ijcai.2018/270

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

Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS

巻: 64(12) ページ: 1-12

10.4230/OASICS.ICLP.2018.12

Theory and Practice of Logic Programming

巻: 18(3-4) 号: 3-4 ページ: 571-588

10.1017/s1471068418000261

Annals of Operations Research

巻: - 号: 1 ページ: 3-37

10.1007/s10479-018-2757-7

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

In proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)

巻: - ページ: 663-664

In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

巻: -

In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

巻: 0 ページ: 1362-1370

In proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

巻: -

The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)

巻: 0

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: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)

巻: 1 ページ: 53-61

10.1109/cbi.2017.87

In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings

巻: 1865 ページ: 27-33

In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)

巻: 0 ページ: 214-228

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

巻: - ページ: 136-144

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

第29回RAMPシンポジウム論文集

巻: - ページ: 73-88

In proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)

巻: -

Journal of Machine Learning Research

巻: 18(78) ページ: 1-78

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

巻: 印刷中

Algorithms

巻: 10(1) 号: 1 ページ: 8-8

10.3390/a10010008

IEICE Transactions on Information and Systems

巻: E100.D 号: 12 ページ: 2897-2905

10.1587/transinf.2016AGP0006

130006236637

Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science

巻: 印刷中

Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

巻: 10377 ページ: 265-278

10.1007/978-3-319-61660-5_24

Machine Learning

巻: 106(12) 号: 12 ページ: 1863-1865

10.1007/s10994-017-5679-8

第29回RAMPシンポジウム論文集

巻: - ページ: 73-88

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

The 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)

巻: -

Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering

巻: 131(1) ページ: 012007-012007

10.1088/1757-899x/131/1/012007

Proc. 15th Int'l Conf. on Principles of Knowledge Representation and Reasoning (KR 2016)

巻: － ページ: 601-604

130007426063

The 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016; Toulouse, France), Doctoral Programme

巻: -

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: － ページ: 63-79

BioSystems

巻: 149 ページ: 50-58

10.1016/j.biosystems.2016.09.002

Logic Journal of the IGPL

巻: 未定 号: 6 ページ: 1075-1093

10.1093/jigpal/jzu027

情報処理

巻: 57(8)

Theory and Practice of Logic Programming

巻: 16(1) 号: 1 ページ: 111-138

10.1017/s1471068415000101

Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

巻: － ページ: 1237-1243

In proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)

ページ: 601-604

130007426063

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

In proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: -

In proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-16)

巻: - ページ: 63-79

Proc. 14th Int'l Conf. on Computational Methods in Systems Biology (CMSB 2016), Lecture Notes in Bioinformatics

巻: 9859 ページ: 30-48

10.1007/978-3-319-45177-0_3

Late Breaking Papers of ILP2015, CEUR-WS

巻: 1636 ページ: 95-100

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: － ページ: 63-79

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: -

情報処理

巻: 57(8)

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: － ページ: 13-32

International Joint Agents Workshop and Symposium (IJAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)

巻: -

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

巻: -

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

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

10.11309/jssst.33.4_16

130005290581

Multi-agent and Complex Systems, Studies in Computational Intelligence

巻: 607 ページ: 139-152

10.1007/978-981-10-2564-8_10

Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence

巻: 9575

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 Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

巻: 1433

Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence

巻: 9046 ページ: 108-125

10.1109/icmla.2015.19

電子情報通信学会誌

巻: Vol.98 　No.1 ページ: 35-39

110009900418

電子情報通信学会論文誌D 情報・システム

巻: J98-D 号: 6 ページ: 894-904

10.14923/transinfj.2014SWP0002

In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)

巻: - ページ: 781-793

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

Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)

巻: - ページ: 1590-1596

Theoretical Computer Science

巻: Vol.568 ページ: 49-71

10.1016/j.tcs.2014.12.002

In proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)

ページ: 395-403

電子情報通信学会論文誌D 情報・システム

巻: J98-D 号: 6 ページ: 884-893

10.14923/transinfj.2014SWP0001

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

In proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015)

ページ: 781-793

Journal of Reliable Intelligent Environments

巻: 2(1) 号: 1 ページ: 17-35

10.1007/s40860-015-0016-0

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

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)

巻: -

The 7th International Conference on Agents and Artificial Intelligence (ICAART-2015; Lisbon, Portugal, January 10th, 2015)

巻: - ページ: 509-516

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, CEUR Workshop Proceedings

巻: 1433

Frontiers in Bioengineering and Biotechnology

巻: 2

10.3389/fbioe.2014.00081

Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015)

巻: 無し ページ: 509-516

10.5220/0005276305090516

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

The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

巻: なし

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 2014)

巻: 無し

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

巻: 31 号: 1 ページ: 1_116-1_130

10.11309/jssst.31.1_116

130004549327

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

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

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)

巻: なし

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)

巻: 無し ページ: 170-177

10.1109/ictai.2014.34

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

10.1109/bdcloud.2014.93

Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014)

巻: Vol.8861 ページ: 390-406

10.1007/978-3-319-13191-7_32

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; Paris, France)

巻: -

Machine Learning

巻: 94(1) 号: 1 ページ: 51-79

10.1007/s10994-013-5353-8

Journal of Advanced Computational Intelligence and Intelligent Informatics

巻: 18 ページ: 573-580

130007673206

Journal of Advanced Computational Intelligence and Intelligent Informatics

巻: Vol.18, No.4 ページ: 573-580

130007673206

The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014, Paris, France, May 2014)

巻: - ページ: 1427-1428

Journal of Advanced Computational Intelligence and Intelligent Informatics

巻: Vol.18 No.4 ページ: 573-580

130007673206

International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)

巻: なし

In proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems

巻: 1 ページ: 1427-1428

The 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013)

巻: なし ページ: 785-788

Theory and Practice of Logic Programming

巻: 13(4-5)

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

巻: なし ページ: 33-48

Theory and Practice of Logic Programming

巻: 13(4-5) 号: 4-5 ページ: 783-798

10.1017/s1471068413000495

Joint Agent Workshop and Symposium 2013 (JAWS 2013)

巻: なし

130007673206

The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

巻: なし ページ: 17-30

Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

巻: なし ページ: 485-498

10.1007/978-3-642-40564-8_48

Theory and Practice of Logic Programming

巻: 13(4-5)

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

The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013)

巻: なし ページ: 43-54

電子情報通信学会論文誌 D

巻: J96-D(12) ページ: 2920-2928

電子情報通信学会論文誌 D

巻: J96-D(12) ページ: 2929-2938

The 22nd International Conference of Inductive Logic Programming (ILP 2013)

巻: 掲載確定(掲載確定)

Logic Programming and Nonmonotonic Reasoning: Proceedings of the 12th International Conference (LPNMR 2013)

巻: なし ページ: 116-121

10.1007/978-3-642-40564-8_12

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

10.1109/ictai.2013.149

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

10.1007/978-3-642-44949-9_17

Logic Journal of the IGPL

巻: 21(6) 号: 6 ページ: 980-998

10.1093/jigpal/jzt015

Machine Learning

巻: 86(1) 号: 1 ページ: 3-23

10.1007/s10994-011-5259-2

Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence

巻: 7207 ページ: 373-388

International Journal On Advances in Software

巻: 5(3-4) ページ: 236-250

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

巻: (掲載確定)

130004549290

Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS, Springer

巻: 7265 ページ: 345-362

10.1007/978-3-642-30743-0_23

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

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

130004549290

Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011

巻: (掲載確定)

Applied Biological Engineering-Principles and Practice

巻: 19 ページ: 435-460

10.5772/29776

人工知能学会論文誌

巻: 27 号: 3 ページ: 204-212

10.1527/tjsai.27.204

130001878758

Machine Learning

巻: 86(1) 号: 1 ページ: 115-139

10.1007/s10994-011-5250-y

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

International Journal on Advances in Life Sciences

巻: 4(3-4) ページ: 154-165

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

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

巻: 7207 ページ: 173-188

人工知能学会誌

巻: (掲載決定)

International Joint Agent Workshop and Symposium(iJAWS 2012)

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

巻: (掲載決定)

130004549290

The 28th International Conference on Logic Programming (ICLP 2012)

巻: LIPIcs 17 ページ: 86-97

10.4230/LIPIcs.ICLP.2012.86

Machine Learning 83(2)

ページ: 241-264

Machine Learning; to appear

Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)

巻: 6619 ページ: 40-59

10.1007/978-3-642-20715-0_3

Machine Learning 83(1)

ページ: 1-29

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

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

Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science

巻: 6479 ページ: 167-183

10.1007/978-3-642-28067-2_10

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

10.1007/978-3-642-22723-3_2

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

Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science

巻: (掲載確定)

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

10.1007/978-3-642-22359-4_17

Machine Learning

巻: 83(1) 号: 1 ページ: 1-29

10.1007/s10994-010-5189-4

Machine Learning(Springer) 83

ページ: 1-29

Machine Learning

巻: 83(2) 号: 2 ページ: 241-264

10.1007/s10994-010-5206-7

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

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

130004549242

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

6th Conf. on Prestigious Applications of Intelligent Systems (PAIS 2010)

ページ: 277-282

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

Fundamenta Informaticae

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

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

人工知能学会誌

巻: 25(3) ページ: 389-399

http://ci.nii.ac.jp/naid/110007610263/ja/

AI Communications 23(2-3)

ページ: 183-203

Fundamenta Informaticae

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

AI Communications 23

ページ: 183-203

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

Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)

ページ: 54-68

人工知能学会誌 25・1

ページ: 57-67

AI Communications

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

10.3233/aic-2010-0465

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

人工知能学会誌 25・1

ページ: 56-56

Machine Learning

巻: 76(1) 号: 1 ページ: 3-35

10.1007/s10994-009-5113-y

Journal of Applied Logic 7

ページ: 318-328

Journal of Applied Logic

巻: 7(3) 号: 3 ページ: 318-328

10.1016/j.jal.2008.10.006

Machine Learning 76(1)

ページ: 3-35

Machine Learning(Springer) 76

ページ: 3-35

Machine Learning 76

ページ: 3-35

Journal of Applied Logic(Elsevier) 7(3)

ページ: 318-328

Journal of Applied Logic

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

10.1016/j.jal.2008.10.005

ACM Transactions on Computational Logic 9(2)

コンピュータソフトウェア 25 (3)

ページ: 20-32

110006840397

Transactions on Computational Logic

巻: 9(2) 号: 2 ページ: 1-30

10.1145/1342991.1342993

コンピュータソフトウェア Vol. 25, No. 3

ページ: 20-32

110006840397

Logic Journal of the IGPL 14(2)

ページ: 333-346

Journal of Intelligent Information Systems 26

ページ: 41-58

Journal of Intelligent Information Systems 26(1)

ページ: 41-58

Journal of Intelhent Information Systems 26(1)

ページ: 41-58

Model-Based Reasoning in Science and Engineering:Cognitive Science, Epistemology, Logic, Studies in Logic 2