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

Research Output 1984 2019

  • 187 Citations
  • 8 h-Index
  • 34 Article
  • 28 Conference contribution
  • 2 Paper
  • 1 Conference article
Filter
Conference contribution
2018
1 Citation (Scopus)

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

Computational complexity
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

2013
13 Citations (Scopus)

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

Sorting
Adders

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

Soft Constraints
Ramsey number
Model
Search Space
Lower bound
2 Citations (Scopus)

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

Data storage equipment
Ground state
Recovery
Side channel attack
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

Search engines
Websites

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

Particle swarm optimization (PSO)
Scheduling
Tabu search
Simulated annealing
Markov processes

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

Inductive logic programming (ILP)
Blogs
Recommender systems
9 Citations (Scopus)

Solving the coalition structure generation problem with MaxSAT

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

2011
3 Citations (Scopus)

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

Job Shop Scheduling Problem
Hybrid Optimization
Tabu Search
Simulated Annealing
Particle swarm optimization (PSO)
3 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

Particle swarm optimization (PSO)
Local Search
Particle Swarm Optimization
Scheduling Problem
Scheduling
1 Citation (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

Search engines
World Wide Web
Websites

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

Particle swarm optimization (PSO)
Scheduling
Tabu search
Simulated annealing
Cooling

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

Search engines
2010
1 Citation (Scopus)

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

Search engines
Feedback
Experiments
2 Citations (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

Knowledge acquisition
Websites
1 Citation (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

Inductive logic programming (ILP)
Blogs
Recommender systems
2008
1 Citation (Scopus)

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

Search engines
Experiments
5 Citations (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

User Profile
Internet
Enhancement
Experimental Results
2007
3 Citations (Scopus)

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

Search engines
Websites
World Wide Web
Experiments
2001
1 Citation (Scopus)

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

Logic programming
Competition System
Constraint Logic Programming
Model
Lemma
2000
12 Citations (Scopus)

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. Springer Verlag, Vol. 1831. p. 184-199 16 p.

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

Minimal Model
Branching
Lemma
Minimality
Speedup
1997
7 Citations (Scopus)

A new design and implementation of progol by bottom-up computation

Fujita, H., Yagi, N., Ozaki, T. & Furukawa, K., Jan 1 1997, Inductive Logic Programming - 6th International Workshop, ILP-1996, Selected Papers. Muggleton, S. (ed.). Springer Verlag, p. 163-174 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1314).

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

Bottom-up
Parallel Implementation
Efficient Implementation
Prolog
Heuristics
8 Citations (Scopus)

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

Proof Search
Theorem
Constraint satisfaction problems
Computer systems programming
Folding
1992
9 Citations (Scopus)

MGTP: A parallel theorem prover based on lazy model generation

Hasegawa, R., Koshimura, M. & Fujita, H., Jan 1 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Springer Verlag, Vol. 607 LNAI. 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

Theorem
Atoms
Model
Explosions
Explosion
1986
1 Citation (Scopus)

ARGUS/V: A SYSTEM FOR VERIFICATION OF PROLOG PROGRAMS.

Kanamori, T., Fujita, H., Seki, H., Horiuchi, K. & Maeji, M., Dec 1 1986, Unknown Host Publication Title. Stone, H. S. (ed.). IEEE, p. 994-999 6 p.

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

Specifications
Logic programming
Testing
12 Citations (Scopus)

Formulation of induction formulas in verification of prolog programs

Kanamori, T. & Fujita, H., Jan 1 1986, 8th International Conference on Automated Deduction - Proceedings. Siekmann, J. H. (ed.). Springer Verlag, p. 281-299 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 230 LNCS).

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

Prolog
Proof by induction
LISP (programming language)
Formulation
Semantics
1984
1 Citation (Scopus)

VLSI DESIGN USING LAYOUT-PATTERN EXTRAPOLATION.

Seo, K. & Fujita, H., Dec 1 1984, Unknown Host Publication Title. IEEE, p. 826-830 5 p.

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

Extrapolation
Costs