Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
hekate:bib:hekate_bibliography [2008/07/04 19:20]
wojnicki
hekate:bib:hekate_bibliography [2017/07/17 08:08] (current)
Line 1: Line 1:
 +~~ODT~~
 +
 ====== Hekate Bibliography ====== ====== Hekate Bibliography ======
  
Line 4: Line 6:
 ===== Publications ===== ===== Publications =====
  
-Here is a list of publications regarding the [[:hekate:hekate|Hekate ​Project]].+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">​ <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{gjn2008inap,+@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},   author = {Grzegorz J. Nalepa and Igor Wojnicki},
-  title = {Visual Generalized Rule Programming Model for Prolog with Hybrid ​Operators},+  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 =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {Proceedings of INAP2007},+  booktitle = {Inżynieria Wiedzy i Systemy Ekspertowe},
   OPTpages = {},   OPTpages = {},
-  year =   {2008},+  year =  {2009},
   OPTeditor = {},   OPTeditor = {},
   OPTvolume = {},   OPTvolume = {},
   OPTnumber = {},   OPTnumber = {},
-  ​series ​=  {LNAI},+  ​OPTseries ​  {},
   OPTaddress = {},   OPTaddress = {},
   OPTmonth = {},   OPTmonth = {},
   OPTorganization = {},   OPTorganization = {},
-  ​publisher ​= {Springer},+  ​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},   note = {to be published},
   OPTannote = {},   OPTannote = {},
-  file = {GJN-INAP2008.pdf}+  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}
 } }
  
Line 34: Line 567:
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {Proceedings of KI2008}, +  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  ​OPTpages ​  {},+  ​pages =  {395-396},
   year = {2008},   year = {2008},
-  ​OPTeditor ​  {}, +  ​editor ​=  {Andreas R. Dengel and \mbox{et al.}}, 
-  ​OPTvolume ​  {},+  ​volume ​=  {5243},
   OPTnumber = {},   OPTnumber = {},
   series = {LNAI},   series = {LNAI},
-  ​OPTaddress ​  {},+  ​address ​=  {Berlin; Heidelberg},
   OPTmonth = {},   OPTmonth = {},
   OPTorganization = {},   OPTorganization = {},
Line 55: Line 588:
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {Proceedings of KI2008}, +  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  ​OPTpages ​  {},+  ​pages =  {393-394},
   year = {2008},   year = {2008},
-  ​OPTeditor ​  {}, +  ​editor ​=  {Andreas R. Dengel and \mbox{et al.}}, 
-  ​OPTvolume ​  {},+  ​volume ​=  {5243},
   OPTnumber = {},   OPTnumber = {},
   series = {LNAI},   series = {LNAI},
-  ​OPTaddress ​  {},+  ​address ​=  {Berlin; Heidelberg},
   OPTmonth = {},   OPTmonth = {},
   OPTorganization = {},   OPTorganization = {},
   publisher = {Springer Verlag},   publisher = {Springer Verlag},
-  ​note = {to be published},+  ​OPTnote ​= {to be published},
   OPTannote = {},   OPTannote = {},
   file = {GJN-KI2008-nxt.pdf}   file = {GJN-KI2008-nxt.pdf}
Line 72: Line 605:
  
 @InProceedings{gjn2008ruleapps,​ @InProceedings{gjn2008ruleapps,​
-  author = {Grzegorz J. Nalepa and Antoni ​Ligeza},+  author = {Grzegorz J. Nalepa and Antoni ​Ligęza},
   title = {XTT+ Rule Design Using the ALSV(FD)},   title = {XTT+ Rule Design Using the ALSV(FD)},
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {Proceedings of RuleApps ​2008}, +  booktitle = {ECAI 2008: 18th European Conference on Artificial Intelligence:​ 2nd East European Workshop on Rule-based applications,​ RuleApps2008:​ Patras, 22 July 2008}, 
-  ​OPTpages ​  {},+  ​pages =  {11--15},
   year = {2008},   year = {2008},
-  ​OPTeditor ​  {},+  ​editor ​=  {Adrian Giurca and Anastasia Analyti and Gerd Wagner},
   OPTvolume = {},   OPTvolume = {},
   OPTnumber = {},   OPTnumber = {},
   OPTseries = {},   OPTseries = {},
-  ​OPTaddress ​  {},+  ​address ​=  {Patras},
   OPTmonth = {},   OPTmonth = {},
   OPTorganization = {},   OPTorganization = {},
-  ​OPTpublisher ​= {}, +  ​publisher ​=  {University of Patras}, 
-  ​note = {to be published},+  ​OPTnote ​= {to be published},
   OPTannote = {},   OPTannote = {},
   file = {GJN-RULEAPPS2008.pdf}   file = {GJN-RULEAPPS2008.pdf}
 } }
  
