~~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}
}
@TechReport{matyasik2009csltr,
  author = 	 {Matyasik, Piotr},
  title = 	 {Event-based Hexor Robot Software Framework},
  number = 	 {CSLTR 3/2009},
  institution =  {AGH University of Science and Technology},
  year = 	 {2009},
  file = 	 {CSLTR-3_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]]