<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>
