• 194 Citations
  • 8 h-Index
1992 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 194 Citations
  • 8 h-Index
  • 34 Article
  • 33 Conference contribution
  • 1 Conference article
Filter
Conference contribution
2020

A Simple yet Efficient MCSes Enumeration with SAT Oracles

Koshimura, M. & Satoh, K., Jan 1 2020, Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Proceedings. Nguyen, N. T., Trawinski, B., Jearanaitanakij, K., Chittayasothorn, S. & Selamat, A. (eds.). Springer, p. 191-201 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12033 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems

Liao, X., Zhang, H., Koshimura, M., Huang, R. & Yu, W., 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer Verlag, p. 618-631 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11670 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Solving Coalition Structure Generation Problems over Weighted Graph

Watanabe, E., Koshimura, M., Sakurai, Y. & Yokoo, M., Jan 1 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila Wenkstern, R. (eds.). Springer, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11873 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

A Hybrid Encoding of Pseudo-Boolean Constraints into CNF

Zha, A., Koshimura, M. & Fujita, H., May 9 2018, Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017. Institute of Electrical and Electronics Engineers Inc., p. 9-12 4 p. (Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Mixed radix weight totalizer encoding for pseudo-boolean constraints

Zha, A., Uemura, N., Koshimura, M. & Fujita, H., Jun 4 2018, Proceedings - 2017 International Conference on Tools with Artificial Intelligence, ICTAI 2017. IEEE Computer Society, p. 868-875 8 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2017

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation

Zha, A., Nomoto, K., Ueda, S., Koshimura, M., Sakurai, Y. & Yokoo, M., Jan 1 2017, PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Proceedings. Bazzan, A., Villata, S., An, B., Leite, J. & van der Torre, L. (eds.). Springer Verlag, p. 143-159 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10621 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2013

Modulo based CNF encoding of cardinality constraints and its application to MaxSAT solvers

Ogawa, T., Liu, Y., Hasegawa, R., Koshimura, M. & Fujita, H., Dec 1 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 9-17 9 p. 6735224

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

SCSat: A soft constraint guided SAT solver

Fujita, H., Koshimura, M. & Hasegawa, R., Jul 15 2013, Theory and Applications of Satisfiability Testing, SAT 2013 - 16th International Conference, Proceedings. p. 415-421 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7962 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using MaxSAT to correct errors in AES key schedule images

Liao, X., Zhang, H., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 1 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 284-291 8 p. 6735262. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2012

Evaluating reranking methods based onlink co-occurrence and category in Wikipedia

Takiguchi, Y., Kurakado, K., Oishi, T., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence. Vol. 1. p. 277-282 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid Particle Swarm Optimization and convergence analysis for scheduling problems

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Aug 20 2012, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion. p. 307-314 8 p. (GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Companion).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Rule extraction from micro-blog using inductive logic programming

Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 12 2012, 2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings. 6342076. (2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Solving the coalition structure generation problem with MaxSAT

Liao, X., Koshimura, M., Fujita, H. & Hasegawa, R., 2012, Proceedings - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. p. 910-915 6 p. 6495141. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)
2011

An efficient hybrid particle swarm optimization for the Job Shop scheduling problem

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Sep 27 2011, FUZZ 2011 - 2011 IEEE International Conference on Fuzzy Systems - Proceedings. p. 622-626 5 p. 6007385. (IEEE International Conference on Fuzzy Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Combining PSO and local search to solve scheduling problems

Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., Aug 26 2011, Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication. p. 347-354 8 p. (Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Evaluating reranking methods using wikipedia features

Kurakado, K., Oishi, T., Hasegawa, R., Fujita, H. & Koshimura, M., Jul 14 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 376-381 6 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Hybrid Particle Swarm Optimization with parameter selection approaches to solve Flow Shop Scheduling Problem

Zhang, X. F., An, X., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 1 2011, Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011. p. 13-19 7 p. 6169128. (Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Trendspotter detection system for twitter

Shirakihara, W., Oishi, T., Hasegawa, R., Hujita, H. & Koshimura, M., Jul 14 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. p. 625-628 4 p. (ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

Related word extraction algorithm for query expansion - An evaluation

Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Nov 4 2010, Advances in Practical Multi-Agent Systems. Bai, Q. (ed.). p. 33-48 16 p. (Studies in Computational Intelligence; vol. 325).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Related word extraction from wikipedia for web retrieval assistance

Hori, K., Oishi, T., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Sep 13 2010, ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings. p. 192-199 8 p. (ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, Proceedings; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Rule extraction from blog using Inductive logic Programming

Chikara, N., Koshimura, M., Fujita, H. & Hasegawa, R., Dec 13 2010, Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010. p. 269-272 4 p. 5615040. (Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2008

A method for query expansion using the related word extraction algorithm

Oishi, T., Kuramoto, S., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. p. 41-44 4 p. 4740723. (Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Personalized search using ODP-based user profiles created from user bookmark

Oishi, T., Kambara, Y., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2008, PRICAI 2008: Trends in Artificial Intelligence - 10th Pacific Rim International Conference on Artificial Intelligence, Proceedings. p. 839-848 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5351 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)
2007

User-schedule-based Web page recommendation

Oishi, T., Kuramoto, S., Nagata, H., Mine, T., Hasegawa, R., Fujita, H. & Koshimura, M., Dec 1 2007, Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007. p. 776-779 4 p. 4427188. (Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2005

Abstract model generation for preprocessing clause sets

Koshimura, M., Umeda, M. & Hasegawa, R., Jan 1 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, p. 67-78 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3452 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2001

Model generation with Boolean Constraints

Koshimura, M., Fujita, H. & Hasegawa, R., Jan 1 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Voronkov, A. & Nieuwenhuis, R. (eds.). Springer Verlag, p. 299-308 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2000

Effcient minimal model generation using branching lemmas

Hasegawa, R., Fujita, H. & Koshimura, M., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 184-199 16 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Minimal model generation with factorization and constrained search

Koshimura, M., Kita, M. & Hasegawa, R., 2000, PRICAI 2000, Topics in Artificial Intelligence - 6th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Mizoguchi, R. & Slaney, J. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1886).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proof simplification for model generation and its applications

Koshimura, M. & Hasegawa, R., Jan 1 2000, Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings. Voronkov, A. & Parigot, M. (eds.). Springer Verlag, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1955).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
1997

MGTP: A model generation theorem prover-its advanced features and applications

Hasegawa, R., Fujita, H. & Koshimura, M., Jan 1 1997, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1997, Proceedings. Galmiche, D. (ed.). Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1227).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving

Hasegawa, R., Inoue, K., Ohta, Y. & Koshimura, M., 1997, Automated Deduction – CADE-14 - 14th International Conference on Automated Deduction, Proceedings. McCune, W. (ed.). Springer Verlag, p. 176-190 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1249).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)
1992

Embedding negation as failure into a model generation theorem prover

Inoue, K., Koshimura, M. & Hasegawa, R., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 400-415 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

46 Citations (Scopus)

MGTP: A parallel theorem prover based on lazy model generation

Hasegawa, R., Koshimura, M. & Fujita, H., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 776-780 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)