Inläggsarkiv
Logga in till din kurswebb
Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Inlägg visas normalt under Nyhetsflödet ihop med andra saker som hänt, med senast först. Nedan ger en överblick per månad.
Hittar du inte ett inlägg här kan den tillhöra ej valda omgångar/grupper.
Augusti 2018
29 augusti 16.10
| Thomas Sjöland (Administratör)
| Hela världen får läsa
Hi I got a question concerning the extra slides I showed in lecture 1. I presented some background in the ...
Oktober 2017
11 oktober 10.47
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of lecture week 7 How to implement apply in Prolog. map_list as an example of "higher order ...
11 oktober 10.45
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of lecture week 6 DCG syntax (Definite clause grammar) to express context dependent grammars directly ...
02 oktober 09.50
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of lecture week 5 Negation with the NAF-rule (negation as failure). We defined the !-primitive (cut) ...
September 2017
19 september 20.45
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of the lecture week 4 Algorithms over trees and lists. A dictionary implementerad with a sorted ...
13 september 17.32
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of the lecture week 3 I presented the model theory for logic programs. Important concepts: Herbrand ...
08 september 20.56
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Post from the news feed on the course ID2213 logic programming
08 september 11.16
| Thomas Sjöland (Lärare)
| Hela världen får läsa
summary of lecture 2 : I presented the unification algorithm that handles the equality theory in logic ...
01 september 12.07
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Summary of lecture 1: - general info about the course, learning objectives, examination, project, textbook, ...
Juni 2015
09 juni 17.50
| Thomas Sjöland (Lärare)
| Hela världen får läsa
Still no schedule occurs. I plan to get the lectures synchronised with the course ID1213 so that they occur ...