GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:regulus

This is an old revision of the document!


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.1357298084.txt.gz · Last modified: 2013/01/04 11:14 by gjn

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki