notxia/unibo-ai-notes
1
0
Fork 0
mirror of https://github.com/NotXia/unibo-ai-notes.git synced 2025-12-15 02:52:22 +01:00
Code Issues Packages Projects Releases Wiki Activity

Changed references to other courses as imports

Browse Source
This commit is contained in:
Tian Cheng (Riccardo) Xia
2023-12-22 21:23:44 +01:00
parent 1d56ef172f
commit d66b9c6344
2 changed files with 19 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/fundamentals-of-ai-and-kr/module2/sections/_logic.tex
View File

@ -1,3 +1,11 @@
\chapter{Propositional and first order logic} \lohead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
\lehead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
See \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{Languages and Algorithms for AI (module 2)}}. \graphicspath{{../../languages-and-algorithms-for-ai/module2/}}
\input{../../languages-and-algorithms-for-ai/module2/sections/_propositional_logic.tex}
\input{../../languages-and-algorithms-for-ai/module2/sections/_first_order_logic.tex}
\graphicspath{}
\newpage
\lohead{}
\lehead{}

11
src/languages-and-algorithms-for-ai/module2/sections/_prolog.tex
View File

@ -1,3 +1,10 @@
\chapter{Prolog} \lohead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{\color{gray}Fundamentals of AI and KR (module 2)}}}
\lehead{\color{gray} Chapter taken from \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{\color{gray}Fundamentals of AI and KR (module 2)}}}
See \href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/fundamentals-of-ai-and-kr/module2}{\texttt{Fundamentals of AI and KR (module 2)}}. \graphicspath{{../../fundamentals-of-ai-and-kr/module2/}}
\input{../../fundamentals-of-ai-and-kr/module2/sections/_prolog.tex}
\graphicspath{}
\newpage
\lohead{}
\lehead{}