From 1980bbb89242a5cc147c1c9084683ff2fbde79c4 Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Wed, 3 Apr 2024 09:49:12 +0100 Subject: [PATCH] Deleted PEX extra files --- code/asp/cozman_01.lp | 3 +++ pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf | Bin 90034 -> 0 bytes pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf | Bin 108855 -> 0 bytes pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf | Bin 590342 -> 0 bytes pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf | Bin 646951 -> 0 bytes pex2024/2024-02-28_pm-2023.15110.PEX.pdf | Bin 148795 -> 0 bytes pex2024/2024-02-29_1--2023.15110.PEX.pdf | Bin 134919 -> 0 bytes pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf | Bin 147233 -> 0 bytes pex2024/2024-02-29_2--2023.15110.PEX.pdf | Bin 144972 -> 0 bytes pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means | Bin 148795 -> 0 bytes text/kr24 | 2 +- 11 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 code/asp/cozman_01.lp delete mode 100644 pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf delete mode 100644 pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf delete mode 100644 pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf delete mode 100644 pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf delete mode 100644 pex2024/2024-02-28_pm-2023.15110.PEX.pdf delete mode 100644 pex2024/2024-02-29_1--2023.15110.PEX.pdf delete mode 100644 pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf delete mode 100644 pex2024/2024-02-29_2--2023.15110.PEX.pdf delete mode 100644 pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means diff --git a/code/asp/cozman_01.lp b/code/asp/cozman_01.lp new file mode 100644 index 0000000..f73e311 --- /dev/null +++ b/code/asp/cozman_01.lp @@ -0,0 +1,3 @@ +a ; -a. +s :- not w, -a. +w :- not s. \ No newline at end of file diff --git a/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf deleted file mode 100644 index e2fd737..0000000 Binary files a/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ diff --git a/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf deleted file mode 100644 index 6e14e03..0000000 Binary files a/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ diff --git a/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf deleted file mode 100644 index 5c6bbd4..0000000 Binary files a/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ diff --git a/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf deleted file mode 100644 index 433db41..0000000 Binary files a/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ diff --git a/pex2024/2024-02-28_pm-2023.15110.PEX.pdf b/pex2024/2024-02-28_pm-2023.15110.PEX.pdf deleted file mode 100644 index 37f3919..0000000 Binary files a/pex2024/2024-02-28_pm-2023.15110.PEX.pdf and /dev/null differ diff --git a/pex2024/2024-02-29_1--2023.15110.PEX.pdf b/pex2024/2024-02-29_1--2023.15110.PEX.pdf deleted file mode 100644 index d9e2904..0000000 Binary files a/pex2024/2024-02-29_1--2023.15110.PEX.pdf and /dev/null differ diff --git a/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf b/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf deleted file mode 100644 index 43097ac..0000000 Binary files a/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf and /dev/null differ diff --git a/pex2024/2024-02-29_2--2023.15110.PEX.pdf b/pex2024/2024-02-29_2--2023.15110.PEX.pdf deleted file mode 100644 index 235555a..0000000 Binary files a/pex2024/2024-02-29_2--2023.15110.PEX.pdf and /dev/null differ diff --git a/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means b/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means deleted file mode 100644 index f4e6a9d..0000000 Binary files a/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means and /dev/null differ diff --git a/text/kr24 b/text/kr24 index 8e89a55..f00aad8 160000 --- a/text/kr24 +++ b/text/kr24 @@ -1 +1 @@ -Subproject commit 8e89a55d415ff3d35e20a0b1c9cdd569cc067d0a +Subproject commit f00aad856e453c4f9059046a34a23bf5874f2256 -- libgit2 0.21.2