From b6e04759c75c94886c84d0d108ec4edb23349c09 Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Wed, 11 Jan 2023 18:10:19 +0000 Subject: [PATCH] new biblio --- biblio/asp/Answer set programming and plan generation.pdf | Bin 0 -> 116000 bytes biblio/asp/Twelve Definitions of a Stable Model.pdf | Bin 0 -> 168272 bytes meetings.md | 5 +++++ zugzwang.code-workspace | 14 ++++++++++++++ 4 files changed, 19 insertions(+), 0 deletions(-) create mode 100644 biblio/asp/Answer set programming and plan generation.pdf create mode 100644 biblio/asp/Twelve Definitions of a Stable Model.pdf create mode 100644 zugzwang.code-workspace diff --git a/biblio/asp/Answer set programming and plan generation.pdf b/biblio/asp/Answer set programming and plan generation.pdf new file mode 100644 index 0000000..91a3f2b Binary files /dev/null and b/biblio/asp/Answer set programming and plan generation.pdf differ diff --git a/biblio/asp/Twelve Definitions of a Stable Model.pdf b/biblio/asp/Twelve Definitions of a Stable Model.pdf new file mode 100644 index 0000000..77eae82 Binary files /dev/null and b/biblio/asp/Twelve Definitions of a Stable Model.pdf differ diff --git a/meetings.md b/meetings.md index ff6e571..5e6aa03 100644 --- a/meetings.md +++ b/meetings.md @@ -1,5 +1,10 @@ ## Zugzwang Meetings +### 2023-01-10 | 15:00 + +- Paper +- Project +- Latent Facts ### 2022-12-12 diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace new file mode 100644 index 0000000..5ca62a0 --- /dev/null +++ b/zugzwang.code-workspace @@ -0,0 +1,14 @@ +{ + "folders": [ + { + "path": "." + }, + { + "path": "../../../ue/alunos/FilipePereira" + }, + { + "path": "../../../projects/contrib/dsd" + } + ], + "settings": {} +} \ No newline at end of file -- libgit2 0.21.2