GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


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

Go back to → projects

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