Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Synthesis
2018/29/N/ST6/01646
Keywords
Descriptors
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
- ST6_11: Uczenie maszynowe, statystyczne przetwarzanie danych i zastosowanie w przetwarzaniu sygnałów
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Voivodeship: wielkopolskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
PRELUDIUM 15 – announced on 2018-03-15
- Amount awarded
- 88 340 PLN
- Project start date
- 2019-02-06
- Project end date
- 2023-02-05
- Project duration
- 48 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publication in academic press/journals (1)
-
Counterexample-Driven Genetic Programming for Symbolic Regression with Formal Constraints
- Authors:
- Iwo Błądek, Krzysztof Krawiec
- Academic press:
- IEEE Transactions on Evolutionary Computation (year: 2023, volume: 27, pages: 1327-1339), Publisher: IEEE Computational Intelligence Society
- Status:
- Published
- DOI:
- 10.1109/TEVC.2022.3205286 – link to the publication
Articles in post-conference publications (1)
-
Solving Symbolic Regression Problems with Formal Constraints
- Authors:
- Iwo Błądek, Krzysztof Krawiec
- Conference:
- The Genetic and Evolutionary Computation Conference (year: 2019, pages: 977-984), Publisher: ACM
- Date:
- conference 13-17.07.2019
- Status:
- Published