====== Regulus ======
  * 1999->2001 - //[[http://regulus.ia.agh.edu.pl|Regulus]]// (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-based rule-based systems design methods

{{tag>completed_project formal_methods ai rule-based_systems prolog design}}


----

Go back to -> [[start|projects]]