Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Scalable metaheuristics for automated program synthesis

2014/15/B/ST6/05205

Keywords:

program synthesis genetic programming evolutionary computation metaheuristic algorithms

Descriptors:

  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Politechnika Poznańska, Wydział Informatyki

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Krzysztof Krawiec 

Number of co-investigators in the project: 4

Call: OPUS 8 - announced on 2014-09-15

Amount awarded: 380 652 PLN

Project start date (Y-m-d): 2015-07-24

Project end date (Y-m-d): 2018-12-23

Project duration:: 41 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (8)
  • Articles in post-conference publications (15)
  • Book publications / chapters in book publications (4)
  1. Learning to Play Othello with Deep Neural Networks
    Authors:
    Paweł Liskowski, Wojciech M. Jaśkowski, Krzysztof Krawiec
    Academic press:
    IEEE Transactions on Games (rok: 2018, tom: 10, strony: 354-364), Wydawca: IEEE Press
    Status:
    Published
    DOI:
    10.1109/TG.2018.2799997 - link to the publication
  2. Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis
    Authors:
    Tomasz Pawlak, Krzysztof Krawiec
    Academic press:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 177-212), Wydawca: MIT Press
    Status:
    Published
    DOI:
    10.1162/EVCO_a_00205 - link to the publication
  3. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications
    Authors:
    Iwo Błądek, Krzysztof Krawiec, Jerry Swan
    Academic press:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 441-469), Wydawca: MIT Press
    Status:
    Published
    DOI:
    10.1162/evco_a_00228 - link to the publication
  4. Exploring Complex and Big Data
    Authors:
    Jerzy Stefanowski, Krzysztof Krawiec, Robert Wrembel
    Academic press:
    International Journal of Applied Mathematics and Computer Science (rok: 2017, tom: 27, strony: 669-679), Wydawca: University Zielona Gora Press
    Status:
    Published
    DOI:
    10.1515/amcs-2017-0046 - link to the publication
  5. Adaptive Test Selection for Factorization-based Surrogate Fitness in Genetic Programming
    Authors:
    Krzysztof Krawiec, Paweł Liskowski
    Academic press:
    Foundations of Computing and Decision Sciences (rok: 2017, tom: 42, strony: 339-358), Wydawca: De Gruyter Open
    Status:
    Published
    DOI:
    10.1515/fcds-2017-0017 - link to the publication
  6. Synthesis of Constraints for Mathematical Programming with One-Class Genetic Programming
    Authors:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Academic press:
    IEEE Transactions on Evolutionary Computation (rok: 2019, tom: 23, strony: 117-129), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/tevc.2018.2835565 - link to the publication
  7. Automatic Synthesis of Constraints from Examples using Mixed Integer Linear Programming
    Authors:
    Tomasz Pawlak, Krzysztof Krawiec
    Academic press:
    European Journal of Operational Research (rok: 2017, tom: 261, strony: 1141-1157), Wydawca: Elsevier
    Status:
    Published
  8. Online Discovery of Search Objectives for Test-based Problems
    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Academic press:
    Evolutionary Computation (rok: 2017, tom: 25, strony: 375-406), Wydawca: MIT Press
    Status:
    Published
    DOI:
    10.1162/EVCO_a_00179 - link to the publication
  1. Counterexample-Driven Genetic Programming
    Authors:
    Krzysztof Krawiec, Iwo Błądek, Jerry Swan
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Published
  2. Evolutionary Program Sketching
    Authors:
    Iwo Błądek, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Published
  3. Neuro-guided Genetic Programming: Prioritizing Evolutionary Search with Neural Networks
    Authors:
    Paweł Liskowski, Iwo Błądek, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Published
  4. PSXO – Population-Wide Semantic Crossover
    Authors:
    Leonardo Vanneschi, Luca Manzoni, Krzysztof Krawiec, Alberto Moraglio, Sara Silva, Ivo Goncalves
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Published
  5. Synthesis of Mathematical Programming Constraints with Genetic Programming
    Authors:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Published
  6. Discovery of Search Objectives in Continuous Domains
    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Published
  7. Non-negative Matrix Factorization for Unsupervised Derivation of Search Objectives in Genetic Programming
    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Published
  8. Semantic Geometric Initialization
    Authors:
    Tomasz Pawlak, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, ), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.04.2016-1.04.2016
    Status:
    Published
  9. Surrogate Fitness via Factorization of Interaction Matrix
    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, ), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.03.2016-1.04.2016
    Status:
    Published
  10. Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs
    Authors:
    Krzysztof Krawiec and Iwo Błądek and Jerry Swan and John H. Drake
    Conference:
    International Joint Conference on Artificial Intelligence (IJCAI) (rok: 2018, ), Wydawca: International Joint Conferences on Artificial Intelligence Organization
    Data:
    konferencja 13-19.07.2018
    Status:
    Published
  11. Geometric Semantic Genetic Programming for Recursive Boolean Programs
    Authors:
    Alberto Moraglio, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Published
  12. Neural Estimation of Interaction Outcomes
    Authors:
    Paweł Liskowski, Bartosz Wieloch, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Published
  13. Polytypic Genetic Programming
    Authors:
    Jerry Swan, Krzysztof Krawiec, Neil Ghani
    Conference:
    EvoApplications (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Published
  14. Online Discovery of Search Objectives for Test-based Problems
    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Published
  15. Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding
    Authors:
    Iwo Błądek, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Published
  1. Behavioral Program Synthesis with Genetic Programming
    Authors:
    Krzysztof Krawiec
    Book:
    Behavioral Program Synthesis with Genetic Programming (rok: 2016, tom: 1, strony: 1-193), Wydawca: Springer
    Status:
    Published
  2. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures
    Authors:
    Krzysztof Krawiec, Christopher Simons, Jerry Swan, John Woodward
    Book:
    Handbook of Research on Emergent Applications of Optimization Algorithms (rok: 2017, tom: 1, strony: 13150), Wydawca: IGI Global
    Status:
    Published
  3. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning
    Authors:
    Jerry Swan, Krzysztof Krawiec
    Book:
    Genetic Programming Theory and Practice (rok: 2018, tom: XIV, strony: 149-164), Wydawca: Springer International Publishing
    Status:
    Published
  4. Behavioral Program Synthesis: Insights and Prospects
    Authors:
    Krzysztof Krawiec, Jerry Swan, and Una-May O'Reilly
    Book:
    Genetic Programming Theory and Practice (rok: 2016, tom: XIII, strony: 169-185), Wydawca: Springer International Publishing
    Status:
    Published