-@InProceedings{kk2008lublin+@InProceedings{kk2008autoa
- title = "Modelowanie Systemów Czasu Rzeczywistego ​UML",+ 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 ​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",​  author = "​Kułakowski,​ Konrad and Kostrzewa, Marek",​
 +        booktitle = "​Proceedings of ICSES 2008 International Conference on Signal and Electronic Systems",​
  year = "​2008",​  year = "​2008",​
-        file = "kklublin2007.pdf"+        file = "kk2008icses.pdf"
 } }
  
 @InProceedings{ali2008flairs,​ @InProceedings{ali2008flairs,​
-  author = {Antoni ​Ligeza ​and Grzegorz J. Nalepa},+  author = {Antoni ​Ligęza ​and Grzegorz J. Nalepa},
   title = {Granular Logic with Variables for Implementation of Extended Tabular Trees},   title = {Granular Logic with Variables for Implementation of Extended Tabular Trees},
   OPTcrossref =  {},   OPTcrossref =  {},
Line 203: Line 753:
   file = {GJN-FLAIRS2008-prolog.pdf}   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,​ @InProceedings{ali2007cms-xtt-extended,​
Line 542: Line 1117:
  
  
 +===== Related Papers =====
  
-===== In Progress =====+==== Members'​ Papers ​==== 
 + 
 +Some papers of project members, before the project started.
  
 <bibtex mode="​text">​ <bibtex mode="​text">​
- +@InProceedings{gjn2006:​mixdes
-@TechReport{kaczor2008csltr208+  author = {Grzegorz J. Nalepa ​and Piotr Zi\k{e}cik}, 
-  author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, +  title = {Integrated embedded prolog platform ​for rule-based control systems}, 
-  title = {Design and Implementation of HQED, the Visual Editor ​for the XTT+ Rule Design Method}, +  ​booktitle ​= {MIXDES 2006 : MIXed DESign ​of integrated circuits ​and systems : proceedings of the international conference : GdyniaPoland 22--24 June 2006 }, 
-  ​institution ​=  {AGH University ​of Science ​and Technology}, +  ​pages = {716--721}, 
-  year = {2008}, +  ​year =  2006
-  ​OPTkey ​ {}, +  ​editor ​=  {Andrzej Napieralski}, 
-  OPTtype =  {}, +  ​address ​= {\L{}\,od\'z}, 
-  ​number ​=  {CSLTR02/​2008}+  ​publisher ​= {Technical University LodzDepartment of Microelectronics and Computer Science}
-  ​OPTaddress ​  {}, +
-  ​month = {july}, +
-  note = {in review}, +
-  ​OPTannote ​ {}, +
-  file = {CSLTR-2_2008.pdf}+
 } }
  
-@InProceedings{gjn2008aaia+@InProceedings{gjn2006:​flairs
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, +  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za}, 
-  title = {Hierarchical Rule Design ​with HaDEs the HeKatE Toolchain}, +  title = {Prolog-based analysis of tabular rule-based systems ​with the "​XTT"​ approach}, 
-  ​OPTcrossref ​=  {}, +  ​booktitle ​= {FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne BeachFloridaMay 11--132006]}, 
-  OPTkey = {}, +  ​pages = {426--431}, 
-  OPTbooktitle = {}, +  ​year =  2006
-  OPTpages = {}, +  ​editor ​= {Geoffrey C. J. Sutcliffe and Randy G. Goebel}, 
-  ​year = {2008}, +  ​address ​= {FLAIRS. - Menlo Park}, 
-  ​OPTeditor ​ {}, +  ​organization ​= {Florida Artificial Intelligence Research Society}, 
-  OPTvolume = {}+  ​publisher ​= {AAAI Press}
-  ​OPTnumber ​ {}, +
-  OPTseries =  {}, +
-  ​OPTaddress ​ {}, +
-  OPTmonth =  {}, +
-  ​OPTorganization ​= {}, +
-  ​OPTpublisher = {}, +
-  note = {submitted to AAIA 2008}, +
-  OPTannote = {}, +
-  file = {GJN-AAIA2008.pdf}+
 } }
  
-@InProceedings{ali2008aaia,​ +@InProceedings{gjn2005:cms,
-  author = {Antoni Ligeza and Grzegorz J. Nalepa}, +
-  title = {An Attribute Logic with Set Values for Rule-Based Systems}, +
-  OPTcrossref =  {}, +
-  OPTkey = {}, +
-  OPTbooktitle = {}, +
-  OPTpages = {}, +
-  year = {2008}, +
-  OPTeditor = {}, +
-  OPTvolume = {}, +
-  OPTnumber = {}, +
-  OPTseries = {}, +
-  OPTaddress = {}, +
-  OPTmonth = {}, +
-  OPTorganization = {}, +
-  OPTpublisher = {}, +
-  note = {submitted to AAIA 2008}, +
-  OPTannote = {}, +
-  file = {ALI-AAIA2008.pdf} +
-+
- +
-@InProceedings{gjn2008iclp,+
   author = {Grzegorz J. Nalepa},   author = {Grzegorz J. Nalepa},
-  title = {Programming Mindstorms NXT with Prolog ​an API Prototype},+  title = {Rule-based systems design and implementation : methodologies and technologies},
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  ​OPTbooktitle ​= {}, +  ​booktitle ​=  {CMS'​05. Plenary lectures and special session papers : Computer Methods and Systems}, 
-  ​OPTpages ​  {}, +  ​pages =  {329--340}, 
-  year = {2008}, +  year = {2005}, 
-  ​OPTeditor ​  {}, +  ​editor ​=  ​{Ryszard Tadeusiewicz,​ Antoni Lig\k{e}za, Maciej Szymkat}, 
-  ​OPTvolume ​  {},+  ​volume ​=  {1},
   OPTnumber = {},   OPTnumber = {},
   OPTseries = {},   OPTseries = {},
-  ​OPTaddress ​  {}, +  ​address ​=  {Krakw, Poland}, 
-  ​OPTmonth ​  {}, +  ​month =  {November}, 
-  ​OPTorganization ​= {}, +  ​organization ​= {AGH University of Science and Technology CracowJagiellonian University, Cracow University of Technology}, 
-  OPTpublisher = {}, +  ​publisher ​= {Oprogramowanie Naukowo-Techniczne}, 
-  ​note = {submitted to ICLP 2008}, +  ​OPTnote ​= {}, 
-  ​OPTannote ​= {}, +  ​OPTannote ​  {}
-  ​file = {GJN-ICLP2008.pdf}+
 } }
  
-@InProceedings{gjn2008kese-knowiki+@InProceedings{gjn2005:lit
-  author = {Grzegorz J. Nalepa ​and Igor Wojnicki}, +  author = {Antoni Lig\k{e}za and Grzegorz J. Nalepa}, 
-  title = {Proposal ​of a Prolog-based ​Knowledge Wiki}, +  title = {Visual design and on-line verification ​of tabular rule-based ​systems with XTT}, 
-  ​OPTcrossref ​=  {}, +  ​booktitle ​= {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-TageLIT 2005}, 
-  OPTkey = {}, +  OPTbooktitle =  {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005, 21.--23. September 2005, Leipzig}, 
-  OPTbooktitle = {}, +  ​pages =  {303--312}, 
-  ​OPTpages ​  {}, +  year = {2005}, 
-  year = {2008}, +  ​editor ​=  {Klaus P. Jantke and Klaus-Peter F\"​{a}hnrich and Wolfgang S. Wittig},
-  ​OPTeditor ​  {},+
   OPTvolume = {},   OPTvolume = {},
   OPTnumber = {},   OPTnumber = {},
-  OPTseries =   {}, +  ​series = {Lecture Notes in Informatics (LNI)}, 
-  ​OPTaddress ​  {}, +  ​OPTseries =  {Lecture Notes in Informatics (LNI) -- Proceedings. Series of the Gesellschaft fur Informatik)}, 
-  OPTmonth = {},+  ​address ​=  {Bonn}, 
 +  OPTmonth = {september},
   OPTorganization = {},   OPTorganization = {},
-  ​OPTpublisher ​{}, +  ​publisher ​= {Gesellschaft fur Informatik}
-  note = {submitted to KESE 2008}, +
-  OPTannote = {}, +
-  file = {GJN-KESE2008-knowiki.pdf}+
 } }
  
-@InProceedings{gjn2008kese-umlrep+@InBook{gjn2005:​kkio,​ 
-  author = {Grzegorz J. Nalepa and Krzysztof Kluza}, +  OPTannote =    {ref waz gjn:​2005:​kkio:​conceptual}
-  ​title = {UML Representation Proposal for XTT Rule Design Method}, +  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za}, 
-  ​OPTcrossref ​=  {}, +  ​chapter ​= {Conceptual modelling and automated implementation of rule-based systems}, 
-  ​OPTkey ​ {}, +  ​title = {Software engineering : evolution and emerging technologies}, 
-  OPTbooktitle = {}, +  ​pages = {330--340}, 
-  OPTpages =  {}, +  year =  2005
-  year =  {2008}+  ​editor ​= {Krzysztof Zieli\'​{n}ski and Tomasz Szmuc}, 
-  ​OPTeditor ​ {}, +  ​volume ​=  130
-  OPTvolume =  {}, +  ​series ​= {Frontiers in Artificial Intelligence and Applications}, 
-  OPTnumber =  {}+  ​address ​= {Amsterdam}, 
-  OPTseries = {}, +  ​publisher ​= {IOS Press}
-  ​OPTaddress ​ {}, +
-  OPTmonth = {}+
-  ​OPTorganization ​{}, +
-  OPTpublisher = {}, +
-  ​note = {submitted to KESE 2008}, +
-  ​OPTannote ​ {}, +
-  file = {GJN-KESE2008-umlrep.pdf}+
 } }
- +@Article{gjn2005:​syssci:​mirella
-@InProceedings{kkAaia+  author =   {Grzegorz J. Nalepa ​and Antoni Ligęza}, 
-  author =  {Konrad Kułakowski and Grzegorz J. Nalepa}, +  title =   {A visual edition tool for design and verification of knowledge in rule-based systems}, 
-  title  = {Modeling Business Rules with UML State Diagrams}, +  ​journal ​= {Systems Science}, 
-  ​booktitle = {AAIA2008},​ +  year =  2005
-  OPTpages ​= {}, +  ​volume ​=  31
-  year = {2008}, +  ​number ​=  3
-  OPTeditor ​=  {}+  ​pages = {103--109}, 
-  ​OPTvolume ​ {}, +  file = {icss04-gjn_ali-mirella.pdf}
-  OPTnumber = {}+
-  ​OPTseries ​ {}, +
-  OPTaddress = {}+
-  ​OPTmonth ​ {}, +
-  OPTorganization = {}, +
-  OPTpublisher = {}, +
-  note = {will be submitted till 10 april 2008}, +
-  OPTannote =  {}, +
-  file = {kk2008aaia.pdf}+
 } }
- +@Article{gjn2005:​syssci:​xtt
-@InProceedingskk2008icses+  ​author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
- title = "Rapid prototyping of real time reactive systemssubmitted to ICSES 2008"+  ​title =  {A graphical tabular model for rule-based logic programming and verification}, 
- author ​"​KułakowskiKonrad and KostrzewaMarek"+  journal = {Systems Science}
- year "​2008"​+  ​year ​ 2005, 
-        file = "​kk2008icses.pdf"+  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},
  
-@InProceedingskk2008slok+  booktitle =    ​{Advances in Web Intelligence:​ 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005}
- title "​Architektura autonomicznego robota mobilnego z dynamicznym modelem świata"​+  ​pages ​       ​{334--340}
- author ​"​KułakowskiKonrad ​and WąsJarosław ​and SzpyrkaMarcin"​+  ​year ​        2005, 
- year "​2008"​+  editor = {Piotr Szczepaniak ​and Janusz Kacprzyk and Adam Niewiadomski}, 
-        file = "​kkslok2008.doc"+  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
-@Unpublished{gjn2008-varda+  author = {Grzegorz J. Nalepa}, 
-  author = {Grzegorz J. Nalepa ​and Igor Wojnicki}, +  title = {Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems}, 
-  title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, +  ​school ​= {AGH University ​of Science and Technology}, 
-  ​note = {full version ​of the FLAIRS 2008 paper, not published in full}, +  ​year =  2004, 
-  ​OPTkey ​= {}, +  address =  {AGH Institute of Automatics, Cracow, Poland}, 
-  ​OPTmonth ​  {}, +  ​month =  {September} 
-  ​year   {2008}, +
-  ​OPTannote ​  {}, +@InProceedings{gjn2003:​awic
-  ​file         ​{gjn-flairs2008-prolog-full.pdf}+  ​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>​ </​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 ===== ===== Instructions for Authors =====
Line 721: Line 1273:
 Keep it in sync with the CVS, see [[hekatedev:​version_control#​bibliography]]. 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 [[hekate bibliography#​In Progress]] section, please.+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!** Please upload papers as **PDF only!**
- 
- --- //​[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/06/06 16:36// 
  
 ==== Links ==== ==== Links ====
hekate/bib/hekate_bibliography.1215199246.txt.gz · Last modified: 2017/07/16 23:24 (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