Université de Liège

Informatique

Intelligence Artificielle

Knowledge representation

Learning agreement  

Documentation

References:
P. Gochet et P. Gribomont,
Logique, volume 3: Méthodes pour l'intelligence artificielle (chap. 10, 11 et 12),
Hermes, Paris, 2000.
The Art of Prolog 
PROLOG Programming for Artificial Intelligence  

Slides  General Resolution Method
MP4 files  01   02   03   04   05   06   07   08   09   10   11   12   13   14   15  
Four search trees
Cut, Sterling & Shapiro, p. 180
Homework 1, deadline 01-03-2021


Code:
Metainterpretation   Hexapion  


[Université de Liège]  [Faculté des Sciences Appliquées]  [Institut Montefiore]
[Informatique et intelligence artificielle] [Liste des cours]