• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1992 …2020

Research activity per year

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

Search results

  • 2020

    A Simple yet Efficient MCSes Enumeration with SAT Oracles

    Koshimura, M. & Satoh, K., 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

  • CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem

    Zha, A., Gao, R., Chang, Q., Koshimura, M. & Noda, I., Nov 2020, Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020. Alamaniotis, M. & Pan, S. (eds.). IEEE Computer Society, p. 285-292 8 p. 9288178. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2020-November).

    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., 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

    2 Citations (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., 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., 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 9-17 9 p. 6735224. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

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

    21 Citations (Scopus)
  • SCSat: A soft constraint guided SAT solver

    Fujita, H., Koshimura, M. & Hasegawa, R., 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., 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

    4 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., 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., 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

    16 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

    5 Citations (Scopus)
  • Combining PSO and local search to solve scheduling problems

    Zhang, X. F., Koshimura, M., Fujita, H. & Hasegawa, R., 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., 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., 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., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (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., 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

    47 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

    8 Citations (Scopus)