Edycja i kontrola jakości wiedzy w systemach regułowych — [Knowledge base design and quality control issues in rule-based systems] / Szymon BOBEK, Krzysztof KACZOR, Krzysztof KLUZA, Weronika ADRIAN // W: Wiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — (Prace Naukowe Uniwersytetu Ekonomicznego w Katowicach). — ISBN: 978-83-7246-683-9. — S. 11–29. — Bibliogr. s. 28–29

How to reason by HeaRT in a semantic knowledge-based wiki / Weronika T. ADRIAN, Szymon BOBEK, Grzegorz J. NALEPA, Krzysztof KACZOR, Krzysztof KLUZA // W: ICTAI 2011 : 2011 23rd IEEE International Conference on Tools with Artificial Intelligence : 7–9 November 2011, Boca Raton, Florida, USA : proceedings. — [USA : IEEE], [2011]. — S. 438–441. — Bibliogr. s. 441, Abstr.

Metody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych — [Methods for modeling, quality assessment and verification of business rules and processes] / Krzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK // W: Wiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — (Prace Naukowe Uniwersytetu Ekonomicznego w Katowicach). — ISBN: 978-83-7246-683-9. — S. 182–207. — Bibliogr. s. 204–207

Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods / Krzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 15–24. — Bibliogr. s. 24, Abstr.

Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

Proposal of representing BPMN diagrams with XTT2-based business rules / Krzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 243–248. — Bibliogr. s. 248, Abstr.