Algorithms for rule inference in modularized rule bases / Grzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 305–312. — Bibliogr. s. 312, Abstr.

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

HalVA – rule analysis framework for XTT2 rules / Grzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 337–344. — Bibliogr. s. 344, Abstr.

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

Overview of knowledge formalization with XTT2 rules / Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 329–336. — Bibliogr. s. 336, Abstr.