-
3
-
-
77950276067
-
HeKatE methodology, hybrid engineering of intelligent systems
-
Nalepa, G.J., Ligȩza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35-53 (2010)
-
(2010)
International Journal of Applied Mathematics and Computer Science
, vol.20
, Issue.1
, pp. 35-53
-
-
Nalepa, G.J.1
Ligȩza, A.2
-
5
-
-
77955448443
-
Proposal of a formal verification framework for the XTT2 rule bases
-
Tadeusiewicz, R., Ligȩza, A., Mitkowski, W., Szymkat, M. (eds.) , Krakow, Poland, Krakow, November 26-27. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne
-
Ligȩza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligȩza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Krakow, Poland, Krakow, November 26-27, pp. 105-110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne (2009)
-
(2009)
CMS 2009: Computer Methods and Systems: 7th Conference
, pp. 105-110
-
-
Ligȩza, A.1
Nalepa, G.J.2
-
6
-
-
84887233578
-
HaDEs - Presentation of the HeKatE design environment
-
Baumeister, J., Nalepa, G.J. (eds.) , Paderborn, Germany, September 15
-
Kaczor, K., Nalepa, G.J.: HaDEs - presentation of the HeKatE design environment. In: Baumeister, J., Nalepa, G.J. (eds.) 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence, Paderborn, Germany, September 15, pp. 57-62 (2009)
-
(2009)
5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence
, pp. 57-62
-
-
Kaczor, K.1
Nalepa, G.J.2
-
8
-
-
77955442518
-
Architecture of the heaRT hybrid rule engine
-
Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. Springer, Heidelberg
-
Nalepa, G.J.: Architecture of the heaRT hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. LNCS, vol. 6114, pp. 598-605. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6114
, pp. 598-605
-
-
Nalepa, G.J.1
-
9
-
-
33746090454
-
Valens: A knowledge based tool to validate and verify an aion knowledge base
-
Berlin, Germany, August 20-25
-
Gerrits, R., Spreeuwenberg, S.: Valens: A knowledge based tool to validate and verify an aion knowledge base. In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, pp. 731-738 (2000)
-
(2000)
ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence
, pp. 731-738
-
-
Gerrits, R.1
Spreeuwenberg, S.2
-
10
-
-
84885744647
-
Can URML model successfully drools rules?
-
Giurca, A., Analyti, A., Wagner, G. (eds.) , RuleApps2008, July 22. University of Patras, Patras
-
Pascalau, E., Giurca, A.: Can URML model successfully drools rules? In: Giurca, A., Analyti, A., Wagner, G. (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applicat ions, RuleApps2008, July 22, pp. 19-23. University of Patras, Patras (2008)
-
(2008)
ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based Applicat Ions
, pp. 19-23
-
-
Pascalau, E.1
Giurca, A.2
|