GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:publications:geist2011

GEIST Publications in 2011

[2011, ali2011kam] (BIB)
Ligęza, A. (2011). A note on a logical model of an inference process : from ARD and RBS to BPMN. In M. L. O. Małgorzata Nycz (Ed.), (232 ed.pp. 41-49). Wrocław : Publishing House of Wrocław University of Economics.
[2011, sbk2011par] (BIB)
Bobek, S. (2011). HeaRT rule inference engine in intelligent systems. {PAR} Pomiary Automatyka Robotyka, 15(12), 226-228.
[2011, sbk2011kat] (BIB)
Bobek, S., Kaczor, K., Kluza, K., & Adrian, W. T. (2011). Edycja i kontrola jakoÅ?ci wiedzy w systemach reguÅ?owych. Paper presented at the Wiedza i komunikacja w innowacyjnych organizacjach.
[2011, kluza2011kat] (BIB)
Kluza, K., Adrian, W. T., Ligęza, A., Nalepa, G. J., Szpyrka, M., Kaczor, K., & Bobek, S. (2011). Metody modelowania, oceny jakoÅ?ci oraz weryfikacji reguÅ? i procesów biznesowych. Paper presented at the Wiedza i komunikacja w innowacyjnych organizacjach.
[2011, kluza2011par] (BIB)
Kluza, K. (2011). Modeling of Business Processes consistent with Business Rules. {PAR} Pomiary Automatyka Robotyka, 15(12), 194-195.
[2011, gjn2011par] (BIB)
Nalepa, G. J. (2011). Semantic knowledge engineering â?? main concepts. {PAR} Pomiary Automatyka Robotyka, 15(12), 236-238.
[2011, kkr2011par] (BIB)
Kaczor, K. (2011). Proposal of visual modeling and verification of Business Rules using HaDEs environment. {PAR} Pomiary Automatyka Robotyka, 15(12), 188-189.
[2011, ali2011par] (BIB)
Ligęza, A. (2011). A note on analysis of BPMN diagrams. {PAR} Pomiary Automatyka Robotyka, 15(12), 210-212.
[2011, gjn2011wikiheart | pdf | url] (BIB)
Nalepa, G. J., & Bobek, S. (2011). Embedding the HeaRT Rule Engine into a Semantic Wiki. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 265-275). Springer Berlin,Heidelberg.
[2011, ali2011automatyka | pdf | url] (BIB)
Ligęza, A., Maślanka, T., Kluza, K., & Nalepa, G. J. (2011). Modeling BPMN diagrams within XTT2 framework: a critical analysis. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 15(2), 299.
[2011, ali2011dmms] (BIB)
Ligęza, A. (2011). BPMN – a logical model and property analysis. Decision Making in Manufacturing and Services, 5(1-2), 57-67.
[2011, wta2011ictai | url] (BIB)
Adrian, W. T., Bobek, S., Nalepa, G. J., Kaczor, K., & Kluza, K. (2011). How to Reason by HeaRT in a Semantic Knowledge-Based Wiki. Paper presented at the Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, Florida, USA.
[2011, wta2011kese-loki | pdf | url] (BIB)
Adrian, W. T., & Nalepa, G. J. (2011). Loki – presentation of logic-based semantic wiki. Paper presented at the 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011): November 10, 2011, La Laguna (Tenerife), Spain.
[2011, wta2011par] (BIB)
Adrian, W. T. (2011). Knowledge representation, modelling and processing in modern semantic systems. {PAR} Pomiary Automatyka Robotyka, 15(12), 223-225.
[2011, wta2011mcss-onto] (BIB)
Waliszko, J., Adrian, W. T., & Ligęza, A. (2011). Traffic Danger Ontology for Citizen Safety Web System. In A. Dziech & A. Czyżewski (Eds.), (Vol. 149, pp. 165-173). Springer Berlin Heidelberg.
[2011, ali2011mcss-prot] (BIB)
Ligęza, A., Adrian, W. T., Ernst, S., Nalepa, G. J., Szpyrka, M., & Czapko, M., et al. (2011). Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. In A. Dziech & A. Czyżewski (Eds.), (Vol. 149, pp. 268-276). Springer Berlin Heidelberg.
[2011, kkr2011iccci-drools | url] (BIB)
Kaczor, K., Nalepa, G. J., Łysik, &., & Kluza, K. (2011). Visual Design of Drools Rule Bases Using the XTT2 Method. Paper presented at the Semantic Methods for Knowledge Management and Communication.
[2011, kluza2011kese | pdf | url] (BIB)
Kluza, K., Nalepa, G. J., Szpyrka, M., & Ligęza, A. (2011). Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods. Paper presented at the 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011): November 10, 2011, La Laguna (Tenerife), Spain.
[2011, kaczor2011iccci | pdf | url] (BIB)
Kaczor, K., Nalepa, G. J., Łysik, &., & Kluza, K. (2011). Visual Design of Drools Rule Bases Using the XTT2 Method. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 57). Springer-Verlag.
[2011, szpyrka2011idc | pdf | url] (BIB)
Szpyrka, M., Nalepa, G. J., Ligęza, A., & Kluza, K. (2011). Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 249). Springer-Verlag.
[2011, kluza2011idc | pdf | url] (BIB)
Kluza, K., Maślanka, T., Nalepa, G. J., & Ligęza, A. (2011). Proposal of Representing BPMN Diagrams with XTT2-based Business Rules. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 243). Springer-Verlag.
[2011, gjn2011ijait] (BIB)
Nalepa, G. J., Ligęza, A., & Kaczor, K. (2011). Formalization and Modeling of Rules Using the XTT2 Method. International Journal on Artificial Intelligence Tools, 20(6), 1107.
[2011, gjn2011hab] (BIB)
Nalepa, G. J. (2011). Semantic Knowledge Engineering. A Rule-Based Approach. Kraków: Wydawnictwa AGH.
[2011, gjn2011amcs] (BIB)
Nalepa, G. J., & Ligęza, A. (2011). Special section: Semantic knowledge engineering. International Journal of Applied Mathematics and Computer Science, 21(1).
[2011, gjn2011ijkedm] (BIB)
Baumeister, J., & Nalepa, G. J. (2011). Knowledge and software engineering for intelligent systems (Special Issue). International Journal of Knowledge Engineering and Data Mining, 1(3).
[2011, gjn2011nova] (BIB)
Nalepa, G. J., Kluza, K., & Ernst, S. (2011). Modeling and Analysis of Business Processes with Business Rules. In J. A. Beckmann (Ed.), (pp. 135). Nova Science Publishers.
[2011, gjn2011ruleml-formal] (BIB)
Nalepa, G., Ligęza, A., & Kaczor, K. (2011). Overview of Knowledge Formalization with XTT2 Rules. Paper presented at the Rule-Based Reasoning, Programming, and Applications.
[2011, gjn2011ruleml-inference] (BIB)
Nalepa, G., Bobek, S., Ligęza, A., & Kaczor, K. (2011). Algorithms for Rule Inference in Modularized Rule Bases. Paper presented at the Rule-Based Reasoning, Programming, and Applications.
[2011, gjn2011ruleml-halva | pdf | url] (BIB)
Nalepa, G., Bobek, S., Ligęza, A., & Kaczor, K. (2011). HalVA – Rule Analysis Framework for XTT2 Rules. Paper presented at the Rule-Based Reasoning, Programming, and Applications.
[2011, ali2011widm] (BIB)
Ligęza, A., & Nalepa, G. J. (2011). A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 1(2), 117.
[2011, gjn2011tcci | pdf | url] (BIB)
Nalepa, G. J. (2011). Loki – Semantic Wiki with Logical Knowledge Representation. In N. T. Nguyen (Ed.), (Vol. 6560, pp. 96-114). Springer.
[2011, maslanka2011csltr | url] (BIB)
Maślanka, T., Ligęza, A., Kluza, K., & Nalepa, G. J. (2011). Proposal of the translation of BPMN model to the XTT2 knowledge representation (No. CSLTR 1/2011). AGH University of Science and Technology.

pub/publications/geist2011.txt · Last modified: 2013/01/15 15:24 by wta