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
pub/projects/regulus.1248869423.txt.gz · Last modified: 2009/07/29 12:10 by admin