This is an old revision of the document!
Table of Contents
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 IV},
series = {Lecture Notes in Computer Science},
editor = {Nguyen, Ngoc Thanh},
publisher = {Springer},
year = 2012,
note = {submitted}
}
@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,
month = June,
volume = 22,
number = 4,
note = {in press}
}
</bibtex>
2011
<bibtex mode=“text”> @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},
note = {ISSN 1896-832},
keyword = {BPMN},
OPTannote = {podwojny wpis z: ligeza2011dmms},
OPTfile = {http://www.dmms.agh.edu.pl/Volume_5/DMMS_2011_Ligeza_1.pdf}
}
@InProceedings{kkr2011iccci-drools,
geistfund = {BIMLOQ},
author = {Krzysztof Kaczor and Grzegorz Jacek Nalepa and
Łukasz Ł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ę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},
url = {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}
}
</bibtex>
2010
<bibtex mode=“text”> @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 = {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,
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}
}
@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,
OPTurl = {http://dx.doi.org/10.1007/978-3-642-17155-0_1},
note = {10.1007/978-3-642-17155-0_1},
year = 2010,
url = {http://www.springerlink.com/content/m388651626832551/},
file = {http://www.springerlink.com/content/m388651626832551/fulltext.pdf}
}
</bibtex>