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…
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0