Research Output per year
Research Output 1984 2019
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 proceeding › Conference 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 proceeding › Conference 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. 6735224Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution
Extrapolation
Costs