@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 34 140×
Přečteno 22 420×
Přečteno 22 249×
Přečteno 18 894×
Přečteno 15 986×