GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:regulus

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
Next revisionBoth sides next revision
pub:projects:regulus [2009/07/29 12:10] – created adminpub:projects:regulus [2013/01/03 21:57] wta
Line 1: Line 1:
 +~~NOTOC~~
 ====== Regulus ====== ====== Regulus ======
   * 1999->2001 - //[[http://regulus.ia.agh.edu.pl|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   * 1999->2001 - //[[http://regulus.ia.agh.edu.pl|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
  
 {{tag>completed_project formal_methods ai rule-based_systems prolog design}} {{tag>completed_project formal_methods ai rule-based_systems prolog design}}
 +
 +
 +----
 +
 +Go back to -> [[start|projects]]
pub/projects/regulus.txt · Last modified: 2013/01/10 12:57 by 127.0.0.1

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki