Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatycznej syntezy programów
2018/29/N/ST6/01646
Słowa kluczowe
Deskryptory
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
- ST6_11: Uczenie maszynowe, statystyczne przetwarzanie danych i zastosowanie w przetwarzaniu sygnałów
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
woj. wielkopolskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 15 – ogłoszony 2018-03-15
- Przyznana kwota
- 88 340 PLN
- Rozpoczęcie projektu
- 2019-02-06
- Zakończenie projektu
- 2023-02-05
- Planowany czas trwania projektu
- 48 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (1)
-
Counterexample-Driven Genetic Programming for Symbolic Regression with Formal Constraints
- Autorzy:
- Iwo Błądek, Krzysztof Krawiec
- Czasopismo:
- IEEE Transactions on Evolutionary Computation (rok: 2023, tom: 27, strony: 1327-1339), Wydawca: IEEE Computational Intelligence Society
- Status:
- Opublikowana
- DOI:
- 10.1109/TEVC.2022.3205286 – link do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Solving Symbolic Regression Problems with Formal Constraints
- Autorzy:
- Iwo Błądek, Krzysztof Krawiec
- Konferencja:
- The Genetic and Evolutionary Computation Conference (rok: 2019, strony: 977-984), Wydawca: ACM
- Data:
- konferencja 13-17.07.2019
- Status:
- Opublikowana