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/25 08:23]
wojnicki
hekate:bib:hekate_bibliography [2010/01/20 13:18]
gjn ptm rep
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">​ 
 +@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">​ <bibtex mode="​text">​
 @TechReport{kaczor2008csltr208,​ @TechReport{kaczor2008csltr208,​
Line 64: Line 466:
 } }
  
-@InProceedings{gjn2008inap+@InProceedings{Szp08-AAIA
-  author =   {Grzegorz J. Nalepa and Igor Wojnicki}, +author = {Marcin Szpyrka}, 
-  title =   {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators},+title = {Exclusion rule-based systems -- case study}, 
 +pages = {237-242},
   OPTcrossref =  {},   OPTcrossref =  {},
   OPTkey = {},   OPTkey = {},
-  booktitle = {Proceedings of INAP2007}, +  booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology}, 
-  ​OPTpages ​ {}, +  ​year = {2008}, 
-  year =  {2008}, +  ​editor ​=  {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski}, 
-  ​OPTeditor ​  {}, +  ​volume ​=  {3},
-  ​OPTvolume ​  {},+
   OPTnumber = {},   OPTnumber = {},
-  ​series ​=  {LNAI},+  ​OPTseries ​  {},
   OPTaddress = {},   OPTaddress = {},
   OPTmonth = {},   OPTmonth = {},
-  ​OPTorganization ​= {}, +  ​organization ​= {Polish Information Processing Society}, 
-  ​publisher ​=  {Springer}, +  ​OPTpublisher ​= {}, 
-  ​note = {to be published},+  ​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 = {},   OPTannote = {},
-  file = {GJN-INAP2008.pdf}+  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 99: Line 516:
   OPTpublisher = {},   OPTpublisher = {},
   OPTnote = {},   OPTnote = {},
-  OPTannote = {}+  OPTannote = {}, 
 +  url =          {http://​ceur-ws.org/​Vol-425}
 } }
  
Line 107: 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 120: Line 538:
   OPTnote = {},   OPTnote = {},
   OPTannote = {},   OPTannote = {},
-  file = {GJN-KESE2008-uml.pdf}+  file = {GJN-KESE2008-umlrep.pdf}
 } }
  
Line 141: Line 559:
   OPTnote = {},   OPTnote = {},
   OPTannote = {},   OPTannote = {},
-  file = {GJN-KESE2008-wiki.pdf}+  file = {GJN-KESE2008-knowiki.pdf}
 } }
  
Line 187: 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 207: 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 318: 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 656: Line 1116:
  
  
-===== In Progress ===== 
  
-<bibtex mode="​text">​+===== Related Papers =====
  
-@TechReport{ali2008principles,​ +==== Members'​ Papers ​====
-  author ​ {Antoni Ligeza}, +
-  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 = {xtt-principles.pdf} +
-}+
  
-@InProceedings{ali2008aaia,​ 
-  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}, 
-  title = {Programming Mindstorms NXT with Prolog - an API Prototype}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  OPTbooktitle = {}, 
-  OPTpages = {}, 
-  year = {2008}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {submitted to ICLP 2008}, 
-  OPTannote = {}, 
-  file = {GJN-ICLP2008.pdf} 
-} 
- 
-@InProceedings{ kk2008icses,​ 
- title = "Rapid prototyping of real time reactive systems, submitted to ICSES 2008", 
- author = "​Kułakowski,​ Konrad and Kostrzewa, Marek",​ 
- year = "​2008",​ 
-        file = "​kk2008icses.pdf"​ 
-} 
- 
-@InProceedings{ kk2008slok, 
- title = "​Architektura autonomicznego robota mobilnego z dynamicznym modelem świata",​ 
- author = "​Kułakowski,​ Konrad and Wąs, Jarosław and Szpyrka, Marcin",​ 
- year = "​2008",​ 
-        file = "​kkslok2008.doc"​ 
-} 
- 
-@Unpublished{gjn2008-varda,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, 
-  note = {full version of the FLAIRS 2008 paper, not published in full}, 
-  OPTkey = {}, 
-  OPTmonth = {}, 
-  year = {2008}, 
-  OPTannote = {}, 
-  file =         ​{gjn-flairs2008-prolog-full.pdf} 
-} 
- 
-@Unpublished{iw2009-xttenvi,​ 
-  author = {Igor Wojnicki}, 
-  title = {I/O Facilities for XTT Based Systems}, 
-  note = {send to flairs 2009, under review}, 
-  OPTkey = {}, 
-  OPTmonth = {}, 
-  year = {2009}, 
-  OPTannote = {}, 
-  file =         ​{xttenvi.pdf} 
-} 
-</​bibtex>​ 
- 
-===== Related Papers ===== 
 Some papers of project members, before the project started. Some papers of project members, before the project started.
  
Line 833: Line 1199:
 } }
 @Article{gjn2005:​syssci:​mirella,​ @Article{gjn2005:​syssci:​mirella,​
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},+  author = {Grzegorz J. Nalepa and Antoni Ligęza},
   title = {A visual edition tool for design and verification of knowledge in rule-based systems},   title = {A visual edition tool for design and verification of knowledge in rule-based systems},
   journal = {Systems Science},   journal = {Systems Science},
Line 839: Line 1205:
   volume = 31,   volume = 31,
   number = 3,   number = 3,
-  pages = {103--109}+  pages = {103--109}, 
 +  file = {icss04-gjn_ali-mirella.pdf}
 } }
 @Article{gjn2005:​syssci:​xtt,​ @Article{gjn2005:​syssci:​xtt,​
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},+  author = {Grzegorz J. Nalepa and Antoni Ligęza},
   title = {A graphical tabular model for rule-based logic programming and verification},​   title = {A graphical tabular model for rule-based logic programming and verification},​
   journal = {Systems Science},   journal = {Systems Science},
Line 848: Line 1215:
   volume = 31,   volume = 31,
   number = 2,   number = 2,
-  pages = {89--95}+  pages = {89--95}, 
 +  file = {icss04-gjn_ali-xtt.pdf}
 } }
 @InProceedings{gjn2005:​awic,​ @InProceedings{gjn2005:​awic,​
-  author =       ​{Grzegorz J. Nalepa and Antoni Lig\k{e}za},+  author =       ​{Grzegorz J. Nalepa and Antoni Ligęza},
   title =        {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach},   title =        {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach},
  
Line 863: Line 1231:
   series =       ​{Lecture Notes in Artificial Intelligence},​   series =       ​{Lecture Notes in Artificial Intelligence},​
   address =      {Berlin, Heidelberg, New York},   address =      {Berlin, Heidelberg, New York},
-  publisher ​    = {Springer-Verlag}+  publisher ​    = {Springer-Verlag}, 
 +  file = {awic03-gjnalepa.pdf}
 } }
 @PhdThesis{gjn:​phd,​ @PhdThesis{gjn:​phd,​
Line 874: Line 1243:
 } }
 @InProceedings{gjn2003:​awic,​ @InProceedings{gjn2003:​awic,​
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},+  author = {Grzegorz J. Nalepa and Antoni Ligęza},
   title = {Designing Reliable Web Security Systems Using Rule-Based   title = {Designing Reliable Web Security Systems Using Rule-Based
    Systems Approach},    Systems Approach},
Line 889: Line 1258:
   publisher = {Springer-Verlag},​   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 901: 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.txt · Last modified: 2017/07/17 08:08 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0