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 [2009/02/20 11:50]
kony
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//​ Available in the project CVS as //​hekate-project.bib//​
Line 10: Line 12:
 ==== 2009 ==== ==== 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{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>​ </​bibtex>​
 +
 ==== 2008 ==== ==== 2008 ====
 <bibtex mode="​text">​ <bibtex mode="​text">​
Line 104: Line 500:
   OPTannote = {},   OPTannote = {},
   file = {CSLTR-1_2008.pdf}   file = {CSLTR-1_2008.pdf}
-} 
- 
-@InProceedings{gjn2008inap,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of INAP2007}, 
-  OPTpages = {}, 
-  year = {2008}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-INAP2008.pdf} 
 } }
  
Line 230: 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 275: Line 650:
  
 @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 378: 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>​ </​bibtex>​
  
Line 720: Line 1115:
  
  
-===== In Progress ===== 
  
-<bibtex mode="​text">​ 
- 
-@InProceedings{gjn2009flairs-xttoo,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {XTT Rules Design and Implementation with Object-Oriented Methods}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  OPTbooktitle = {}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {submitted to FLAIRS-22, as of November 2008}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2009-xttoo.pdf} 
-} 
- 
-@InProceedings{gjn2009flairs-salrules,​ 
-  author = {Grzegorz J. Nalepa and Antoni Ligeza}, 
-  title = {}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  OPTbooktitle = {}, 
-  OPTpages = {}, 
-  year = {2009}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  OPTpublisher = {}, 
-  note = {submitted to FLAIRS-22, as of November 2008}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2009-salrules.pdf} 
-} 
- 
-@TechReport{ali2008principles,​ 
-  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{ 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 ===== ===== Related Papers =====
Line 936: 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 942: 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 951: 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 966: 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 977: 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 1007: 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.1235130634.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