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
Next revision		Previous revision
Last revisionBoth sides next revision
pub:projects:bimloq:bibliography [2013/01/10 15:34] – wtapub:projects:bimloq:bibliography [2013/01/16 09:37] – external edit 127.0.0.1
Line 1: Line 1:
 ~~NOCACHE~~ ~~NOCACHE~~
 ====== BIMLOQ bibliography ====== ====== 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}
 +}
  
-<BIBTEX: file=bimloq>+@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} 
 +} 
 + 
 +@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>
  
--> [[.:|Return to all publications]] 
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