https://geist.re/ 2026-04-29T17:26:36+00:00 https://geist.re/ https://geist.re/_media/favicon.ico text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:adder?rev=1357822663&do=diff 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 systems: rule-based security systems design and analysis methods and tools ---------- Go back to text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:bgs?rev=1357822663&do=diff Big Grandson Description To be done... News * 10.06.2010 - brainstorm meeting at AGH For Developers See development page. Comments Go back to -> projects text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:completed?rev=1357822663&do=diff Completed projects ---------- Go back to → projects text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:current?rev=1357822663&do=diff Current projects ---------- Go back to → projects text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:diki?rev=1357822663&do=diff Diki Description A semantic system for nutritionists. For developers See development page. Go back to -> projects text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:mirella?rev=1357822663&do=diff Mirella * 2003->2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool text/html 2013-01-10T12:57:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:regulus?rev=1357822663&do=diff Regulus * 1999->2001 - 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 ---------- Go back to -> projects text/html 2013-06-17T07:40:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:ressconx?rev=1371454807&do=diff ResSConx Methods for Semantic Representation and Logical Reasoning in Context-Aware Systems (ResSConx) Description Research project objectives and research hypothesis Context-aware systems have been studied in several fields and developed for over 30 years. However, they are still identified as being one of the main trends that will change IT and the economy in the next 10 years. In this research project, the following research objectives related to context-aware systems are addressed: text/html 2025-11-07T22:37:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://geist.re/pub:projects:start?rev=1762555037&do=diff About GEIST * People * News * Contact * Teaching Our Research * Profile * Projects * Development * Publications * Software See our projects! <https://afcai.re/> AfCAI <https://github.com/sbobek/lux> LUX <https://loki.re/> Loki GEIST Research Projects The group has been involved in number of research projects. Current projects Read more on Chess XAI HuLCKA Read more on HuLCKA which aims at investigating methods for combining background knowledge with clusteri…