Zmiana języka

Projects search

Scalable metaheuristics for automated program synthesis

2014/15/B/ST6/05205

Keywords

Descriptors

  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel

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

Host institution

Politechnika Poznańska, Wydział Informatyki

Voivodeship: 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
2015-07-24
Project end date
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)

  1. Exploring Complex and Big Data

    Authors:
    Jerzy Stefanowski, Krzysztof Krawiec, Robert Wrembel
    Academic press:
    International Journal of Applied Mathematics and Computer Science (year: 2017, volume: 27, pages: 669-679), Publisher: University Zielona Gora Press
    Status:
    Published
    DOI:
    10.1515/amcs-2017-0046 – link to the publication

  2. Adaptive Test Selection for Factorization-based Surrogate Fitness in Genetic Programming

    Authors:
    Krzysztof Krawiec, Paweł Liskowski
    Academic press:
    Foundations of Computing and Decision Sciences (year: 2017, volume: 42, pages: 339-358), Publisher: De Gruyter Open
    Status:
    Published
    DOI:
    10.1515/fcds-2017-0017 – link to the publication

  3. Synthesis of Constraints for Mathematical Programming with One-Class Genetic Programming

    Authors:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Academic press:
    IEEE Transactions on Evolutionary Computation (year: 2019, volume: 23, pages: 117-129), Publisher: IEEE
    Status:
    Published
    DOI:
    10.1109/tevc.2018.2835565 – link to the publication

  4. Learning to Play Othello with Deep Neural Networks

    Authors:
    Paweł Liskowski, Wojciech M. Jaśkowski, Krzysztof Krawiec
    Academic press:
    IEEE Transactions on Games (year: 2018, volume: 10, pages: 354-364), Publisher: IEEE Press
    Status:
    Published
    DOI:
    10.1109/TG.2018.2799997 – link to the publication

  5. Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis

    Authors:
    Tomasz Pawlak, Krzysztof Krawiec
    Academic press:
    Evolutionary Computation (year: 2018, volume: 26, pages: 177-212), Publisher: MIT Press
    Status:
    Published
    DOI:
    10.1162/EVCO_a_00205 – 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 (year: 2017, volume: 261, pages: 1141-1157), Publisher: Elsevier
    Status:
    Published

  7. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications

    Authors:
    Iwo Błądek, Krzysztof Krawiec, Jerry Swan
    Academic press:
    Evolutionary Computation (year: 2018, volume: 26, pages: 441-469), Publisher: MIT Press
    Status:
    Published
    DOI:
    10.1162/evco_a_00228 – link to the publication

  8. Online Discovery of Search Objectives for Test-based Problems

    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Academic press:
    Evolutionary Computation (year: 2017, volume: 25, pages: 375-406), Publisher: MIT Press
    Status:
    Published
    DOI:
    10.1162/EVCO_a_00179 – link to the publication

Articles in post-conference publications (15)

  1. Geometric Semantic Genetic Programming for Recursive Boolean Programs

    Authors:
    Alberto Moraglio, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2017, pages: 993-1000), Publisher: ACM
    Date:
    conference 15-19.07
    Status:
    Published
    DOI:
    link to the publication

  2. Synthesis of Mathematical Programming Constraints with Genetic Programming

    Authors:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (year: 2017, pages: 178-193), Publisher: Springer International Publishing
    Date:
    conference 19-21.04
    Status:
    Published

  3. Online Discovery of Search Objectives for Test-based Problems

    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2016, pages: 163-164), Publisher: Association for Computing Machinery
    Date:
    conference 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) (year: 2017, pages: 953-960), Publisher: ACM
    Date:
    conference 15-19.07
    Status:
    Published
    DOI:
    link to the publication

  5. Discovery of Search Objectives in Continuous Domains

    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2017, pages: 969-976), Publisher: ACM
    Date:
    conference 15-19.07
    Status:
    Published
    DOI:
    link to the publication

  6. 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) (year: 2017, pages: 257-258), Publisher: ACM
    Date:
    conference 15-19.07
    Status:
    Published
    DOI:
    link to the publication

  7. 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) (year: 2018, pages: 1143-1150), Publisher: ACM
    Date:
    conference 15-19.07.2018
    Status:
    Published

  8. 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) (year: 2018, pages: 5304-5308), Publisher: International Joint Conferences on Artificial Intelligence Organization
    Date:
    conference 13-19.07.2018
    Status:
    Published

  9. 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) (year: 2016, pages: 749-756), Publisher: Association for Computing Machinery
    Date:
    conference 20-24.07.2016
    Status:
    Published

  10. Semantic Geometric Initialization

    Authors:
    Tomasz Pawlak, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (year: 2016, pages: 261-277), Publisher: Springer International Publishing Switzerland
    Date:
    conference 30.04.2016-1.04.2016
    Status:
    Published

  11. Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding

    Authors:
    Iwo Błądek, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2016, pages: 97-98), Publisher: Association for Computing Machinery
    Date:
    conference 20-24.07.2016
    Status:
    Published

  12. Surrogate Fitness via Factorization of Interaction Matrix

    Authors:
    Paweł Liskowski, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (year: 2016, pages: 68-82), Publisher: Springer International Publishing Switzerland
    Date:
    conference 30.03.2016-1.04.2016
    Status:
    Published

  13. Polytypic Genetic Programming

    Authors:
    Jerry Swan, Krzysztof Krawiec, Neil Ghani
    Conference:
    EvoApplications (year: 2017, pages: 66-81), Publisher: Springer International Publishing
    Date:
    conference 19-21.04
    Status:
    Published

  14. Neural Estimation of Interaction Outcomes

    Authors:
    Paweł Liskowski, Bartosz Wieloch, Krzysztof Krawiec
    Conference:
    Genetic and Evolutionary Computation Conference (GECCO) (year: 2018, pages: 1055-1062), Publisher: ACM
    Date:
    conference 15-19.07.2018
    Status:
    Published

  15. Evolutionary Program Sketching

    Authors:
    Iwo Błądek, Krzysztof Krawiec
    Conference:
    European Conference on Genetic Programming (EuroGP) (year: 2017, pages: 46038), Publisher: Springer International Publishing
    Date:
    conference 19-21.04
    Status:
    Published

Book publications / chapters in book publications (4)

  1. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Authors:
    Jerry Swan, Krzysztof Krawiec
    Book:
    Genetic Programming Theory and Practice (year: 2018, volume: XIV, pages: 149-164), Publisher: Springer International Publishing
    Status:
    Published

  2. Behavioral Program Synthesis: Insights and Prospects

    Authors:
    Krzysztof Krawiec, Jerry Swan, and Una-May O'Reilly
    Book:
    Genetic Programming Theory and Practice (year: 2016, volume: XIII, pages: 169-185), Publisher: Springer International Publishing
    Status:
    Published

  3. Behavioral Program Synthesis with Genetic Programming

    Authors:
    Krzysztof Krawiec
    Book:
    Behavioral Program Synthesis with Genetic Programming (year: 2016, volume: 1, pages: 1-193), Publisher: Springer
    Status:
    Published

  4. 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 (year: 2017, volume: 1, pages: 13150), Publisher: IGI Global
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski