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

Macroarea STEM

Home Calendar Unipd Educational Offer Timetables Uniweb Webmail My Media

Section outline

- Select activity Resolution and unification (slides updated 22 May 2023 3pm)
  
  Resolution and unification (slides updated 22 May 2023 3pm) File
- Select activity theorem proving in FOL (Slides)
  
  theorem proving in FOL (Slides) File
- Select activity prover9 and maze4 slides
  
  prover9 and maze4 slides File
- Select activity Resolution and Unification (lecture notes - only exercizes)
  
  Resolution and Unification (lecture notes - only exercizes) File