Page personnelle

Dieguez Lodeiro Martín

Post-Doc – Lab-STICC

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

Mots-clés :

  • Answer Set Programming
  • Modal Logic
  • Logic Programming

Modifier vos informations