https://kittykg.github.io/posts/2025/04/semi-symbolic-min-proof 2025-04-23T00:00:00+00:00 https://kittykg.github.io/project/guitar-amateur 2018-05-01T00:00:00+00:00 https://kittykg.github.io/project/speedboards 2019-01-26T00:00:00+00:00 https://kittykg.github.io/project/tea 2019-05-22T00:00:00+00:00 https://kittykg.github.io/project/drone-playground 2019-05-22T00:00:00+00:00 https://kittykg.github.io/project/tamagucci 2020-02-08T00:00:00+00:00 https://kittykg.github.io/project/hacr 2021-06-30T00:00:00+00:00 https://kittykg.github.io/publication/neuro-symbolic-rule-learning-in-real-world-classification-tasks 2023-03-27T00:00:00+00:00 https://kittykg.github.io/publication/neural-dnf-mt-for-learning-interpretable-editable-policies 2025-05-19T00:00:00+00:00 https://kittykg.github.io/publication/disentangling-ndnf-models 2025-09-08T00:00:00+00:00 https://kittykg.github.io/teaching/21-22-logic 2021-11-13T00:00:00+00:00 https://kittykg.github.io/teaching/21-22-prolog 2022-02-01T00:00:00+00:00 https://kittykg.github.io/teaching/22-23-prolog 2023-02-01T00:00:00+00:00 https://kittykg.github.io/teaching/23-24-dsa 2023-09-04T00:00:00+00:00 https://kittykg.github.io/teaching/24-25-dsa 2024-09-02T00:00:00+00:00 https://kittykg.github.io/ https://kittykg.github.io/archive-layout-with-content/ https://kittykg.github.io/categories/ https://kittykg.github.io/collection-archive/ https://kittykg.github.io/cv/ https://kittykg.github.io/hobbies/ https://kittykg.github.io/markdown/ https://kittykg.github.io/non-menu-page/ https://kittykg.github.io/page-archive/ https://kittykg.github.io/portfolio/ https://kittykg.github.io/projects/ https://kittykg.github.io/publications/ https://kittykg.github.io/sitemap/ https://kittykg.github.io/tags/ https://kittykg.github.io/talkmap.html https://kittykg.github.io/talks/ https://kittykg.github.io/teaching/ https://kittykg.github.io/terms/ https://kittykg.github.io/year-archive/ https://kittykg.github.io/markdown_generator/ https://kittykg.github.io/files/cv.pdf 2025-07-29T10:30:25+00:00 https://kittykg.github.io/files/semi-symbolic-min-proof.pdf 2025-07-29T10:30:25+00:00 https://kittykg.github.io/talkmap/map.html 2025-07-29T10:30:25+00:00