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.1256933897.txt.gz · Last modified: 2009/10/30 20:18 by wtf

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki