TAG: rule-based_systems

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…
Mirella * 2003->2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: propos…
Mirella Mirella was a prototype design and implementation tool for the first version of the XTT method. See the Mirella website. Concept, design, implementati…
Regulus * 1999->2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-…
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0