Differences

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

Link to this comparison view

hekate:bib:hekate_bibliography [2010/01/20 08:06]
gjn
hekate:bib:hekate_bibliography [2017/07/17 08:08]
Line 1: Line 1:
-~~ODT~~ 
  
-====== Hekate Bibliography ====== 
- 
- 
-===== Publications ===== 
- 
-Here is a list of publications regarding the [[:​hekate:​start|HeKatE Project]]. 
- 
-Available in the project CVS as //​hekate-project.bib//​ 
- 
-==== 2009 ==== 
-<bibtex mode="​text">​ 
-@TechReport{kluza2009csltr,​ 
-  author = {Krzysztof Kluza and Grzegorz J. Nalepa}, 
-  title = {Analysis of UML Representation for XTT and ARD Rule Design Methods}, 
-  number = {CSLTR 5/2009}, 
-  institution =  {AGH University of Science and Technology},​ 
-  year = {2009}, 
-  file = {CSLTR-5_2009.pdf} 
-} 
-@TechReport{gjn2009csltr-heart,​ 
-  author = {Nalepa, G. J. and Bobek, S. and Gawędzki, M. and Ligęza, A.}, 
-  title = {HeaRT Hybrid XTT2 Rule Engine Design and Implementation},​ 
-  number = {CSLTR 4/2009}, 
-  institution =  {AGH University of Science and Technology},​ 
-  year = {2009}, 
-  file = {CSLTR-4_2009.pdf} 
-} 
-@InProceedings{gjn2009cms-hqed,​ 
-  author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, 
-  title = {Extensible design and verification enviroment for XTT rule bases}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​09:​ 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland}, 
-  OPTpages = {99--104}, 
-  year = {2009}, 
-  OPTeditor = {Ryszard Tadeusiewicz,​ Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {Kraków}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {83-916420-5-4},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  file = {GJN-CMS2009-hqed.pdf} 
-} 
-@InProceedings{gjn2009cms-alg,​ 
-  author = {Agata Ligęza and Grzegorz J. Nalepa}, 
-  title = {Proposal of a Formal Verification Framework for the XTT2 Rule Bases}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​09:​ 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland}, 
-  pages = {105-110}, 
-  year = {2009}, 
-  editor = {Ryszard Tadeusiewicz,​ Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Kraków}, 
-  OPTmonth = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  file = {GJN-CMS2009-alg.pdf} 
-} 
-@InProceedings{gjn2009cms-mof,​ 
-  author = {Krzysztof Kluza and Grzegorz J. Nalepa}, 
-  title = {MOF-based Metamodeling for the XTT Knowledge Representation},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​09:​ 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland}, 
-  OPTpages = {93--98}, 
-  year = {2009}, 
-  OPTeditor = {Ryszard Tadeusiewicz,​ Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {Kraków}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {83-916420-5-4},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  file = {GJN-CMS2009-mof.pdf} 
-} 
-@InProceedings{gjn2009bi,​ 
-  author = {Grzegorz J. Nalepa and Maria A. Mach}, 
-  title = {Business Rules Design Method for Business Process Management},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology},​ 
-  pages = {165-170}, 
-  year = {2009}, 
-  editor = {M. Ganzha and M. Paprzycki}, 
-  OPTvolume = {4}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  organization = {Polish Information Processing Society}, 
-  publisher = {IEEE Computer Society Press}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-BI2009.pdf} 
-} 
-@InProceedings{gjn2009ruleapps,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza and Krzysztof Kaczor and Weronika T. Furmańska},​ 
-  title = {HeKatE Rule Runtime and Design Framework}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, 2009}, 
-  pages = {21-30}, 
-  year = {2009}, 
-  editor = {Adrian Giurca, Grzegorz J. Nalepa, Gerd Wagner}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Cottbus, Germany}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-RULEAPPS2009.pdf} 
-} 
-@InProceedings{gjn2009kese-hades,​ 
-  author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, 
-  title = {HaDEs - Presentation of the HeKatE Design Environment},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence:​ September 15, 2009, Paderborn, Germany}, 
-  pages = {57-62}, 
-  year = {2009}, 
-  editor = {Joachim Baumeister and Grzegorz J. Nalepa}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Paderborn, Germany}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-KESE2009hades.pdf} 
-} 
-@InBook{gjn2009iccci-daal,​ 
-  author = {Nalepa, Grzegorz J. and Furma\'​nska,​ Weronika T.}, 
-  title = {New Challenges in Computational Collective Intelligence}, ​ 
-  publisher = {Springer Berlin / Heidelberg},​ 
-  chapter = {Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications},​ 
-  editor = {Ngoc Thanh Nguyen, Radosław Piotr Katarzyniak,​ Adam Janiak}, 
-  series = {Studies in Computational Intelligence},​ 
-  year = {2009}, 
-  pages = {15-26}, 
-  OPTnote = {1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems}, 
-  file =        {GJN-ICCCI2009.pdf} 
-} 
-@TechReport{csltr0109ard,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {ARD+ a Prototyping Method for Decision Rules. Method Overview, Tools, and the Thermostat Case Study}, 
-  institution =  {AGH University of Science and Technology},​ 
-  year = 2009, 
-  number = {CSLTR 01/2009}, 
-  month = {june}, 
-  file = {CSLTR-1_2009.pdf} 
-} 
-@Article{gjn2009amcs,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  Title = {HeKatE Methodology,​ Hybrid Engineering Of Intelligent Systems}, 
-  journal = {International Journal of Applied Mathematics and Computer Science}, 
-  year = {2009}, 
-  OPTkey = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTpages = {}, 
-  OPTmonth = {}, 
-  note = {accepted for publication},​ 
-  OPTannote = {}, 
-  file =         ​{GJN-AMCS2009.pdf} 
-} 
-@InProceedings{gjn2009iwse-sw,​ 
-  author = {Weronika T. Furmańska and Grzegorz J. Nalepa}, 
-  title = {Nowe metody reprezentacji reguł dla Sieci Semantycznej},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Inżynieria Wiedzy i Systemy Ekspertowe},​ 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file =         ​{GJN-IWSE2009sw.pdf} 
-} 
- 
-@InProceedings{gjn2009iwse-uml,​ 
-  author = {Krzysztof Kluza and Grzegorz J. Nalepa}, 
-  title = {Metody i narzędzia wizualnego projektowania reguł decyzyjnych},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Inżynieria Wiedzy i Systemy Ekspertowe},​ 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file =         ​{GJN-IWSE2009uml.pdf}  ​ 
-} 
- 
-@InProceedings{gjn2009iwse-hqed,​ 
-  author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, 
-  title = {HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Inżynieria Wiedzy i Systemy Ekspertowe},​ 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file =         ​{GJN-IWSE2009hqed.pdf}  ​ 
-} 
- 
-@InProceedings{gjn2009flairs-ard,​ 
-  author = {Martin Atzmueller and Grzegorz J. Nalepa}, 
-  title = {A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file =         ​{GJN-FLAIRS2009ard.pdf}  ​ 
-} 
- 
-@InProceedings{gjn2009flairs-alsvfd,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title = {On ALSV Rules Formulation and Inference}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file =         ​{GJN-FLAIRS2009alsvfd.pdf}  ​ 
-} 
- 
-@InProceedings{gjn2009flairs-wikikv,​ 
-  author = {Joachim Baumeister and Grzegorz J. Nalepa}, 
-  title = {Verification of Distributed Knowledge in Semantic Knowledge Wikis}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file =         ​{GJN-FLAIRS2009wikikv.pdf}  ​ 
-} 
- 
-@InProceedings{gjn2009flairs-oom,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {XTT Rules Design and Implementation with Object-Oriented Methods}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file =         ​{GJN-FLAIRS2009oom.pdf}  ​ 
-} 
- 
-@InBook{ali2009hrer,​ 
-  author = {Antoni Ligęza and Grzegorz J. Nalepa}, 
-  title = {Handbook of Research on Emerging Rule-Based Languages and Technologies:​ Open Solutions and Approaches},​ 
-  chapter = {Logical Representation and Verification of Rules}, 
-  publisher = {Information Science Reference}, 
-  year = {2009}, 
-  OPTkey = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTtype = {}, 
-  OPTaddress = {}, 
-  OPTedition = {}, 
-  OPTmonth = {}, 
-  OPTpages = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {ALI-HRER2009-RVV.pdf} 
-} 
- 
-@InBook{gjn2009hrer,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Handbook of Research on Emerging Rule-Based Languages and Technologies:​ Open Solutions and Approaches},​ 
-  chapter = {Languages and Tools for Rule Modeling}, 
-  publisher = {Information Science Reference}, 
-  year = {2009}, 
-  OPTkey = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTtype = {}, 
-  OPTaddress = {}, 
-  OPTedition = {}, 
-  OPTmonth = {}, 
-  OPTpages = {}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-HRER2009-LTRM.pdf} 
-} 
- 
-@InProceedings{gjn2009inap,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {INAP2007/​WLP 2007}, 
-  pages = {178--194}, 
-  year = {2009}, 
-  editor = {D. Seipel and M. Hanus and A. Wolf}, 
-  volume = {5437}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  address = {Berlin Heidelberg},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer}, 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-INAP2009.pdf} 
-} 
-</​bibtex>​ 
- 
-==== 2008 ==== 
-<bibtex mode="​text">​ 
-@TechReport{kaczor2008csltr208,​ 
-  author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, 
-  title = {Design and Implementation of HQED, the Visual Editor for the XTT+ Rule Design Method}, 
-  institution =  {AGH University of Science and Technology},​ 
-  year = {2008}, 
-  OPTkey = {}, 
-  OPTtype = {}, 
-  number = {CSLTR02/​2008},​ 
-  OPTaddress = {}, 
-  month = {december}, 
-  OPTnote = {in review}, 
-  OPTannote = {}, 
-  file = {CSLTR-2_2008.pdf} 
-} 
- 
-@InProceedings{gjn2008aaia,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Hierarchical Rule Design with HaDEs the HeKatE Toolchain}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology},​ 
-  pages = {207-214}, 
-  year = {2008}, 
-  editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski},​ 
-  volume = {3}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  organization = {Polish Information Processing Society}, 
-  OPTpublisher = {}, 
-  OPTnote = {submitted to AAIA 2008}, 
-  OPTannote = {}, 
-  file = {GJN-AAIA2008.pdf} 
-} 
- 
-@InProceedings{kk2008aaia,​ 
-  author = {Konrad Kulakowski and Grzegorz J. Nalepa}, 
-  title = {Modeling Business Rules with UML State Diagrams}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology},​ 
-  pages = {189-194}, 
-  year = {2008}, 
-  editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski},​ 
-  volume = {3}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  organization = {Polish Information Processing Society}, 
-  OPTpublisher = {}, 
-  OPTnote = {submitted to AAIA 2008}, 
-  OPTannote = {}, 
-  file = {kk2008aaia.pdf} 
-} 
- 
-@InProceedings{Szp08-AAIA,​ 
-author = {Marcin Szpyrka}, 
-title = {Exclusion rule-based systems -- case study}, 
-pages = {237-242}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology},​ 
-  year = {2008}, 
-  editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski},​ 
-  volume = {3}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  organization = {Polish Information Processing Society}, 
-  OPTpublisher = {}, 
-  OPTnote = {submitted to AAIA 2008}, 
-  OPTannote = {}, 
-  file = {mszp2008aaia.pdf} 
-} 
- 
-@TechReport{matyasik2008csltr108,​ 
-  author = {Piotr Matyaski and Piotr Ziecik}, 
-  title = {The Hexor robot control software}, 
-  institution =  {AGH University of Science and Technology},​ 
-  year = {2008}, 
-  OPTkey = {}, 
-  OPTtype = {}, 
-  number = {CSLTR 01/2008}, 
-  OPTaddress = {}, 
-  month = {october}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {CSLTR-1_2008.pdf} 
-} 
- 
-@Proceedings{gjn2008kese,​ 
-  title = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German conference on Artificial Intelligence:​ September 23, 2008, Kaiserslautern,​ Germany}, 
-  year = {2008}, 
-  OPTkey = {}, 
-  OPTbooktitle = {}, 
-  editor = {Grzegorz J. Nalepa and Joachim Baumeister},​ 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Kaiserslautern,​ Germany}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  url =          {http://​ceur-ws.org/​Vol-425} 
-} 
- 
-@InProceedings{gjn2008kese-uml,​ 
-  author = {Grzegorz J. Nalepa and Krzysztof Kluza}, 
-  title = {UML representation proposal for XTT rule design method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German conference on Artificial Intelligence:​ September 23, 2008, Kaiserslautern,​ Germany}, 
-  pages = {31-42}, 
-  year = {2008}, 
-  editor = {Grzegorz J. Nalepa and Joachim Baumeister},​ 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Kaiserslautern,​ Germany}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-KESE2008-umlrep.pdf} 
-} 
- 
-@InProceedings{gjn2008kese-knowiki,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Proposal for a Prolog-Based Knowledge Wiki}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32st German conference on Artificial Intelligence:​ September 23, 2008, Kaiserslautern,​ Germany}, 
-  pages = {43-54}, 
-  year = {2008}, 
-  editor = {Grzegorz J. Nalepa and Joachim Baumeister},​ 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Kaiserslautern,​ Germany}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-KESE2008-knowiki.pdf} 
-} 
- 
-@InProceedings{gjn2008ki-varda,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {VARDA Rule Design and Visualization Tool-Chain},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  pages = {395-396}, 
-  year = {2008}, 
-  editor = {Andreas R. Dengel and \mbox{et al.}}, 
-  volume = {5243}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  address = {Berlin; Heidelberg},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer Verlag}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-KI2008-varda.pdf} 
-} 
- 
-@InProceedings{gjn2008ki-nxt,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Prototype Prolog API for Mindstorms NXT}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  pages = {393-394}, 
-  year = {2008}, 
-  editor = {Andreas R. Dengel and \mbox{et al.}}, 
-  volume = {5243}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  address = {Berlin; Heidelberg},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer Verlag}, 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-KI2008-nxt.pdf} 
-} 
- 
-@InProceedings{gjn2008ruleapps,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title = {XTT+ Rule Design Using the ALSV(FD)}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {ECAI 2008: 18th European Conference on Artificial Intelligence:​ 2nd East European Workshop on Rule-based applications,​ RuleApps2008:​ Patras, 22 July 2008}, 
-  pages = {11--15}, 
-  year = {2008}, 
-  editor = {Adrian Giurca and Anastasia Analyti and Gerd Wagner}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Patras}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {University of Patras}, 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-RULEAPPS2008.pdf} 
-} 
- 
-@InProceedings{kk2008autoa,​ 
- title = "​Architektura Autonomicznego Robota Mobilnego z Dynamicznym Modelem Świata",​ 
- author = "​Kułakowski,​ Konrad and Wąs, Jarosław and Szpyrka, Marcin",​ 
- year = "​2008",​ 
-        booktitle = "​Automatyka",​ 
-        file = "​kkSlok2008bwA.pdf"​ 
-} 
- 
-@InProceedings{kk2008autob,​ 
- title = "​Dynamiczny Model Świata w Sterowaniu Autonomicznym Robotem Mobilnym",​ 
- author = "​Kułakowski,​ Konrad and Wąs, Jarosław and Szpyrka, Marcin",​ 
- year = "​2008",​ 
-        booktitle = "​Automatyka",​ 
-        file = "​kkSlok2008bwB.pdf"​ 
-} 
- 
-@InProceedings{ kk2008icses,​ 
- title = "Rapid prototyping of real time reactive systems",​ 
- author = "​Kułakowski,​ Konrad and Kostrzewa, Marek",​ 
-        booktitle = "​Proceedings of ICSES 2008 International Conference on Signal and Electronic Systems",​ 
- year = "​2008",​ 
-        file = "​kk2008icses.pdf"​ 
-} 
- 
-@InProceedings{ali2008flairs,​ 
-  author = {Antoni Ligęza and Grzegorz J. Nalepa}, 
-  title = {Granular Logic with Variables for Implementation of Extended Tabular Trees}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {341--346}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {ALI-FLAIRS2008-granular.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-userv,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {UServ Case Study, Conceptual Design with ARD+ Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {347--352}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-userv.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-prologwiki,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Concept of an Interactive Web Portal for Teaching Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {240--244}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-prologwiki.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-ardformal,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Towards Formalization of ARD+ Conceptual Design and Refinement Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {353--358}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-formal.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-ardprolog,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {373--374}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-prolog.pdf} 
-} 
-@InBook{gjn2008kdc,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Knowledge-driven computing: knowledge engineering and intelligent computations},​ 
-  chapter = {Methodologies and technologies for rule-based systems design and implementation. Towards hybrid knowledge engineering},​ 
-  publisher = {Springer-Verlag},​ 
-  year = {2008}, 
-  OPTkey = {}, 
-  volume = {102}, 
-  OPTnumber = {}, 
-  series = {Studies in Computational Intelligence},​ 
-  OPTtype = {}, 
-  OPTaddress = {}, 
-  OPTedition = {}, 
-  OPTmonth = {}, 
-  pages = {183-198}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-KDC2008.pdf} 
-} 
- 
-</​bibtex>​ 
- 
-==== 2007 ==== 
- 
-<bibtex mode="​text">​ 
- 
-@InProceedings{ali2007cms-xtt-extended,​ 
-  author = {Antoni Ligęza}, 
-  title = {An Improved Knowledge Representation Language for XTT. Extended Tabular Graphs with Variables, Constraints and Control}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  OPTpages = {}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {CMS'​2007},​ 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {November}, 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {ali2007cms-xtt-extended.pdf} 
-} 
- 
-@InProceedings{gjn2007cms-destls,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Visual Design Tools for XTT-based Rulebases}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {71--76}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-destls.pdf} 
-} 
-@InProceedings{gjn2007cms-knowtrans,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {XML-based Knowledge Translation Methods for XTT-based Expert Systems}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {77-82}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-knowtrans.pdf} 
-} 
-@InProceedings{gjn2007cms-busproc,​ 
-  author = {Grzegorz J. Nalepa and Maria Antonina Mach}, 
-  title = {Conceptual Modeling of Business Rules and Processes with the XTT Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {65--70}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-busproc.pdf} 
-} 
- 
-@InProceedings{gjn2007inap,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Proposal of visual generalized rule programming model for Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, 
-  pages = {195--204}, 
-  year = {2007}, 
-  editor = {Dietmar Seipel and \mbox{et al.}}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {},  ​ 
-  address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut fur Informatik},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-INAP2007-GREP.pdf} 
-} 
-@InProceedings{iww2007inap,​ 
-  author = {Igor Wojnicki and Grzegorz J. Nalepa}, 
-  title = {Prolog Hybrid Operators in the generalized rule programming model}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, 
-  pages = {205--214}, 
-  year = {2007}, 
-  editor = {Dietmar Seipel and \mbox{et al.}}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {},  ​ 
-  address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut f�r Informatik},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {IWW-INAP2007-HOP.pdf} 
-} 
- 
-@InProceedings{gjn2007ruleapps,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Proposal of business process and rules modeling with the XTT method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Symbolic and numeric algorithms for scientific computing : SYNASC'​07 : 9th international symposium : RuleApps'​2007~-- workshop on Rule-based applications : Timisoara, Romania, September 26--29, 2007 : IeAT Technical Report 07-11}, 
-  pages = {17--23}, 
-  year = {2007}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Timisoara : West University},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {West University of Timisoara, Romania. Department of Computer Science, University Johannes Kepler, Linz, Austria. Research Institute for Symbolic Computation,​ Research Institute e-Austria, Timisoara, Romania}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-RULEAPPS2007.pdf} 
-} 
- 
-@InProceedings{gjn2007safecomp,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Application of the XTT rule-based model for formal design and verifcation of Internet security systems}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Computer safety, reliability,​ and security : 26th international conference, SAFECOMP 2007 : Nuremberg, Germany, September 18--21, 2007 : proceedings},​ 
-  pages = {81--86}, 
-  year = {2007}, 
-  editor = {Francesca Saglietti and Norbert Oster}, 
-  OPTvolume = {LNCS 4680}, 
-  OPTnumber = {LNCS 4680}, 
-  series = {Lecture Notes in Computer Science}, 
-  address = {Berlin ; Heidelberg},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Springer-Verlag},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {3-540-75100-9},​ 
-  issn = {0302-9743},​ 
-  file = {GJN-SAFECOMP2007-short.pdf} 
-} 
-@InProceedings{gjn2007icss,​ 
-  author = {Grzegorz J. Nalepa and Maria Antonina Mach}, 
-  title = {Intelligent business web applications design using the XTT approach}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the 16th international conference on Systems science. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems : 4--6 September 2007, Wrocław, Poland}, 
-  pages = {405--412}, 
-  year = {2007}, 
-  editor = {Adam Grzech}, 
-  volume = {2}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Wrocław}, 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Oficyna Wydawnicza Politechniki Wrocławskiej},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {978-83-7493-340-7},​ 
-  file = {GJN-ICSS2007.pdf} 
-} 
-@InProceedings{gjn2007iwk,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Filling the semantic gaps in systems engineering},​ 
-  booktitle = {52. IWK : Internationales Wissenschaftliches Kolloquium = International Scientific Colloquium : computer science meets automation : 10--13 September 2007 : proceedings},​ 
-  pages = {107--112}, 
-  year = 2007, 
-  editor = {Peter Scharff}, 
-  volume = 1, 
-  address = {Ilmenau : TU Ilmenau. Universitatsbibliothek},​ 
-  publisher = {Technische Universitat Ilmenau. Faculty of Science and Automation.},​ 
-isbn = {978-3-939473-17-6},​ 
-file = {GJN-IWK2007.pdf} 
-} 
-@InProceedings{ptm2007ki,​ 
-  author = {Piotr Matyasik and Grzegorz J. Nalepa and Piotr Zięcik}, 
-  title = {Prolog-based real-time intelligent control of the Hexor mobile robot}, 
-  booktitle = {KI 2007 : advances in Artificial Intelligence : 30th annual German conference on AI, KI 2007 : Osnabruck, Germany, September 10--13, 2007 : proceedings},​ 
-  pages = {485--488}, 
-  year = {2007}, 
-  editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, 
-  volume = {LNAI 4667}, 
-  series = {Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence},​ 
-  address = {Berlin, Heidelberg},​ 
-  month = {september},​ 
-  publisher = {Springer-Verlag},​ 
-  issn = {0302-9743},​ 
-  isbn = {3-540-74564-5},​ 
-  file = {PTM-KI2007.pdf} 
-} 
-@InProceedings{gjn2007kese-exedes,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Knowledge-based approach to the executable design concept}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {47--58}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-ExeDes.pdf} 
-} 
-@InProceedings{gjn2007kese-grep,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Proposal of generalized rule programming model}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {59-70}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-GREP.pdf} 
-} 
-@InProceedings{gjn2007kese-keuml,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Using UML for knowledge engineering \u2013 a critical overview}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {37--46}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-KE_UML.pdf} 
-} 
-@InProceedings{gjn2007enase,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Visual software modelling with extended rule-based model : a knowledge-based programming solution for general software design}, 
-  booktitle = {ENASE 2007 : proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering : Barcelona, Spain, July 23--25, 2007}, 
-  pages = {41--47}, 
-  year = 2007, 
-  editor = {Cesar Gonzalez-Perez and Leszek A. Maciaszek}, 
-  month = {july}, 
-  publisher = {INSTICC Press}, 
-  isbn = {ISBN 978-989-8111-10-4},​ 
-  file = {GJN-ENASE2007.pdf} 
-} 
-@InProceedings{gjn2007awic,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {A Unified Firewall Model for Web Security}, 
-  booktitle = {Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference -- AWIC'​2007,​ Fontainebleau,​ France, June 2007}, 
-  pages = {248--253}, 
-  year = {2007}, 
-  editor = {Katarzyna M. Węgrzyn-Wolska and Piotr S. Szczepaniak},​ 
-  volume = {43}, 
-  series = {Advances in Soft Computing}, 
-  address = {Berlin Heidelberg New York}, 
-  month = {june}, 
-  publisher = {Springer-Verlag},​ 
-  file =         ​{GJN-AWIC2007.pdf} 
-} 
-@Unpublished{gjn2007ebrc,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Business Rules Design and Analysis Approaches},​ 
-  note = {presentation given at the 6th European Business Rules Conference},​ 
-  url =          {http://​www.eurobizrules.org/​Uploads/​Files/​Nalepa_2c_20G_2.pdf},​ 
-  month = {june}, 
-  year = {2007}, 
-  file =         ​{GJN-EBRC2007.pdf} 
-} 
-@InProceedings{ptm2007mixdes,​ 
-  author = {Piotr Matyasik and Grzegorz J. Nalepa}, 
-  title = {Knowledge-based control of reactive systems with multi-layer architecture},​ 
-  booktitle = {MIXDES 2007 : MIXed DESign of integrated circuits and systems : proceedings of the 14th international conference : Ciechocinek,​ Poland, 21--23 June, 2007}, 
-  pages = {667--672}, 
-  month = {june}, 
-  year = 2007, 
-  editor = {Andrzej Napieralski.},​ 
-  publisher = {\{}L\,​{o}d\,​{z} : Technical University of \{}L\,​{o}d\,​{z}. Department of Microelectronics and Computer Science}, 
-  file = {PTM-MIXDES2007.pdf} 
-} 
-@InProceedings{gjn2007flairs-bizrules,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Business Rules Design and Refinement using the XTT Approach}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {536--541}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{GJN-FLAIRS07-BizRules.pdf} 
-} 
-@InProceedings{gjn2007flairs-hekate,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {A Proposal of Hybrid Knowledge Engineering and Refinement Approach}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {542--547}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{GJN-FLAIRS07-Hekate.pdf} 
-} 
-@InProceedings{ali2007flairs-granular,​ 
-  author = {Antoni Ligęza and Grzegorz J. Nalepa}, 
-  title = {Knowledge Representation with Granular Attributive Logic for XTT-based Expert Systems}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {530--535}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{ALI-FLAIRS2007.pdf} 
-} 
- 
-</​bibtex>​ 
- 
- 
- 
- 
- 
-===== Related Papers ===== 
- 
-==== Members'​ Papers ==== 
- 
-Some papers of project members, before the project started. 
- 
-<bibtex mode="​text">​ 
-@InProceedings{gjn2006:​mixdes,​ 
-  author = {Grzegorz J. Nalepa and Piotr Zi\k{e}cik},​ 
-  title = {Integrated embedded prolog platform for rule-based control systems}, 
-  booktitle = {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22--24 June 2006 }, 
-  pages = {716--721}, 
-  year = 2006, 
-  editor = {Andrzej Napieralski},​ 
-  address = {\L{}\,​od\'​z},​ 
-  publisher = {Technical University Lodz. Department of Microelectronics and Computer Science} 
-} 
- 
-@InProceedings{gjn2006:​flairs,​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  title = {Prolog-based analysis of tabular rule-based systems with the "​XTT"​ approach}, 
-  booktitle = {FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11--13, 2006]}, 
-  pages = {426--431}, 
-  year = 2006, 
-  editor = {Geoffrey C. J. Sutcliffe and Randy G. Goebel}, 
-  address = {FLAIRS. - Menlo Park}, 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press} 
-} 
- 
-@InProceedings{gjn2005:​cms,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Rule-based systems design and implementation : methodologies and technologies},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​05. Plenary lectures and special session papers : Computer Methods and Systems}, 
-  pages = {329--340}, 
-  year = {2005}, 
-  editor = {Ryszard Tadeusiewicz,​ Antoni Lig\k{e}za, Maciej Szymkat}, 
-  volume = {1}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Krakw, Poland}, 
-  month = {November}, 
-  organization = {AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology},​ 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {}, 
-  OPTannote = {} 
-} 
- 
-@InProceedings{gjn2005:​lit,​ 
-  author = {Antoni Lig\k{e}za and Grzegorz J. Nalepa}, 
-  title = {Visual design and on-line verification of tabular rule-based systems with XTT}, 
-  booktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005}, 
-  OPTbooktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005, 21.--23. September 2005, Leipzig}, 
-  pages = {303--312}, 
-  year = {2005}, 
-  editor = {Klaus P. Jantke and Klaus-Peter F\"​{a}hnrich and Wolfgang S. Wittig}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  series = {Lecture Notes in Informatics (LNI)}, 
-  OPTseries = {Lecture Notes in Informatics (LNI) -- Proceedings. Series of the Gesellschaft fur Informatik)},​ 
-  address = {Bonn}, 
-  OPTmonth = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Gesellschaft fur Informatik} 
-} 
- 
-@InBook{gjn2005:​kkio,​ 
-  OPTannote =    {ref waz gjn:​2005:​kkio:​conceptual},​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  chapter = {Conceptual modelling and automated implementation of rule-based systems}, 
-  title = {Software engineering : evolution and emerging technologies},​ 
-  pages = {330--340}, 
-  year = 2005, 
-  editor = {Krzysztof Zieli\'​{n}ski and Tomasz Szmuc}, 
-  volume = 130, 
-  series = {Frontiers in Artificial Intelligence and Applications},​ 
-  address = {Amsterdam},​ 
-  publisher = {IOS Press} 
-} 
-@Article{gjn2005:​syssci:​mirella,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title = {A visual edition tool for design and verification of knowledge in rule-based systems}, 
-  journal = {Systems Science}, 
-  year = 2005, 
-  volume = 31, 
-  number = 3, 
-  pages = {103--109}, 
-  file = {icss04-gjn_ali-mirella.pdf} 
-} 
-@Article{gjn2005:​syssci:​xtt,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title = {A graphical tabular model for rule-based logic programming and verification},​ 
-  journal = {Systems Science}, 
-  year = 2005, 
-  volume = 31, 
-  number = 2, 
-  pages = {89--95}, 
-  file = {icss04-gjn_ali-xtt.pdf} 
-} 
-@InProceedings{gjn2005:​awic,​ 
-  author =       ​{Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title =        {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach}, 
- 
-  booktitle =    {Advances in Web Intelligence:​ 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005}, 
-  pages =        {334--340}, 
-  year =         2005, 
-  editor = {Piotr Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  editor =       ​{Piotr S. Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  volume =       {LNAI 3528}, 
-  number = 3528, 
-  series =       ​{Lecture Notes in Artificial Intelligence},​ 
-  address =      {Berlin, Heidelberg, New York}, 
-  publisher ​    = {Springer-Verlag},​ 
-  file = {awic03-gjnalepa.pdf} 
-} 
-@PhdThesis{gjn:​phd,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems}, 
-  school = {AGH University of Science and Technology},​ 
-  year = 2004, 
-  address = {AGH Institute of Automatics, Cracow, Poland}, 
-  month = {September} 
-} 
-@InProceedings{gjn2003:​awic,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
-  title = {Designing Reliable Web Security Systems Using Rule-Based 
-   Systems Approach}, 
-  booktitle = {Advances in Web Intelligence. First International Atlantic 
-   Web Intelligence Conference AWIC 2003, Madrid, Spain, May 
-   5-6, 2003}, 
-  pages = {124--133}, 
-  year = 2003, 
-  editor = {Ernestina Menasalvas and Javier Segovia and Piotr S. 
-   Szczepaniak},​ 
-  volume = {LNAI 2663}, 
-  series = {Lecture Notes in Artificial Intelligence},​ 
-  address = {Berlin, Heidelberg, New York}, 
-  publisher = {Springer-Verlag},​ 
-} 
- 
-</​bibtex>​ 
- 
-==== Verification papers ==== 
- 
-A [[verification_bibliography|bibliography of some important papers related to the analysis incl. verification of intelligent systems is available separately]]. 
- 
-===== Instructions for Authors ===== 
- 
- 
-==== Papers ==== 
- 
-The main section [[hekate bibliography#​Publications]] is for papers which have already been **accepted only**. 
-Keep it in sync with the CVS, see [[hekatedev:​version_control#​bibliography]]. 
- 
-If you have any papers being reviewed or a significatnt work-in-progress put them in  
-[[hekatedev:​papers_in_progress]],​ please. 
- 
-Please upload papers as **PDF only!** 
- 
-==== Links ==== 
- 
-You can create in-wiki links to the bibliograpy items, i.e.: 
- 
-  [[:​hekate:​bib:​hekate_bibliography#​gjn2007flairs-hekate]] 
- 
-Which produces the following link: [[:​hekate:​bib:​hekate_bibliography#​gjn2007flairs-hekate]] 
hekate/bib/hekate_bibliography.txt · Last modified: 2017/07/17 08:08 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0