Differences

This shows you the differences between two versions of the page.

--- pub:projects:regulus [2009/07/29 12:10] – created admin
+++ pub:projects:regulus [2013/01/04 11:14] – removed gjn
@@ Line 1: / Line 1: @@
-====== 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}}