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