@1 Grounding v predikátové logice se dost podstatně liší od groundingu v ASP. Spousta optimalizací formulaci problému ve výrokové logice redukuje při zachování sémantiky. Vždy lze vymyslet nějaký teoretický worst case, nicméně u praktických problémů k explozi většinou nedochází. Stěžejní je, jako u všeho, vytipovat takovou množinu problémů, které ASP řeší rychle. Většinou jde o exponenciální problémy, jako třeba plánování, NP-úplné algoritmy v grafech apod.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 35 692×
Přečteno 24 908×
Přečteno 23 397×
Přečteno 19 864×
Přečteno 17 176×