Section : Resolution and Unification | SCP7079318 - KNOWLEDGE AND DATA MINING 2022-2023 | STEM

Macroarea STEM

Accueil Calendrier My Media

Résumé de section

- Sélectionner l’activité Resolution and unification (slides updated 22 May 2023 3pm)
  
  Resolution and unification (slides updated 22 May 2023 3pm) Fichier
- Sélectionner l’activité theorem proving in FOL (Slides)
  
  theorem proving in FOL (Slides) Fichier
- Sélectionner l’activité prover9 and maze4 slides
  
  prover9 and maze4 slides Fichier
- Sélectionner l’activité Resolution and Unification (lecture notes - only exercizes)
  
  Resolution and Unification (lecture notes - only exercizes) Fichier