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>