Arlo interesgarriak
-
Sistema logikoak eta informatikan duten aplikazioa
-
Arrazoibide automatikoa
-
Logika deskribatzaileak
-
Domeinu espezifikoetarako ontologiak sortzea
-
Programazio logikoa
-
Ikaskuntza automatikoa
-
Programen espezifikazio, transformazio, eta egiaztatpena
-
Baterakuntza