Nové techniky v kompilaci znalostí a aplikace

• Thesis title in Czech: Nové techniky v kompilaci znalostí a aplikace
• Thesis title in English: New techniques in knowledge compilation and their application
• Key words: Kompilace znalostí|SAT
• English key words: Knowledge compilation|SAT
• Academic year of topic announcement: 2021/2022
• Thesis type: dissertation
• Department: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Supervisor: RNDr. Petr Kučera, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 08.02.2022
• Date of assignment: 08.02.2022
• Confirmed by Study dept. on: 01.03.2022

Guidelines

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

References

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).