25 Commits

Author	SHA1	Message	Date
NotXia	400dfd1e20	Fix cropped pdfs <noupdate>	2024-03-29 11:01:58 +01:00
NotXia	9622aab65a	Fix typo <noupdate>	2024-01-16 16:18:09 +01:00
NotXia	1677e272e9	Update compiled file name <noupdate>	2024-01-16 10:10:02 +01:00
NotXia	73fe58ed0b	Fix typos <noupdate>	2024-01-07 17:26:21 +01:00
NotXia	a7933cf3ba	Fix typos <noupdate>	2024-01-01 17:09:15 +01:00
NotXia	4b2f613e73	Move last update placeholder <noupdate>	2023-12-31 10:04:10 +01:00
NotXia	1479a99c47	Add FAIKR2 business process management	2023-12-24 13:48:13 +01:00
NotXia	650af7b2b2	Centralized URLs with macros	2023-12-22 21:47:35 +01:00
NotXia	acdd131463	Fix headers	2023-12-22 21:33:31 +01:00
NotXia	d66b9c6344	Changed references to other courses as imports	2023-12-22 21:23:44 +01:00
NotXia	adbdda0a09	Add FAIKR2 forward reasoning	2023-12-09 19:28:13 +01:00
NotXia	f24af7b16a	Add FAIKR2 probabilistic logic programming	2023-12-08 20:58:52 +01:00
NotXia	35f18b074f	"Eventually" is a false friend :(	2023-12-08 17:36:41 +01:00
NotXia	3142389fe4	Add FAIKR2 modal and temporal logics	2023-12-07 20:31:37 +01:00
NotXia	b155b69638	Add FAIKR2 meta-predicate and meta-interpreter	2023-12-05 20:41:40 +01:00
NotXia	a7731b88d4	Add FAIKR2 Prolog basics	2023-12-04 21:31:43 +01:00
NotXia	2bd1d90bc8	Add FAIRK2 time reasoning	2023-12-03 13:57:44 +01:00
NotXia	ec3d1752a8	Add FAIRK2 web reasoning	2023-12-02 21:10:28 +01:00
NotXia	cbc1019fec	Fix typo <noupdate>	2023-12-02 19:24:51 +01:00
NotXia	3763967104	Add FAIKR2 description logic	2023-11-26 16:43:21 +01:00
NotXia	2ef29c7cb0	Add FAIKR 2 semantic networks and frames	2023-11-24 11:14:58 +01:00
NotXia	62caefa927	Add FAIKR2 ontologies	2023-11-22 22:02:47 +01:00
NotXia	b612dd69c0	Fix broken symlinks	2023-11-17 11:39:59 +01:00
NotXia	dc59cd4494	Fix git wrong language	2023-11-17 11:28:48 +01:00
NotXia	0dff0b4d7f	Add FAIKR2 propositional and first order logic	2023-11-10 15:20:16 +01:00