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.

Can the generation of test cases for unit testing be automated with rules? / Grzegorz J. NALEPA, Krzysztof KUTT, Krzysztof KACZOR // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8468. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 536–547. — Bibliogr. s. 546–547, Abstr.

Critical evaluation of the XTT2 rule representation through comparison with CLIPS / Krzysztof KACZOR, Grzegorz J. NALEPA // W: 8th Workshop on Knowledge Engineering and Software Engineering (KESE8) at the 20th biennial European Conference on Artificial Intelligence (ECAI 2012) : Montpellier, France, August 28, 2012 / eds. Grzegorz J. NALEPA, Joaquín Cañadas, Joachim Baumeister ; AGH, University of Almería. — Almería, Spain : Department of Languages and Computation, University of Almería, 2012. — Technical report TR-2012/1. — S. 46–53. — Bibliogr. s. 53, Abstr.

Description logic reasoning in an ontology-based system for citizen safety in urban environment / Weronika T. ADRIAN, Jarosław Waliszko, Antoni LIGĘZA, Grzegorz J. NALEPA, Krzysztof KACZOR // W: AI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management : August, 28\textsuperscript{th}, 2012, Montpellier, France : proceedings / eds. Eunika Mercier-Laurent [et al.] ; IFIP. — [France : s. n.], [2012]. — Na okł. dod.: ECAI 2012 : 20th European Conference on Artificial Intelligence : Montpellier, France, August 27–31, 2012. — S. 63–67. — Bibliogr. s. 67, Abstr.

Distributed and collaborative knowledge management using an ontology-based system / Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Krzysztof KACZOR // W: Artificial Intelligence for Knowledge Management : first IFIP WG 12.6 international workshop, AI4KM 2012 held in conjunction with ECAI 2012, Montpellier, France, August 28,2012 : revised selected papers / eds. Eunika Mercier-Laurent, Danielle Boulanger. — Heidelberg ; [etc.] : Springer, cop. 2014. — (IFIP Advances in Information and Communication Technology ; ISSN 1868-4238 ; 422). — ISBN: 978-3-642-54896-3 ; e-ISBN: 978-3-642-54897-0. — S. 112–130. — Bibliogr. s. 129–130, 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

Enriching business processes with rules using the Oryx BPMN editor / Krzysztof KLUZA, Krzysztof KACZOR, Grzegorz J. NALEPA // W: Artificial Intelligence and Soft Computing : 11th International Conference, ICAISC 2012 : Zakopane, Poland, April 29–May 3, 2012 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7268. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-29349-8 ; e-ISBN: 978-3-642-29350-4. — S. 573–581. — Bibliogr. s. 580–581, Abstr.

Extensible design and verification environment for XTT rule bases / Krzysztof KACZOR, Grzegorz J. NALEPA // W: CMS'09 : Computer Methods and Systems : 7\textsuperscript{th} conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — ISBN10: 83-916420-5-4. — S. 99–104. — Bibliogr. s. 104, Abstr.

HaDEs – presentation of the HeKatE design environment / Krzysztof KACZOR, Grzegorz J. NALEPA // W: KESE 2009 : 5th workshop on Knowledge Engineering and Software Engineering at the 32nd German conference on Artifical intelligence : September 15, 2009, Paderborn, Germany / eds. Joachim Baumeister, Grzegorz J. Nalepa. — [Würzburg : Universit–{a}t Würzburg], [2009]. — (Technical Report ; no. 461). — S. 57–62. — Bibliogr. s. 62, Abstr.

HaDEsclipse – integrated environment for rules (tool presentation) / Krzysztof KACZOR, Grzegorz J. NALEPA, Krzysztof Kutt // W: KESE 2013 [Dokument elektroniczny] : proceedings of 9th workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German conference on Artificial Intelligence (KI2013) : Koblenz, Germany, September 17, 2013 / ed. Grzegorz J. Nalepa, Joachim Baumeister. — Wersja do Windows. — Dane tekstowe. — [Germany : s. n.], 2013. — (CEUR Workshop Proceedings ; ISSN 1613-0073 ; vol. 1070). — Technical Report No. 487, Würzburg University. — S. 77–82. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://ceur-ws.org/Vol-1070/ [2013-12-05]. — Bibliogr. s. 81–82, Abstr.

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.

HeKatE rule runtime and design framework / Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KACZOR, Weronika T. FURMAŃSKA // W: 3\textsuperscript{rd} East European Workshop on Rule-based applications : Cottbus, Germany, September 21, 2009 / eds. Adrian Giurca, Grzegorz J. Nalepa, Gerd Wagner. — [Germany : s. n.], [2009]. — S. 21–30. — Bibliogr. s. 30, 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.

