GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools



  • 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 12:57 (external edit)