notxia/unibo-ai-notes
1
0
Fork 0
mirror of https://github.com/NotXia/unibo-ai-notes.git synced 2025-12-17 03:41:51 +01:00
Code Issues Packages Projects Releases Wiki Activity

Centralized URLs with macros

Browse Source
This commit is contained in:
Tian Cheng (Riccardo) Xia
2023-12-22 21:47:35 +01:00
parent acdd131463
commit 650af7b2b2
4 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,6 +1,6 @@
\newpage
\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)}}}
\lohead{\color{gray} Chapter taken from \href{\gitLAAITwo}{\texttt{\color{gray}Languages and Algorithms for AI (module 2)}}}
\lehead{\color{gray} Chapter taken from \href{\gitLAAITwo}{\texttt{\color{gray}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}

2
src/fundamentals-of-ai-and-kr/module2/sections/_prolog.tex
View File

@ -2,7 +2,7 @@
It may be useful to first have a look at the "Logic programming" section of
\href{https://github.com/NotXia/unibo-ai-notes/tree/pdfs/languages-and-algorithms-for-ai/module2}{\texttt{Languages and Algorithms for AI (module 2)}}.
\href{\gitLAAITwo}{\texttt{Languages and Algorithms for AI (module 2)}}.
\section{Syntax}