Integration of business processes with visual decision modeling : presentation of the HaDEs toolchain / Krzysztof KLUZA, Krzysztof KACZOR, Grzegorz J. NALEPA // W: Business Process Management workshops : BPM 2014 international workshops : Eindhoven, The Netherlands, September 7–8, 2014 : revised papers / eds. Fabiana Fournier, Jan Mendling. — Cham ; [etc.] : Springer International Publishing, cop. 2015. — (Lecture Notes in Business Information Processing ; ISSN 1865-1348 ; vol. 202). — ISBN: 978-3-319-15894-5 ; e-ISBN: 978-3-319-15895-2. — S. 504–515. — Bibliogr. s. 514–515, 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

Opportunities for business process semantization in open-source process execution environments / Krzysztof KLUZA, Krzysztof KACZOR, Grzegorz J. NALEPA, Mateusz ŚLAŻYŃSKI // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 95. — Publikacja dostępna w części: 6\textsuperscript{th} International workshop on Advances in business ICT. — Pełny tekst na dołączonym Dysku Flash. — S. 1317–1324. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1324, Abstr.. — W bazie WoS publikacja na stronach: 1307-1314

Overview of BPMN model equivalences : towards normalization of BPMN diagrams / Krzysztof KLUZA, Krzysztof KACZOR // W: 8th Workshop on Knowledge Engineering and Software Engineering (KESE8) at the 20th biennial European Conference on Artificial Intelligence (ECAI 2012) : Montpellier, France, August 28, 2012 / eds. Grzegorz J. NALEPA, Joaquín Cañadas, Joachim Baumeister ; AGH, University of Almería. — Almería, Spain : Department of Languages and Computation, University of Almería, 2012. — Technical report TR-2012/1. — S. 38–45. — Bibliogr. s. 45, Abstr.

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.

Practical approach to interoperability in production rule bases with SUBITO / Krzysztof KACZOR // W: Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9120. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-19368-7 ; e-ISBN: 978-3-319-19369-4. — S. 637–648. — Bibliogr. s. 647–648, Abstr.

Proposal of a rule-based testing framework for the automation of the unit testing process / Grzegorz J. NALEPA, Krzysztof KACZOR // W: ETFA'2012 [Dokument elektroniczny] : 17th IEEE International conference on Emerging Technologies & Factory Automation : 17–21 September 2012, Kraków, Poland. — Wersja do Windows. — Dane tekstowe. — [Piscataway : IEEE], [cop. 2012]. — Dysk Flash. — (IEEE International Conference on Emerging Technologies and Factory Automation – ETFA ; ISSN 1946-0740). — e-ISBN: 978-1-4673-4737-2. — S. [1–4]. — Wymagania systemowe: Adobe Acrobat Reader. — Bibliogr. s. [4], Abstr.. — Tytuł przejęto ze s. tyt. (po wybraniu opcji: PDF)

Proposal of an inference engine architecture for business rules and processes / Grzegorz J. NALEPA, Krzysztof KLUZA, Krzysztof KACZOR // W: Artificial Intelligence and Soft Computing : 12th International Conference, ICAISC 2013 : Zakopane, Poland, June 9–13, 2013 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7895. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-38609-1 ; e-ISBN: 978-3-642-38610-7. — S. 453–464. — Bibliogr. s. 462–464, Abstr.

Rule modularization and inference solutions – a synthetic overview / Krzysztof KACZOR, Szymon BOBEK, Grzegorz J. NALEPA // W: Crossing borders within the ABC : Automation, Biomedical Engineering and Computer Science : 55. IWK Internationales Wissenschaftliches Kolloquium. International Scientific Colloquium : 13–17 September 2010 : proceedings / red. Andrea Schneider ; Ilmenau University of Technology. — Ilmenau : Rector of the Ilmenau University of Technology, cop. 2010. — ISBN: 978-3-938843-53-6. — S. 555–560. — Bibliogr. s. 560, Abstr.

SBVRwiki a web-based tool for authoring of business rules / Grzegorz J. NALEPA, Krzysztof KLUZA, Krzysztof KACZOR // W: Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9120. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-19368-7 ; e-ISBN: 978-3-319-19369-4. — S. 703–713. — Bibliogr. s. 712–713, Abstr.

Semantically-driven rule interoperability – concept proposal / Krzysztof KACZOR, Grzegorz J. NALEPA // W: Artificial Intelligence and Soft Computing : 12th International Conference, ICAISC 2013 : Zakopane, Poland, June 9–13, 2013 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7895. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-38609-1 ; e-ISBN: 978-3-642-38610-7. — S. 511–522. — Bibliogr. s. 521–522, Abstr.

Web-based knowledge acquisition and management system supporting collaboration for improving safety in urban environment / Weronika T. ADRIAN, Przemysław Ciężkowski, Krzysztof KACZOR, Antoni LIGĘZA, Grzegorz J. NALEPA // W: Multimedia communications, services and security : 5th international conference, MCSS 2012 : Krakow, Poland, May 31–June 1, 2012 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 287). — ISBN: 978-3-642-30720-1 ; e-ISBN: 978-3-642-30721-8. — S. 1–12. — Bibliogr. s. 12, Abstr.