TAG: ai
Adder * 2005->2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based syst… | |
Regulus * 1999->2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-… | |
VARDA Description A Prolog-based editor prototype for the ARD+ method developed within the HeKatE project. See the VARDA website. Concept, requirements, des… |