add systems

_posts/2023-11-11-system-and-foundaional-slides.markdown

@@ -0,0 +1,12 @@
+---
+layout: post
+title:  "Adding slides on systems and logical foundations"
+date:   Sat 11 Nov 2023 13:21:43 AM CET
+categories: slides update
+---
+Just uploaded slides on the familiy of Potassco Systems and teh logic of here-and-there and equilibrium logic
+
+  [systems](https://github.com/potassco-asp-course/course/releases/download/v1.19.0/systems.pdf)
+  [workspace](/systems/)
+
+  [equilibrium logic](https://github.com/potassco-asp-course/course/releases/download/v1.18.0/ht.pdf)

index.md

@@ -173,3 +173,8 @@ The following slide deck and video playlist provide the last snapshot of the cur
 
  [slides](https://github.com/potassco-asp-course/course/releases/download/v1.13.2/hsolving.pdf)
  [workspace](/hsolving/)
+
+### Systems
+
+ [slides](https://github.com/potassco-asp-course/course/releases/download/v1.19.0/systems.pdf)
+ [workspace](/systems/)

systems.md

@@ -0,0 +1,17 @@
+---
+layout: page
+title: Potassco systems
+permalink: /systems/
+---
+### Lecture slides
+
+  [pdf](https://github.com/potassco-asp-course/course/releases/download/v1.19.0/systems.pdf)
+  [git](https://github.com/potassco-asp-course/systems)
+  [v.19.0](https://github.com/potassco-asp-course/course/releases/tag/v1.19.0)
+
+### Literature
+
+  * R. Kaminski, J. Romero, T. Schaub, and P Wanko (2023).
+	“How to build your own ASP-based system?!”.
+	In: Theory and Practice of Logic Programming 23.1, pp. 299-361.
+	[pdf](https://arxiv.org/abs/2008.06692)