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/11/17 22:36]
gjn papers full info update, ruleapps,ki,kese, aaia/csltr pending
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,​ @Proceedings{gjn2008kese,​
-  title = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32st German conference on Artificial Intelligence:​ September 23, 2008, Kaiserslautern,​ Germany},+  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},   year = {2008},
   OPTkey = {},   OPTkey = {},
Line 43: Line 516:
   OPTpublisher = {},   OPTpublisher = {},
   OPTnote = {},   OPTnote = {},
-  OPTannote = {}+  OPTannote = {}, 
 +  url =          {http://​ceur-ws.org/​Vol-425}
 } }
  
Line 51: Line 525:
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32st German conference on Artificial Intelligence:​ September 23, 2008, Kaiserslautern,​ Germany},+  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},   pages = {31-42},
   year = {2008},   year = {2008},
Line 64: Line 538:
   OPTnote = {},   OPTnote = {},
   OPTannote = {},   OPTannote = {},
-  file = {GJN-KESE2008-uml.pdf}+  file = {GJN-KESE2008-umlrep.pdf}
 } }
  
Line 85: Line 559:
   OPTnote = {},   OPTnote = {},
   OPTannote = {},   OPTannote = {},
-  file = {GJN-KESE2008-wiki.pdf}+  file = {GJN-KESE2008-knowiki.pdf}
 } }
  
Line 131: Line 605:
  
 @InProceedings{gjn2008ruleapps,​ @InProceedings{gjn2008ruleapps,​
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},+  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 =  {},
Line 151: Line 625:
 } }
  
-@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 262: 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 600: Line 1116:
  
  
-===== In Progress ===== 
  
-<bibtex mode="​text">​+===== Related Papers =====
  
-@TechReport{ali2008principles,​ +==== Members'​ Papers ​====
-  author ​ {Antoni Lig\k{e}za},​ +
-  title  {Principles of Knowledge Representation Language for XTT. A Systematic Review}, +
-  institution ​ {AGH University of Science and Technology},​ +
-  year  {2008}, +
-  OPTkey ​ {}, +
-  OPTtype ​ {}, +
-  OPTnumber ​=  ​{CSLTR02/​2008},​ +
-  OPTaddress ​ {}, +
-  month = {july}, +
-  OPTnote = {in review}, +
-  OPTannote = {}, +
-  OPTfile = {CSLTR-2_2008.pdf} +
-}+
  
-@TechReport{kaczor2008csltr208,​ +Some papers ​of project membersbefore ​the project started.
-  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 = {july}, +
-  note = {in review}, +
-  OPTannote = {}, +
-  file = {CSLTR-2_2008.pdf} +
-}+
  
-@InProceedings{gjn2008aaia+<bibtex mode="​text">​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, +@InProceedings{gjn2006:​mixdes
-  title = {Hierarchical Rule Design with HaDEs the HeKatE Toolchain}, +  author = {Grzegorz J. Nalepa and Piotr Zi\k{e}cik}, 
-  ​OPTcrossref ​=  {}, +  title = {Integrated embedded prolog platform for rule-based control systems}, 
-  OPTkey = {}, +  ​booktitle ​= {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : GdyniaPoland 22--24 June 2006 }, 
-  ​OPTbooktitle ​{}, +  ​pages = {716--721}, 
-  OPTpages =  {}, +  year =  2006
-  year =  {2008}+  ​editor ​= {Andrzej Napieralski}, 
-  ​OPTeditor ​ {}, +  ​address ​= {\L{}\,od\'z}, 
-  OPTvolume =  {}, +  ​publisher ​= {Technical University LodzDepartment of Microelectronics and Computer Science}
-  ​OPTnumber ​ {}, +
-  OPTseries =  {}, +
-  OPTaddress =  {}, +
-  OPTmonth = {}, +
-  ​OPTorganization ​{}, +
-  OPTpublisher = {}, +
-  note = {submitted to AAIA 2008}, +
-  OPTannote = {}, +
-  file = {GJN-AAIA2008.pdf}+
 } }
  
-@InProceedings{ali2008aaia+@InProceedings{gjn2006:​flairs
-  author = {Antoni Ligeza and Grzegorz J. Nalepa}, +  author = {Grzegorz J. Nalepa ​and Antoni Lig\k{e}za}, 
-  title = {An Attribute Logic with Set Values for Rule-Based Systems}, +  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 = {ALI-AAIA2008.pdf}+
 } }
  
-@InProceedings{gjn2008iclp,+@InProceedings{gjn2005:cms,
   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{kkAaia+@InProceedings{gjn2005:lit
-  author =  {Konrad Kułakowski ​and Grzegorz J. Nalepa}, +  author =   {Antoni Lig\k{e}za ​and Grzegorz J. Nalepa}, 
-  title  = {Modeling Business Rules with UML State Diagrams}, +  title =   {Visual design and on-line verification of tabular rule-based systems ​with XTT}, 
-  booktitle = {AAIA2008}, +  booktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005}, 
-  ​OPTpages ​  {}, +  ​OPTbooktitle ​=  {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005, 21.--23. September 2005, Leipzig}, 
-  year = {2008}, +  pages = {303--312}, 
-  ​OPTeditor ​  {},+  year = {2005}, 
 +  ​editor ​=  {Klaus P. Jantke and Klaus-Peter F\"​{a}hnrich and Wolfgang S. Wittig},
   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 = {will be submitted till 10 april 2008}, +
-  OPTannote = {}, +
-  file = {kk2008aaia.pdf}+
 } }
  
-@InProceedingskk2008icses+@InBook{gjn2005:​kkio
- title "Rapid prototyping ​of real time reactive ​systems, ​submitted to ICSES 2008"+  ​OPTannote ​   {ref waz gjn:​2005:​kkio:​conceptual},​ 
- author ​"​KułakowskiKonrad ​and KostrzewaMarek"+  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
- year "​2008"​+  chapter = {Conceptual modelling and automated implementation ​of rule-based ​systems}, 
-        ​file ​"​kk2008icses.pdf"​+  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
-@InProceedingskk2008slok+  ​author = {Grzegorz J. Nalepa and Antoni Ligęza}, 
- title = "​Architektura autonomicznego robota mobilnego z dynamicznym modelem świata"​+  ​title =  {A visual edition tool for design and verification of knowledge in rule-based systems}
- author ​"​KułakowskiKonrad and WąsJarosław and SzpyrkaMarcin"​+  ​journal ​ {Systems Science}, 
- year "​2008"​+  year = 2005, 
-        file = "​kkslok2008.doc"+  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},
  
-@Unpublished{gjn2008-varda+  booktitle =    ​{Advances in Web Intelligence:​ 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005}, 
-  author = {Grzegorz J. Nalepa ​and Igor Wojnicki}, +  pages =        {334--340},​ 
-  title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, +  year =         ​2005,​ 
-  ​note = {full version ​of the FLAIRS 2008 paper, not published in full}, +  editor = {Piotr Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  ​OPTkey ​= {}, +  editor =       ​{Piotr S. Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  ​OPTmonth ​  {}, +  volume =       {LNAI 3528}, 
-  ​year   {2008}, +  number = 3528, 
-  ​OPTannote ​  {}, +  series =       ​{Lecture Notes in Artificial Intelligence},​ 
-  ​file         ​{gjn-flairs2008-prolog-full.pdf}+  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>​ </​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 751: 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.1226961399.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