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. 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
  2. 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
  3. 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
  4. 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
  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. 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
    DOI:
    brak - link to the publication
  7. 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
  8. 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
  1. 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
  2. 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
  3. 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
  4. 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
    DOI:
    link to the publication
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
    DOI:
    link to the publication
  10. 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
  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
    DOI:
    link to the publication
  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. 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
    DOI:
    link to the publication
  14. 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
  15. 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
  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. 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
  3. 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
  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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy