@Book{gjn2011ske,
  author =	 {Grzegorz J. Nalepa},
  title =	 {Semantic Knowledge Engineering. A Rule-Based Approach},
  publisher =	 {Wydawnictwa AGH},
  year =	 2011,
  address =	 {Krak\'ow}
}

@Book{ali2006rbs,
  address =	 {Berlin, Heidelberg},
  author =	 {Antoni Lig\k{e}za},
  publisher =	 {Springer-Verlag},
  title =	 {Logical Foundations for Rule-Based Systems},
  year =	 2006
}

@book{msz2008wnt,
  Address =	 {Warszawa},
  Author =	 {Marcin Szpyrka},
  Publisher =	 {Wydawnictwa Naukowo-Techniczne},
  Title =	 {Sieci Petriego w modelowaniu i analizie system\'ow wsp\'o\l{}bie\.znych},
  Year =	 2008
}

@article{gjn2010jucs,
  Author =	 {Grzegorz J. Nalepa},
  Journal =	 {Journal of Universal Computer Science},
  Number =	 7,
  Pages =	 {1006-1023},
  Title =	 {Collective Knowledge Engineering with Semantic Wikis},
  Volume =	 16,
  Year =	 2010
}

@article{ali1990reasoning,
  author    = {Antoni Lig\k{e}za},
  title     = {Dynamic Backward Reasoning Systems},
  journal   = {Artificial Intelligence},
  volume    = {43},
  number    = {2},
  year      = {1990},
  pages     = {127-152}
}

@inproceedings {wta2011ictai,
  author =	 {Adrian, Weronika T. and Bobek, Szymon and Nalepa, Grzegorz J. and Kaczor, Krzysztof and Kluza, Krzysztof},
  title =	 {How to Reason by {HeaRT} in a Semantic Knowledge-Based Wiki},
  booktitle =	 {Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011},
  address =	 {Boca Raton, Florida, USA},
  month =	 {November},
  year =	 2011,
  pages =	 {438-441}
}

@Article{gjn2011ijait,
  author =	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za and Krzysztof Kaczor},
  title =	 {Formalization and Modeling of Rules Using the {XTT2} Method},
  journal =	 {International Journal on Artificial Intelligence Tools},
  year =	 2011,
  publisher =	 {World Scientific},
  volume =	 20,
  number =	 6,
  pages =	 {1107-1125}
}

@incollection {gjn2010tcci-daal,
  author =	 {Nalepa, Grzegorz J. and Furma\'nska, Weronika T.},
  title =	 {Integration Proposal for Description Logic and
                  Attributive Logic~-- Towards {S}emantic {W}eb Rules},
  booktitle =	 {Transactions on Computational Collective
                  Intelligence II},
  series =	 {Lecture Notes in Computer Science},
  editor =	 {Nguyen, Ngoc Thanh and Kowalczyk, Ryszard},
  publisher =	 {Springer Berlin / Heidelberg},
  pages =	 {1-23},
  volume =	 6450,
  year =	 2010
}

@InProceedings{kkl2012icaisc,
  author =	 {Krzysztof Kluza and Krzysztof Kaczor and Grzegorz J. Nalepa},
  title =	 {Enriching Business Processes with Rules using the {Oryx BPMN} Editor},
  booktitle =	 {Artificial Intelligence and Soft Computing: 11th
                  International Conference, ICAISC 2012: Zakopane,
                  Poland, April 29--May 3, 2012},
  year =	 2012,
  editor =	 {Leszek Rutkowski and [et al.]},
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  pages =	 {573-581},
  volume =	 {7268},  
  note =	 {to be published}
}


@incollection{gjn2011nova,
  Author =	 {Grzegorz J. Nalepa and Krzysztof Kluza and Sebastian
                  Ernst},
  Title =	 {Modeling and Analysis of Business Processes with
                  Business Rules},
  Booktitle =	 {Business Process Modeling: Software Engineering,
                  Analysis and Applications},
  Editor =	 {J.A. Beckmann},
  Publisher =	 {Nova Science Publishers},
  Series =	 {Business Issues, Competition and Entrepreneurship},
  Year =	 2011,
  Pages =	 {135-156},
  Keywords =	 {business process, business rule}
}