Nové techniky v kompilaci znalostí a aplikace

• Název práce v češtině: Nové techniky v kompilaci znalostí a aplikace
• Název v anglickém jazyce: New techniques in knowledge compilation and their application
• Klíčová slova: Kompilace znalostí|SAT
• Klíčová slova anglicky: Knowledge compilation|SAT
• Akademický rok vypsání: 2021/2022
• Typ práce: disertační práce
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: RNDr. Petr Kučera, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 08.02.2022
• Datum zadání: 08.02.2022
• Datum potvrzení stud. oddělením: 01.03.2022

Zásady pro vypracování

Výzkum nových přístupů ke kompilaci znalostí (knowledge compilation) s ohledem na možné aplikace.

Seznam odborné literatury

DARWICHE, Adnan; MARQUIS, Pierre. A knowledge compilation map. Journal of Artificial Intelligence Research, 2002, 17.1: 229-264.
Lagniez, J. M., & Marquis, P. (2017, August). An Improved Decision-DNNF Compiler. In IJCAI (Vol. 17, pp. 667-673).