pub:projects:start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
pub:projects:start [2013/01/04 11:14] – new outline gjn | pub:projects:start [2022/03/17 08:17] – [XPM] sbk | ||
---|---|---|---|
Line 5: | Line 5: | ||
===== Current projects ===== | ===== Current projects ===== | ||
- | * [[Prosecco]] | + | ==== XPM ==== |
- | | + | [[.hulcka: |
- | | + | |
- | | + | |
+ | ==== XPM ==== | ||
+ | [[.xpm: | ||
+ | |||
+ | ==== PACMEL ==== | ||
+ | [[.pacmel: | ||
===== Completed projects ===== | ===== Completed projects ===== | ||
- | * [[Parnas]], see [[http:// | + | ==== KnowMe ==== |
- | | + | {{: |
- | * [[HeKatE]], see [[http:// | + | [[.knowme:start|Read more on KnowMe]] |
+ | which is a 20 months long NCN Preludium 7 project started in 2015-01. | ||
+ | The goal of the project | ||
- | ===== Past projects ===== | + | See [[http:// |
+ | |||
+ | ==== Prosecco | ||
+ | |||
+ | {{: | ||
+ | [[.prosecco: | ||
+ | which is a 32 months long NCBR PBS project started in 2012-12. | ||
+ | The goal of the project is to address the needs and constraints of small and medium enterprises (SME) by designing methods that will significantly improve their Business Process Management systems. | ||
+ | |||
+ | See [[http:// | ||
+ | |||
+ | ==== SaMURaI ==== | ||
+ | |||
+ | {{pub: | ||
+ | [[.samurai: | ||
+ | which is a 24 months long NCN project started in 2012-09. | ||
+ | The main objective of the project is | ||
+ | the development of a | ||
+ | //Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems// | ||
+ | |||
+ | ==== HiBuProBuRul ==== | ||
+ | |||
+ | {{: | ||
+ | [[.hibuproburul: | ||
+ | which is a 24 months long NCN project started in 2012-09. | ||
+ | The main objective of the project is | ||
+ | the development of a | ||
+ | // | ||
+ | |||
+ | ==== INDECT ==== | ||
+ | |||
+ | {{: | ||
+ | [[.indect: | ||
+ | which is a large EU collaboration project coordinated by [[http:// | ||
+ | The aim of the project is the development of an | ||
+ | intelligent information system supporting observation, | ||
+ | |||
+ | See [[http:// | ||
+ | |||
+ | |||
+ | ==== Parnas ==== | ||
+ | |||
+ | {{: | ||
+ | **[[.: | ||
+ | |||
+ | See [[http:// | ||
+ | |||
+ | ==== BIMLOQ ==== | ||
+ | |||
+ | {{: | ||
+ | **[[.bimloq: | ||
+ | |||
+ | See [[http:// | ||
+ | |||
+ | ==== HeKatE ==== | ||
+ | |||
+ | {{: | ||
+ | **[[.hekate: | ||
+ | |||
+ | See [[http:// | ||
+ | |||
+ | ===== Related | ||
The members of the group were involved in several projects. | The members of the group were involved in several projects. | ||
Selected projects include: | Selected projects include: | ||
- | ==== Adder ==== | + | === Adder === |
- | ID: KBN 4 T11C 035 2\\ | + | //ID//: KBN 4 T11C 035 2\\ |
- | Timeline: 2005→2006\\ | + | //Timeline//: 2005→2006\\ |
- | Leader: Tomasz Szmuc\\ | + | //Leader//: Tomasz Szmuc\\ |
- | Principal investigators from GEIST: Marcin Szpyrka, Antoni Ligęza, Grzegorz J. Nalepa\\ | + | //Principal investigators from GEIST//: Marcin Szpyrka, Antoni Ligęza, Grzegorz J. Nalepa\\ |
- | Objective: research on formal methods in design of correct real-time and embedded systems, including rule-based systems\\ | + | //Objective//: research on formal methods in design of correct real-time and embedded systems, including rule-based systems\\ |
- | GEIST members' | + | //GEIST members' |
[[http:// | [[http:// | ||
- | ==== Mirella | + | === Mirella === |
- | ID: KBN 4 T11C 027 24\\ | + | //ID//: KBN 4 T11C 027 24\\ |
- | Timeline: 2003→2004\\ | + | //Timeline//: 2003→2004\\ |
- | Scientific adviser: Antoni Ligęza\\ | + | //Scientific adviser//: Antoni Ligęza\\ |
- | Principal investigator: | + | //Principal investigator//: Grzegorz J. Nalepa\\ |
- | Objective: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool, preparation of a PhD thesis: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems\\ | + | //Objective//: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool, preparation of a PhD thesis: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems\\ |
[[http:// | [[http:// | ||
- | ==== Regulus | + | === Regulus === |
- | ID: KBN 8 T11C 019 17\\ | + | //ID//: KBN 8 T11C 019 17\\ |
- | Timeline: 1999→2001\\ | + | //Timeline//: 1999→2001\\ |
- | Leader: Antoni Ligęza\\ | + | //Leader//: Antoni Ligęza\\ |
- | Principal investigators from GEIST: Antoni Ligęza, Grzegorz J. Nalepa\\ | + | //Principal investigators from GEIST//: Antoni Ligęza, Grzegorz J. Nalepa\\ |
- | Objective: development of formal methods for knowledge representation and engineering in artificial intelligence\\ | + | //Objective//: development of formal methods for knowledge representation and engineering in artificial intelligence\\ |
[[http:// | [[http:// | ||
+ | {{like> |
pub/projects/start.txt · Last modified: 2022/07/14 19:15 by kkt