This is an old revision of the document!


Hekate Bibliography

Publications

Here is a list of publications regarding the 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 32st 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 32st 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>

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 Publications is for papers which have already been accepted only. Keep it in sync with the CVS, see bibliography.

If you have any papers being reviewed or a significatnt work-in-progress put them in In Progress section, please.

Please upload papers as PDF only!

Igor Wojnicki 2008/06/06 16:36

You can create in-wiki links to the bibliograpy items, i.e.:

[[:hekate:bib:hekate_bibliography#gjn2007flairs-hekate]]

Which produces the following link: gjn2007flairs-hekate

hekate/bib/hekate_bibliography.1227601382.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