GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools

pub:projects:bimloq:bibliography

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
pub:projects:bimloq:bibliography [2013/01/15 14:27] – wtapub:projects:bimloq:bibliography [2013/01/16 09:37] – external edit 127.0.0.1
Line 1: Line 1:
 ~~NOCACHE~~ ~~NOCACHE~~
 +====== BIMLOQ bibliography ======
 +===== 2012 =====
 +<bibtex mode="text">
 +@article{kkr2012tcci,
 +  geistfund = {BIMLOQ},
 +  author = {Krzysztof Kaczor and Krzysztof Kluza and Grzegorz Jacek Nalepa and Łukasz Łysik},
 +  title = {Towards Rule Interoperability: Design of {D}rools Rule Bases Using the {XTT}2 Method},
 +  journal = {Transactions on Computational Collective Intelligence},
 +  series = {Lecture Notes in Computer Science},
 +  editor = {Nguyen, Ngoc Thanh},
 +  publisher = {Springer},
 +  year = 2012,
 +  note = {submitted}
 +}
  
-====== BIMLOQ Publications ======+@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},  
 +  url =  {http://www.springerlink.com/content/u654r0m56882np77/}, 
 +  file =  {http://www.springerlink.com/content/u654r0m56882np77/fulltext.pdf} 
 +}
  
-<BIBTEX: file=bimloq>+@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, 
 +  OPTmonth = June, 
 +  volume = 22, 
 +  number = 4, 
 +  pages = {485-524}, 
 +  OPTnote = {in press} 
 +} 
 + 
 +</bibtex> 
 +===== 2011 ===== 
 +<bibtex mode="text"> 
 +@article{ali2011par, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Antoni Ligęza}, 
 +  title = {A note on analysis of {BPMN} diagrams}, 
 +  journal = {{PAR} Pomiary Automatyka Robotyka}, 
 +  year = {2011}, 
 +  volume = {15}, 
 +  number = {12}, 
 +  pages = {210-212}, 
 +  note = {ISSN 1427-9126} 
 +} 
 + 
 +@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}, 
 +  OPTisbn = {978-3-642-23417-0}, 
 +  pages = {265-275}, 
 +  volume = {381}, 
 +  year = {2011}, 
 +  url = {http://www.springerlink.com/content/f39827272u6732h0/}, 
 +  file =  {http://www.springerlink.com/content/f39827272u6732h0/fulltext.pdf} 
 +} 
 + 
 +@article{ali2011automatyka, 
 +  geistfund = {BIMLOQ}, 
 +  address = {Kraków}, 
 +  author = {Antoni Ligęza and Tomasz Maślanka and Krzysztof Kluza and Grzegorz J. Nalepa}, 
 +  journal = {Automatyka: półrocznik Akademii 
 +                  Górniczo-Hutniczej im. Stanisława Staszica w Krakowie}, 
 +  number = {2}, 
 +  pages = {299–306}, 
 +  title = {Modeling {BPMN} diagrams within {XTT2} framework: a critical analysis}, 
 +  volume = {15}, 
 +  year = {2011}, 
 +  url = {http://baztech.icm.edu.pl/baztech/cgi-bin/btgetdoc.cgi?AGH1-0027-0043}, 
 +  file = {http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto28.pdf} 
 +} 
 + 
 +@article{ali2011dmms, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Ligę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}, 
 +  OPTnote = {ISSN 1896-832}, 
 +  keyword = {BPMN}, 
 +  OPTannote =    {podwojny wpis z: dmms}, 
 +  OPTfile = {http://www.dmms.agh.edu.pl/Volume_5/DMMS_2011_Ligeza_1.pdf} 
 +} 
 + 
 +@InProceedings{kluza2011kese, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Krzysztof Kluza and Grzegorz J. Nalepa and Marcin 
 +                  Szpyrka and Antoni Ligę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}, 
 +  url = {http://ceur-ws.org/Vol-805/}, 
 +  file = {http://ceur-ws.org/Vol-805/kese7-03.pdf} 
 +} 
 + 
 +@InCollection{kaczor2011iccci, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Krzysztof Kaczor and Grzegorz J. Nalepa and 
 +                  Łukasz Ł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}, 
 +  url = {http://www.springerlink.com/content/h544g4238716m320/}, 
 +  file = {http://www.springerlink.com/content/h544g4238716m320/fulltext.pdf} 
 +} 
 + 
 +@InCollection{szpyrka2011idc, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Marcin Szpyrka and Grzegorz J. Nalepa and Antoni 
 +                  Ligę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}, 
 +  url = {http://www.springerlink.com/content/m181144037q67271/}, 
 +  file = {http://www.springerlink.com/content/m181144037q67271/fulltext.pdf} 
 +} 
 + 
 +@InCollection{kluza2011idc, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Krzysztof Kluza and Tomasz Maślanka and Grzegorz 
 +                  J. Nalepa and Antoni Ligę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}, 
 +  url = {http://www.springerlink.com/content/d44n334p05772263/}, 
 +  file = {http://www.springerlink.com/content/d44n334p05772263/fulltext.pdf} 
 +} 
 + 
 +@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}, 
 +  OPTurl = {http://www.novapublishers.com/catalog/product_info.php?products_id=16938} 
 +} 
 + 
 +@InProceedings{gjn2011ruleml-halva, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Nalepa, Grzegorz and Bobek, Szymon and Ligę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, 
 +  url = {http://www.springerlink.com/content/c276374nh9682jm6/}, 
 +  file = {http://www.springerlink.com/content/c276374nh9682jm6/fulltext.pdf} 
 +} 
 + 
 +@article {ali2011widm, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Ligę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}, 
 +  OPTurl = {http://dx.doi.org/10.1002/widm.11}, 
 +  doi = {10.1002/widm.11}, 
 +  pages = {117–137}, 
 +  year = 2011, 
 +  url = {http://onlinelibrary.wiley.com/doi/10.1002/widm.11/pdf} 
 +} 
 + 
 +@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, 
 +  OPTurl = {http://dx.doi.org/10.1007/978-3-642-17155-0_1}, 
 +  OPTnote = {10.1007/978-3-642-17155-0_1}, 
 +  year = 2011, 
 +  url = {http://www.springerlink.com/content/y91w134g03344376/}, 
 +  file = {http://www.springerlink.com/content/y91w134g03344376/fulltext.pdf} 
 +} 
 + 
 +@TechReport{maslanka2011csltr, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Tomasz Maślanka and Antoni Ligę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}, 
 +  OPTfile = {CSLTR-1_2011.pdf}, 
 +  url = {http://cslab.ia.agh.edu.pl/csltr:listaraportow} 
 +} 
 + 
 +</bibtex> 
 +===== 2010 ===== 
 +<bibtex mode="text"> 
 +@InBook{ali2010wnt, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Antoni Ligęza and Grzegorz J. Nalepa}, 
 +  title = {Metody formalne w inżynierii oprogramowania 
 +                  systemów czasu rzeczywistego}, 
 +  chapter = {Metody reprezentacji i analizy systemów regułowych}, 
 +  publisher = {Wydawnictwa Naukowo-Techniczne}, 
 +  year = 2010, 
 +  pages = {261-283}, 
 +  address = {Warszawa} 
 +} 
 + 
 +@InBook{ali2010kam, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Ligęza, Antoni and Nalepa, Grzegorz J.}, 
 +  editor = {Malgorzata Nycz, Mieczyslaw L. Owoc}, 
 +  title = {Pozyskiwanie wiedzy i zarządzanie wiedzą}, 
 +  chapter = {{HeKatE} rule design methodology overview}, 
 +  publisher = {Wydawnictwo Uniwersytetu Ekonomicznego}, 
 +  year = 2010, 
 +  series = {Prace Naukowe Uniwersytetu Ekonomicznego we 
 +                  Wrocławiu}, 
 +  address = {Wrocł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, 
 +  url = {http://cslab.ia.agh.edu.pl/csltr:listaraportow}, 
 +  file = {http://winntbg.bg.agh.edu.pl/csl/csltr-2-2010.pdf} 
 +} 
 + 
 +@InProceedings{gjn2010ki, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Grzegorz J. Nalepa and Weronika T. Furmańska}, 
 +  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}, 
 +  url = {http://www.springerlink.com/content/r46p8m40432n7342/}, 
 +  file = {http://www.springerlink.com/content/r46p8m40432n7342/fulltext.pdf} 
 +} 
 + 
 +@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, 
 +  url = {http://ceur-ws.org/Vol-646/}, 
 +  file = {http://ceur-ws.org/Vol-646/DERIS2010paper4.pdf} 
 +} 
 + 
 +@inproceedings{gjn2010kese-vism, 
 +  geistfund = {BIMLOQ}, 
 +  Address = {Karlsruhe, Germany}, 
 +  Author = {Krzysztof Kluza and Grzegorz J. Nalepa and Łukasz 
 +                  Łysik}, 
 +  Booktitle = {Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd 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, 
 +  url = {http://ceur-ws.org/Vol-636/}, 
 +  file = {http://ceur-ws.org/Vol-636/kese6-02.pdf} 
 +} 
 + 
 +@article{gjn2010jucs, 
 +  geistfund = {BIMLOQ}, 
 +  Author = {Grzegorz J. Nalepa}, 
 +  Journal = {Journal of Universal Computer Science}, 
 +  OPTNote = {\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, 
 +  url = {http://www.jucs.org/jucs_16_7/collective_knowledge_engineering_with}, 
 +  file = {http://www.jucs.org/jucs_16_7/collective_knowledge_engineering_with/jucs_16_07_1006_1023_nalepa.pdf} 
 +} 
 + 
 +@article{bobek2010ict, 
 +  geistfund = {BIMLOQ}, 
 +  Author = {Szymon Bobek and Krzysztof Kaczor and Grzegorz 
 +                  J. Nalepa}, 
 +  Journal = {Gdansk University of Technology Faculty of ETI 
 +                  Annals}, 
 +  Number = 8, 
 +  Pages = {57-62}, 
 +  Title = {Overview of Rule Inference Algorithms for Structured 
 +                  Rule Bases}, 
 +  Volume = 18, 
 +  Year = 2010 
 +} 
 + 
 +@article{noga2010ict, 
 +  geistfund = {BIMLOQ}, 
 +  Author = {Marta Noga and Krzysztof Kaczor and Grzegorz 
 +                  J. Nalepa}, 
 +  Journal = {Gdansk University of Technology Faculty of ETI 
 +                  Annals}, 
 +  Number = 8, 
 +  Pages = {103-108}, 
 +  Title = {Lightweight reasoning methods in selected Semantic 
 +                  Wikis}, 
 +  Volume = 18, 
 +  Year = 2010 
 +} 
 + 
 +@incollection {gjn2010tcci-daal, 
 +  geistfund = {BIMLOQ}, 
 +  author = {Nalepa, Grzegorz J. and Furmańska, 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, 
 +  year = 2010, 
 +  url = {http://www.springerlink.com/content/m388651626832551/}, 
 +  file = {http://www.springerlink.com/content/m388651626832551/fulltext.pdf} 
 +} 
 + 
 +</bibtex>
  
pub/projects/bimloq/bibliography.txt · Last modified: 2013/01/16 10:41 by wta
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki