--- tmp [2017/07/17 10:08]
+++ tmp [2019/06/27 15:49] (current)
@@ Line 1: / Line 1: @@
+====== Bimloq bibliography ======
+<bibtex mode="text">
+@article{kkr2012tcci,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Krzysztof Kaczor and Krzysztof Kluza and Grzegorz Jacek Nalepa and \L{}ukasz \L{}ysik},
+  title =	 {Towards Rule Interoperability: Design of {D}rools Rule Bases Using the {XTT}2 Method},
+  journal =	 {Transactions on Computational Collective Intelligence IV},
+  series =	 {Lecture Notes in Computer Science},
+  editor =	 {Nguyen, Ngoc Thanh},
+  publisher =	 {Springer},
+  year = 	 2012,
+  note = 	 {submitted}
+}
+@incollection {gjn2011wikiheart,
+  geistfund = 	 {BIMLOQ},
+  author = 	 {Nalepa, Grzegorz J. and Bobek, Szymon},
+  title = 	 {Embedding the {HeaRT} Rule Engine into a Semantic Wiki},
+  booktitle = 	 {Semantic Methods for Knowledge Management and Communication},
+  series = 	 {Studies in Computational Intelligence},
+  editor =	  {Katarzyniak, Radoslaw and Chiu, Tzu-Fu and Hong, Chao-Fu and Nguyen, Ngoc},
+  publisher = 	 {Springer Berlin / Heidelberg},
+  isbn = 	 {978-3-642-23417-0},
+  pages = 	 {265-275},
+  volume = 	 {381},
+  year = 	 {2011}
+}
+@article{ali2011automatyka,
+  geistfund = 	 {BIMLOQ},
+  address =	 {Krak\'{o}w},
+  author =	 {Antoni Lig\k{e}za and Tomasz Ma\'slanka and Krzysztof Kluza and Grzegorz J. Nalepa},
+  journal =	 {Automatyka: p\'o\l{}rocznik Akademii
+                  G\'orniczo-Hutniczej im. Stanis\l{}awa Staszica w Krakowie},
+  number =	 {2},
+  pages =	 {299--306},
+  title =	 {Modeling {BPMN} diagrams within {XTT2} framework: a critical analysis},
+  volume =	 {15},
+  year =	 {2011}
+}
+@article{ali2011dmms,
+  geistfund = 	 {BIMLOQ},
+  author = 	 {Lig\k{e}za, Antoni},
+  title = 	 {{BPMN} -- a logical model and property analysis},
+  journal = 	 {Decision Making in Manufacturing and Services},
+  year = 	 {2011},
+  volume =	 {5},
+  number =	 {1-2},
+  pages =	 {57-67},
+  note = 	 {ISSN 1896-832}
+}
+@InProceedings{kluza2012icaisc,
+  geistfund = 	 {BIMLOQ},
+  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}
+}
+@InProceedings{kkr2011iccci-drools,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Krzysztof Kaczor and Grzegorz Jacek Nalepa and
+                  \L{}ukasz \L{}ysik and Krzysztof Kluza},
+  affiliation =	 {AGH University of Science and Technology,
+                  Al. Mickiewicza 30, 30-059 Kraków, Poland},
+  title =	 {Visual Design of {Drools} Rule Bases Using the
+                  {XTT2} Method},
+  booktitle =	 {Semantic Methods for Knowledge Management and
+                  Communication},
+  series =	 {Studies in Computational Intelligence},
+  editor =	 {Katarzyniak, Radoslaw and Chiu, Tzu-Fu and Hong,
+                  Chao-Fu and Nguyen, Ngoc},
+  publisher =	 {Springer Berlin / Heidelberg},
+  isbn =	 {978-3-642-23417-0},
+  keyword =	 {Engineering},
+  pages =	 {57-66},
+  volume =	 381,
+  url =		 {http://dx.doi.org/10.1007/978-3-642-23418-7\_6},
+  note =	 {10.1007/978-3-642-23418-7\_6},
+  year =	 2011
+}
+@InProceedings{kluza2011kese,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Krzysztof Kluza and Grzegorz J. Nalepa and Marcin
+                  Szpyrka and Antoni Lig\k{e}za},
+  title =	 {Proposal of a Hierarchical Approach to Formal
+                  Verification of {BPMN} Models Using {Alvis} and
+                  {XTT2} Methods},
+  booktitle =	 {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},
+  pages =	 {15-23},
+  year =	 2011,
+  editor =	 {Joaquin Canadas and Grzegorz J. Nalepa and Joachim
+                  Baumeister}
+}
+@InCollection{kaczor2011iccci,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Krzysztof Kaczor and Grzegorz J. Nalepa and
+                  {\L}ukasz {\L}ysik and Krzysztof Kluza},
+  title =	 {Visual Design of {Drools} Rule Bases Using the
+                  {XTT2} Method},
+  booktitle =	 {Semantic Methods for Knowledge Management and
+                  Communication},
+  pages =	 {57--66},
+  publisher =	 {Springer-Verlag},
+  year =	 2011,
+  editor =	 {Katarzyniak, Radoslaw and Chiu, Tzu-Fu and Hong,
+                  Chao-Fu and Nguyen, Ngoc},
+  volume =	 381,
+  series =	 {Studies in Computational Intelligence},
+  isbn =	 {978-3-642-23417-0},
+  OPTurl =	 {http://dx.doi.org/10.1007/978-3-642-23418-7_6},
+  note =	 {DOI: 10.1007/978-3-642-23418-7}
+}
+@InCollection{szpyrka2011idc,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Marcin Szpyrka and Grzegorz J. Nalepa and Antoni
+                  Lig\k{e}za and Krzysztof Kluza},
+  title =	 {Proposal of Formal Verification of Selected {BPMN}
+                  Models with {Alvis} Modeling Language},
+  booktitle =	 {Intelligent Distributed Computing V. Proceedings of
+                  the 5th International Symposium on Intelligent
+                  Distributed Computing -- IDC 2011, Delft, the
+                  Netherlands -- October 2011},
+  pages =	 {249--255},
+  publisher =	 {Springer-Verlag},
+  year =	 2011,
+  editor =	 {Frances M.T. Brazier and Kees Nieuwenhuis and Gregor
+                  Pavlin and Martijn Warnier and Costin Badica},
+  volume =	 382,
+  series =	 {Studies in Computational Intelligence}
+}
+@InCollection{kluza2011idc,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Krzysztof Kluza and Tomasz Ma\'slanka and Grzegorz
+                  J. Nalepa and Antoni Lig\k{e}za},
+  title =	 {Proposal of Representing {BPMN} Diagrams with
+                  {XTT2}-based Business Rules},
+  booktitle =	 {Intelligent Distributed Computing V. Proceedings of
+                  the 5th International Symposium on Intelligent
+                  Distributed Computing -- IDC 2011, Delft, the
+                  Netherlands -- October 2011},
+  pages =	 {243--248},
+  publisher =	 {Springer-Verlag},
+  year =	 2011,
+  editor =	 {Frances M.T. Brazier and Kees Nieuwenhuis and Gregor
+                  Pavlin and Martijn Warnier and Costin Badica},
+  volume =	 382,
+  series =	 {Studies in Computational Intelligence}
+}
+@incollection{gjn2011nova,
+  geistfund = 	 {BIMLOQ},
+  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},
+  OPTPublisher =	 {Nova Publishers},
+  Publisher =	 {Nova Science Publishers},
+  Series =	 {Business Issues, Competition and Entrepreneurship},
+  Year =	 2011,
+  ISBN =	 {978-1-61209-344-4},
+  Pages =	 {135--156},
+  Keywords =	 {business process, business rule}
+}
+@InProceedings{gjn2011ruleml-halva,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Nalepa, Grzegorz and Bobek, Szymon and Lig\k{e}za,
+                  Antoni and Kaczor, Krzysztof},
+  affiliation =	 {AGH University of Science and Technology,
+                  Al. Mickiewicza 30, 30-059 Kraków, Poland},
+  title =	 {{HalVA} - Rule Analysis Framework for {XTT2} Rules},
+  booktitle =	 {Rule-Based Reasoning, Programming, and Applications},
+  series =	 {Lecture Notes in Computer Science},
+  editor =	 {Bassiliades, Nick and Governatori, Guido and
+                  Paschke, Adrian},
+  publisher =	 {Springer Berlin / Heidelberg},
+  pages =	 {337-344},
+  volume =	 6826,
+  OPTurl =		 {http://dx.doi.org/10.1007/978-3-642-22546-8\_27},
+  OPTnote =	 {10.1007/978-3-642-22546-8\_27},
+  year =	 2011
+}
+@article {ali2011widm,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Lig\k{e}za, Antoni and Nalepa, Grzegorz J.},
+  title =	 {A study of methodological issues in design and
+                  development of rule-based systems: proposal of a new
+                  approach},
+  journal =	 {Wiley Interdisciplinary Reviews: Data Mining and
+                  Knowledge Discovery},
+  volume =	 1,
+  number =	 2,
+  publisher =	 {John Wiley & Sons, Inc.},
+  issn =	 {1942-4795},
+  url =		 {http://dx.doi.org/10.1002/widm.11},
+  doi =		 {10.1002/widm.11},
+  pages =	 {117--137},
+  year =	 2011
+}
+@InBook{ali2010kam,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Lig\k{e}za, Antoni and Nalepa, Grzegorz J.},
+  editor =	 {Malgorzata Nycz, Mieczyslaw L. Owoc},
+  title =	 {Pozyskiwanie wiedzy i zarz\k{a}dzanie wiedz\k{a}},
+  chapter =	 {{HeKatE} rule design methodology overview},
+  publisher =	 {Wydawnictwo Uniwersytetu Ekonomicznego},
+  year =	 2010,
+  series =	 {Prace Naukowe Uniwersytetu Ekonomicznego we
+                  Wroc\l{}awiu},
+  address =	 {Wroc\l{}aw},
+  pages =	 {58-68}
+}
+@techreport{wta2010csltr,
+  geistfund = 	 {BIMLOQ},
+  Author =	 {Weronika T. Adrian and Grzegorz J. Nalepa and
+                  Krzysztof Kaczor and Marta Noga},
+  Institution =	 {AGH University of Science and Technology},
+  Number =	 {CSLTR 2/2010},
+  Title =	 {Overview of selected approaches to rule
+                  representation on the {Semantic Web}},
+  Year =	 2010
+}
+@InProceedings{gjn2010ki,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Grzegorz J. Nalepa and Weronika T. Furma\'nska},
+  title =	 {{Pellet-HeaRT}~-- proposal of an architecture for
+                  ontology systems with rules},
+  booktitle =	 {{KI 2010}: Advances in Artificial Intelligence: 33rd
+                  annual German conference on {AI}: Karlsruhe,
+                  Germany, September 21-24, 2010},
+  pages =	 {143-150},
+  year =	 2010,
+  editor =	 {R{\"u}diger Dillmann and {et al.}},
+  volume =	 6359,
+  series =	 {Lecture Notes in Artificial Intelligence},
+  address =	 {Berlin; Heidelberg},
+  publisher =	 {Springer-Verlag},
+  annote =	 {ISSN 0302-9743 ; 6359).  ISBN-10 3-642-16110-3 ;
+                  ISBN-13 978-3-642-16110-0}
+}
+@incollection {gjn2011tcci,
+  geistfund = 	 {BIMLOQ},
+  Author =	 {Grzegorz J. Nalepa},
+  affiliation =	 {Institute of Automatics, AGH University of Science
+                  and Technology, Al. Mickiewicza 30, 30-059 Kraków,
+                  Poland},
+  title =	 {Loki~-- Semantic Wiki with Logical Knowledge
+                  Representation},
+  booktitle =	 {Transactions on Computational Collective
+                  Intelligence III},
+  series =	 {Lecture Notes in Computer Science},
+  editor =	 {Nguyen, Ngoc Thanh},
+  publisher =	 {Springer},
+  pages =	 {96-114},
+  volume =	 6560,
+  url =		 {http://dx.doi.org/10.1007/978-3-642-17155-0_1},
+  note =	 {10.1007/978-3-642-17155-0_1},
+  year =	 2011
+}
+@Article{gjn2011ijseke,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Grzegorz J. Nalepa and Krzysztof Kluza},
+  title =	 {{UML} Representation for Rule-Based Application
+                  Models with {XTT2}-based Business Rules},
+  journal =	 {International Journal of Software Engineering and
+                  Knowledge Engineering (IJSEKE)},
+  year =	 2012,
+  note =	 {accepted for publication}
+}
+@inproceedings{kkr-gjn-llk2010deris-xtt2drools,
+  geistfund = 	 {BIMLOQ},
+  Address =	 {Illmenau, Germany},
+  Author =	 {Krzysztof Kaczor and Grzegorz J. Nalepa and Szymon
+                  Bobek},
+  Booktitle =	 {Crossing Borders within ABC. Automation, Biomedical
+                  Engineering and Computer Science: 55 IWK
+                  Internationales Wissenschaftliches Kolloquium:
+                  International Scientific Colloquium},
+  Editor =	 {Andrea Schneider},
+  Pages =	 {555-560},
+  Title =	 {Rule Modularization and Inference Solutions~-- a
+                  Synthetic Overview},
+  Year =	 2010
+}
+@inproceedings{gjn2010kese-vism,
+  geistfund = 	 {BIMLOQ},
+  Address =	 {Karlsruhe, Germany},
+  Author =	 {Krzysztof Kluza and Grzegorz J. Nalepa and {\L}ukasz
+                  {\L}ysik},
+  Booktitle =	 {6th Workshop on Knowledge Engineering and Software
+                  Engineering (KESE2009) at the 32nd German conference
+                  on Artificial Intelligence: September 21, 2010,
+                  Karlsruhe, Germany},
+  Editor =	 {Grzegorz J. Nalepa and Joachim Baumeister},
+  Pages =	 {6-17},
+  Title =	 {Visual Inference Specification Methods for
+                  Modularized Rulebases. {O}verview and Integration
+                  Proposal},
+  Year =	 2010
+}
+@article{gjn2010jucs,
+  geistfund = 	 {BIMLOQ},
+  Author =	 {Grzegorz J. Nalepa},
+  Journal =	 {Journal of Universal Computer Science},
+  Note =
+                  {\url|http://www.jucs.org/jucs_16_7/collective_knowledge_engineering_with|},
+  Number =	 7,
+  Pages =	 {1006--1023},
+  Title =	 {Collective Knowledge Engineering with Semantic
+                  Wikis},
+  Volume =	 16,
+  Year =	 2010
+}
+@incollection {gjn2010tcci-daal,
+  geistfund = 	 {BIMLOQ},
+  author =	 {Nalepa, Grzegorz J. and Furma\'nska, Weronika T.},
+  affiliation =	 {Institute of Automatics, AGH University of Science
+                  and Technology, Al. Mickiewicza 30, 30-059 Kraków,
+                  Poland},
+  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,
+  url =		 {http://dx.doi.org/10.1007/978-3-642-17155-0_1},
+  note =	 {10.1007/978-3-642-17155-0_1},
+  year =	 2010
+}
+@TechReport{maslanka2011csltr,
+  geistfund =	 {bimloq},
+  author =	 {Tomasz Ma\'slanka and Antoni Lig\k{e}za and
+                  Krzysztof Kluza and Grzegorz J. Nalepa},
+  title =	 {Proposal of the translation of {BPMN} model to the
+                  {XTT2} knowledge representation},
+  number =	 {CSLTR 1/2011},
+  institution =	 {AGH University of Science and Technology},
+  year =	 2011,
+  note =	 {in press},
+  file =	 {CSLTR-1_2011.pdf}
+}
+</bibtex>

Show page Old revisions

Media Manager Back to top

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Differences