Differences

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

Link to this comparison view

hekate:bib:hekate_bibliography [2008/11/25 09:18]
gjn
hekate:bib:hekate_bibliography [2017/07/17 08:08]
Line 1: Line 1:
-====== Hekate Bibliography ====== 
  
- 
-===== Publications ===== 
- 
-Here is a list of publications regarding the [[:​hekate:​hekate|Hekate Project]]. 
- 
-<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{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} 
-} 
- 
-@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 = {} 
-} 
- 
-@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-uml.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-wiki.pdf} 
-} 
- 
-@InProceedings{gjn2008ki-varda,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {VARDA Rule Design and Visualization Tool-Chain},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  pages = {395-396}, 
-  year = {2008}, 
-  editor = {Andreas R. Dengel and \mbox{et al.}}, 
-  volume = {5243}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  address = {Berlin; Heidelberg},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer Verlag}, 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-KI2008-varda.pdf} 
-} 
- 
-@InProceedings{gjn2008ki-nxt,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Prototype Prolog API for Mindstorms NXT}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {KI 2008: Advances in Artificial Intelligence:​ 31st Annual German Conference on AI, KI 2008: Kaiserslautern,​ Germany, September 23--26, 2008}, 
-  pages = {393-394}, 
-  year = {2008}, 
-  editor = {Andreas R. Dengel and \mbox{et al.}}, 
-  volume = {5243}, 
-  OPTnumber = {}, 
-  series = {LNAI}, 
-  address = {Berlin; Heidelberg},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {Springer Verlag}, 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-KI2008-nxt.pdf} 
-} 
- 
-@InProceedings{gjn2008ruleapps,​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  title = {XTT+ Rule Design Using the ALSV(FD)}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {ECAI 2008: 18th European Conference on Artificial Intelligence:​ 2nd East European Workshop on Rule-based applications,​ RuleApps2008:​ Patras, 22 July 2008}, 
-  pages = {11--15}, 
-  year = {2008}, 
-  editor = {Adrian Giurca and Anastasia Analyti and Gerd Wagner}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Patras}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {University of Patras}, 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-RULEAPPS2008.pdf} 
-} 
- 
-@InProceedings{kk2008lublin,​ 
- title = "​Modelowanie Systemów Czasu Rzeczywistego w UML", 
- author = "​Kułakowski,​ Konrad and Kostrzewa, Marek",​ 
- year = "​2008",​ 
-        file = "​kklublin2007.pdf"​ 
-} 
- 
-@InProceedings{ali2008flairs,​ 
-  author = {Antoni Ligeza and Grzegorz J. Nalepa}, 
-  title = {Granular Logic with Variables for Implementation of Extended Tabular Trees}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {341--346}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {ALI-FLAIRS2008-granular.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-userv,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {UServ Case Study, Conceptual Design with ARD+ Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {347--352}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-userv.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-prologwiki,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Concept of an Interactive Web Portal for Teaching Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {240--244}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-prologwiki.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-ardformal,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Towards Formalization of ARD+ Conceptual Design and Refinement Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {353--358}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Menlo Park, California},​ 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-formal.pdf} 
-} 
- 
-@InProceedings{gjn2008flairs-ardprolog,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, 
-  pages = {373--374}, 
-  year = {2008}, 
-  editor = {David C. Wilson and H. Chad Lane}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {}, 
-  OPTmonth = {}, 
-  OPTorganization = {}, 
-  publisher = {AAAI Press}, 
-  OPTnote = {accepted}, 
-  OPTannote = {}, 
-  file = {GJN-FLAIRS2008-prolog.pdf} 
-} 
- 
-@InProceedings{ali2007cms-xtt-extended,​ 
-  author = {Antoni Ligęza}, 
-  title = {An Improved Knowledge Representation Language for XTT. Extended Tabular Graphs with Variables, Constraints and Control}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  OPTpages = {}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {CMS'​2007},​ 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {November}, 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {ali2007cms-xtt-extended.pdf} 
-} 
- 
-@InProceedings{gjn2007cms-destls,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Visual Design Tools for XTT-based Rulebases}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {71--76}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-destls.pdf} 
-} 
-@InProceedings{gjn2007cms-knowtrans,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {XML-based Knowledge Translation Methods for XTT-based Expert Systems}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {77-82}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  note = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-knowtrans.pdf} 
-} 
-@InProceedings{gjn2007cms-busproc,​ 
-  author = {Grzegorz J. Nalepa and Maria Antonina Mach}, 
-  title = {Conceptual Modeling of Business Rules and Processes with the XTT Method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​07:​ Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, 
-  pages = {65--70}, 
-  year = {2007}, 
-  editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  OPTaddress = {}, 
-  OPTmonth = {september},​ 
-  organization = {AGH University of Science and Technology, Cracow}, 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {to be published}, 
-  OPTannote = {}, 
-  file = {GJN-CMS2007-busproc.pdf} 
-} 
- 
-@InProceedings{gjn2007inap,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Proposal of visual generalized rule programming model for Prolog}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, 
-  pages = {195--204}, 
-  year = {2007}, 
-  editor = {Dietmar Seipel and \mbox{et al.}}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {},  ​ 
-  address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut fur Informatik},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-INAP2007-GREP.pdf} 
-} 
-@InProceedings{iww2007inap,​ 
-  author = {Igor Wojnicki and Grzegorz J. Nalepa}, 
-  title = {Prolog Hybrid Operators in the generalized rule programming model}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, 
-  pages = {205--214}, 
-  year = {2007}, 
-  editor = {Dietmar Seipel and \mbox{et al.}}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {},  ​ 
-  address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut f�r Informatik},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {IWW-INAP2007-HOP.pdf} 
-} 
- 
-@InProceedings{gjn2007ruleapps,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Proposal of business process and rules modeling with the XTT method}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Symbolic and numeric algorithms for scientific computing : SYNASC'​07 : 9th international symposium : RuleApps'​2007~-- workshop on Rule-based applications : Timisoara, Romania, September 26--29, 2007 : IeAT Technical Report 07-11}, 
-  pages = {17--23}, 
-  year = {2007}, 
-  OPTeditor = {}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Timisoara : West University},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {West University of Timisoara, Romania. Department of Computer Science, University Johannes Kepler, Linz, Austria. Research Institute for Symbolic Computation,​ Research Institute e-Austria, Timisoara, Romania}, 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  file = {GJN-RULEAPPS2007.pdf} 
-} 
- 
-@InProceedings{gjn2007safecomp,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Application of the XTT rule-based model for formal design and verifcation of Internet security systems}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Computer safety, reliability,​ and security : 26th international conference, SAFECOMP 2007 : Nuremberg, Germany, September 18--21, 2007 : proceedings},​ 
-  pages = {81--86}, 
-  year = {2007}, 
-  editor = {Francesca Saglietti and Norbert Oster}, 
-  OPTvolume = {LNCS 4680}, 
-  OPTnumber = {LNCS 4680}, 
-  series = {Lecture Notes in Computer Science}, 
-  address = {Berlin ; Heidelberg},​ 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Springer-Verlag},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {3-540-75100-9},​ 
-  issn = {0302-9743},​ 
-  file = {GJN-SAFECOMP2007-short.pdf} 
-} 
-@InProceedings{gjn2007icss,​ 
-  author = {Grzegorz J. Nalepa and Maria Antonina Mach}, 
-  title = {Intelligent business web applications design using the XTT approach}, 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {Proceedings of the 16th international conference on Systems science. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems : 4--6 September 2007, Wrocław, Poland}, 
-  pages = {405--412}, 
-  year = {2007}, 
-  editor = {Adam Grzech}, 
-  volume = {2}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Wrocław}, 
-  month = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Oficyna Wydawnicza Politechniki Wrocławskiej},​ 
-  OPTnote = {}, 
-  OPTannote = {}, 
-  isbn = {978-83-7493-340-7},​ 
-  file = {GJN-ICSS2007.pdf} 
-} 
-@InProceedings{gjn2007iwk,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Filling the semantic gaps in systems engineering},​ 
-  booktitle = {52. IWK : Internationales Wissenschaftliches Kolloquium = International Scientific Colloquium : computer science meets automation : 10--13 September 2007 : proceedings},​ 
-  pages = {107--112}, 
-  year = 2007, 
-  editor = {Peter Scharff}, 
-  volume = 1, 
-  address = {Ilmenau : TU Ilmenau. Universitatsbibliothek},​ 
-  publisher = {Technische Universitat Ilmenau. Faculty of Science and Automation.},​ 
-isbn = {978-3-939473-17-6},​ 
-file = {GJN-IWK2007.pdf} 
-} 
-@InProceedings{ptm2007ki,​ 
-  author = {Piotr Matyasik and Grzegorz J. Nalepa and Piotr Zięcik}, 
-  title = {Prolog-based real-time intelligent control of the Hexor mobile robot}, 
-  booktitle = {KI 2007 : advances in Artificial Intelligence : 30th annual German conference on AI, KI 2007 : Osnabruck, Germany, September 10--13, 2007 : proceedings},​ 
-  pages = {485--488}, 
-  year = {2007}, 
-  editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, 
-  volume = {LNAI 4667}, 
-  series = {Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence},​ 
-  address = {Berlin, Heidelberg},​ 
-  month = {september},​ 
-  publisher = {Springer-Verlag},​ 
-  issn = {0302-9743},​ 
-  isbn = {3-540-74564-5},​ 
-  file = {PTM-KI2007.pdf} 
-} 
-@InProceedings{gjn2007kese-exedes,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Knowledge-based approach to the executable design concept}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {47--58}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-ExeDes.pdf} 
-} 
-@InProceedings{gjn2007kese-grep,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Proposal of generalized rule programming model}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {59-70}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-GREP.pdf} 
-} 
-@InProceedings{gjn2007kese-keuml,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Using UML for knowledge engineering \u2013 a critical overview}, 
-  booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, 
-  pages = {37--46}, 
-  year = {2007}, 
-  editor = {Joachim Baumeister and Dietmar Seipel}, 
-  month = {september},​ 
-  file = {GJN-KESE2007-KE_UML.pdf} 
-} 
-@InProceedings{gjn2007enase,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {Visual software modelling with extended rule-based model : a knowledge-based programming solution for general software design}, 
-  booktitle = {ENASE 2007 : proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering : Barcelona, Spain, July 23--25, 2007}, 
-  pages = {41--47}, 
-  year = 2007, 
-  editor = {Cesar Gonzalez-Perez and Leszek A. Maciaszek}, 
-  month = {july}, 
-  publisher = {INSTICC Press}, 
-  isbn = {ISBN 978-989-8111-10-4},​ 
-  file = {GJN-ENASE2007.pdf} 
-} 
-@InProceedings{gjn2007awic,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {A Unified Firewall Model for Web Security}, 
-  booktitle = {Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference -- AWIC'​2007,​ Fontainebleau,​ France, June 2007}, 
-  pages = {248--253}, 
-  year = {2007}, 
-  editor = {Katarzyna M. Węgrzyn-Wolska and Piotr S. Szczepaniak},​ 
-  volume = {43}, 
-  series = {Advances in Soft Computing}, 
-  address = {Berlin Heidelberg New York}, 
-  month = {june}, 
-  publisher = {Springer-Verlag},​ 
-  file =         ​{GJN-AWIC2007.pdf} 
-} 
-@Unpublished{gjn2007ebrc,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Business Rules Design and Analysis Approaches},​ 
-  note = {presentation given at the 6th European Business Rules Conference},​ 
-  url =          {http://​www.eurobizrules.org/​Uploads/​Files/​Nalepa_2c_20G_2.pdf},​ 
-  month = {june}, 
-  year = {2007}, 
-  file =         ​{GJN-EBRC2007.pdf} 
-} 
-@InProceedings{ptm2007mixdes,​ 
-  author = {Piotr Matyasik and Grzegorz J. Nalepa}, 
-  title = {Knowledge-based control of reactive systems with multi-layer architecture},​ 
-  booktitle = {MIXDES 2007 : MIXed DESign of integrated circuits and systems : proceedings of the 14th international conference : Ciechocinek,​ Poland, 21--23 June, 2007}, 
-  pages = {667--672}, 
-  month = {june}, 
-  year = 2007, 
-  editor = {Andrzej Napieralski.},​ 
-  publisher = {\{}L\,​{o}d\,​{z} : Technical University of \{}L\,​{o}d\,​{z}. Department of Microelectronics and Computer Science}, 
-  file = {PTM-MIXDES2007.pdf} 
-} 
-@InProceedings{gjn2007flairs-bizrules,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Business Rules Design and Refinement using the XTT Approach}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {536--541}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{GJN-FLAIRS07-BizRules.pdf} 
-} 
-@InProceedings{gjn2007flairs-hekate,​ 
-  author = {Grzegorz J. Nalepa and Igor Wojnicki}, 
-  title = {A Proposal of Hybrid Knowledge Engineering and Refinement Approach}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {542--547}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{GJN-FLAIRS07-Hekate.pdf} 
-} 
-@InProceedings{ali2007flairs-granular,​ 
-  author = {Antoni Ligęza and Grzegorz J. Nalepa}, 
-  title = {Knowledge Representation with Granular Attributive Logic for XTT-based Expert Systems}, 
-  booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, 
-  pages = {530--535}, 
-  month = {may}, 
-  year = 2007, 
-  editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, 
-  address = {Menlo Park, California},​ 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press}, 
-  file =         ​{ALI-FLAIRS2007.pdf} 
-} 
- 
-</​bibtex>​ 
- 
- 
- 
- 
-===== In Progress ===== 
- 
-<bibtex mode="​text">​ 
- 
-@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{ 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. 
- 
-<bibtex mode="​text">​ 
-@InProceedings{gjn2006:​mixdes,​ 
-  author = {Grzegorz J. Nalepa and Piotr Zi\k{e}cik},​ 
-  title = {Integrated embedded prolog platform for rule-based control systems}, 
-  booktitle = {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22--24 June 2006 }, 
-  pages = {716--721}, 
-  year = 2006, 
-  editor = {Andrzej Napieralski},​ 
-  address = {\L{}\,​od\'​z},​ 
-  publisher = {Technical University Lodz. Department of Microelectronics and Computer Science} 
-} 
- 
-@InProceedings{gjn2006:​flairs,​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  title = {Prolog-based analysis of tabular rule-based systems with the "​XTT"​ approach}, 
-  booktitle = {FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11--13, 2006]}, 
-  pages = {426--431}, 
-  year = 2006, 
-  editor = {Geoffrey C. J. Sutcliffe and Randy G. Goebel}, 
-  address = {FLAIRS. - Menlo Park}, 
-  organization = {Florida Artificial Intelligence Research Society}, 
-  publisher = {AAAI Press} 
-} 
- 
-@InProceedings{gjn2005:​cms,​ 
-  author = {Grzegorz J. Nalepa}, 
-  title = {Rule-based systems design and implementation : methodologies and technologies},​ 
-  OPTcrossref =  {}, 
-  OPTkey = {}, 
-  booktitle = {CMS'​05. Plenary lectures and special session papers : Computer Methods and Systems}, 
-  pages = {329--340}, 
-  year = {2005}, 
-  editor = {Ryszard Tadeusiewicz,​ Antoni Lig\k{e}za, Maciej Szymkat}, 
-  volume = {1}, 
-  OPTnumber = {}, 
-  OPTseries = {}, 
-  address = {Krakw, Poland}, 
-  month = {November}, 
-  organization = {AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology},​ 
-  publisher = {Oprogramowanie Naukowo-Techniczne},​ 
-  OPTnote = {}, 
-  OPTannote = {} 
-} 
- 
-@InProceedings{gjn2005:​lit,​ 
-  author = {Antoni Lig\k{e}za and Grzegorz J. Nalepa}, 
-  title = {Visual design and on-line verification of tabular rule-based systems with XTT}, 
-  booktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005}, 
-  OPTbooktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage,​ LIT 2005, 21.--23. September 2005, Leipzig}, 
-  pages = {303--312}, 
-  year = {2005}, 
-  editor = {Klaus P. Jantke and Klaus-Peter F\"​{a}hnrich and Wolfgang S. Wittig}, 
-  OPTvolume = {}, 
-  OPTnumber = {}, 
-  series = {Lecture Notes in Informatics (LNI)}, 
-  OPTseries = {Lecture Notes in Informatics (LNI) -- Proceedings. Series of the Gesellschaft fur Informatik)},​ 
-  address = {Bonn}, 
-  OPTmonth = {september},​ 
-  OPTorganization = {}, 
-  publisher = {Gesellschaft fur Informatik} 
-} 
- 
-@InBook{gjn2005:​kkio,​ 
-  OPTannote =    {ref waz gjn:​2005:​kkio:​conceptual},​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  chapter = {Conceptual modelling and automated implementation of rule-based systems}, 
-  title = {Software engineering : evolution and emerging technologies},​ 
-  pages = {330--340}, 
-  year = 2005, 
-  editor = {Krzysztof Zieli\'​{n}ski and Tomasz Szmuc}, 
-  volume = 130, 
-  series = {Frontiers in Artificial Intelligence and Applications},​ 
-  address = {Amsterdam},​ 
-  publisher = {IOS Press} 
-} 
-@Article{gjn2005:​syssci:​mirella,​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  title = {A visual edition tool for design and verification of knowledge in rule-based systems}, 
-  journal = {Systems Science}, 
-  year = 2005, 
-  volume = 31, 
-  number = 3, 
-  pages = {103--109} 
-} 
-@Article{gjn2005:​syssci:​xtt,​ 
-  author = {Grzegorz J. Nalepa and Antoni Lig\k{e}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} 
-} 
-@InProceedings{gjn2005:​awic,​ 
-  author =       ​{Grzegorz J. Nalepa and Antoni Lig\k{e}za},​ 
-  title =        {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach}, 
- 
-  booktitle =    {Advances in Web Intelligence:​ 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005}, 
-  pages =        {334--340}, 
-  year =         2005, 
-  editor = {Piotr Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  editor =       ​{Piotr S. Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},​ 
-  volume =       {LNAI 3528}, 
-  number = 3528, 
-  series =       ​{Lecture Notes in Artificial Intelligence},​ 
-  address =      {Berlin, Heidelberg, New York}, 
-  publisher ​    = {Springer-Verlag} 
-} 
-@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\k{e}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>​ 
- 
-===== Instructions for Authors ===== 
- 
- 
-==== Papers ==== 
- 
-The main section [[hekate bibliography#​Publications]] is for papers which have already been **accepted only**. 
-Keep it in sync with the CVS, see [[hekatedev:​version_control#​bibliography]]. 
- 
-If you have any papers being reviewed or a significatnt work-in-progress put them in [[hekate bibliography#​In Progress]] section, please. 
- 
-Please upload papers as **PDF only!** 
- 
- --- //​[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/06/06 16:36// 
- 
-==== Links ==== 
- 
-You can create in-wiki links to the bibliograpy items, i.e.: 
- 
-  [[:​hekate:​bib:​hekate_bibliography#​gjn2007flairs-hekate]] 
- 
-Which produces the following link: [[:​hekate:​bib:​hekate_bibliography#​gjn2007flairs-hekate]] 
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