GEIST Research Group

We are GEIST. We dream big and work hard.

pub:projects:regulus

Regulus

1999→2001 - 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

completed project, formal methods, ai, rule-based systems, prolog, design

Go back to → projects

pub/projects/regulus.txt · Last modified: 2013/01/10 13:57 (external edit)