GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:regulus

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
pub:projects:regulus [2013/01/03 22:57]
wta
pub:projects:regulus [2013/01/10 13:57] (current)
Line 1: Line 1:
-~~NOTOC~~ 
 ====== Regulus ====== ====== 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   * 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
pub/projects/regulus.txt ยท Last modified: 2013/01/10 13:57 (external edit)