This is an old revision of the document!


Hekate Bibliography

Publications

Here is a list of publications regarding the Hekate Project.

<bibtex mode=“text”>

@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}

}

@InProceedings{gjn2008ki-varda,

author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
title = 	 {VARDA Rule Design and Visualization Tool-Chain},
OPTcrossref =  {},
OPTkey = 	 {},
booktitle =	 {Proceedings of KI2008},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
series =	 {LNAI},
OPTaddress = 	 {},
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 =	 {Proceedings of KI2008},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
series =	 {LNAI},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
publisher =	 {Springer Verlag},
note =	 {to be published},
OPTannote = 	 {},
file = {GJN-KI2008-nxt.pdf}

}

@InProceedings{gjn2008ruleapps,

author = 	 {Grzegorz J. Nalepa and Antoni Ligeza},
title = 	 {XTT+ Rule Design Using the ALSV(FD)},
OPTcrossref =  {},
OPTkey = 	 {},
booktitle =	 {Proceedings of RuleApps 2008},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
OPTseries = 	 {},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
OPTpublisher = {},
note =	 {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{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 =	 {july},
note =	 {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 = 	 {},
OPTbooktitle = {},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
OPTseries = 	 {},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
OPTpublisher = {},
note =	 {submitted to AAIA 2008},
OPTannote = 	 {},
file = {GJN-AAIA2008.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{gjn2008kese-knowiki,

author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
title = 	 {Proposal of a Prolog-based Knowledge Wiki},
OPTcrossref =  {},
OPTkey = 	 {},
OPTbooktitle = {},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
OPTseries = 	 {},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
OPTpublisher = {},
note =	 {submitted to KESE 2008},
OPTannote = 	 {},
file = {GJN-KESE2008-knowiki.pdf}

}

@InProceedings{gjn2008kese-umlrep,

author = 	 {Grzegorz J. Nalepa and Krzysztof Kluza},
title = 	 {UML Representation Proposal for XTT Rule Design Method},
OPTcrossref =  {},
OPTkey = 	 {},
OPTbooktitle = {},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
OPTseries = 	 {},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
OPTpublisher = {},
note =	 {submitted to KESE 2008},
OPTannote = 	 {},
file = {GJN-KESE2008-umlrep.pdf}

}

@InProceedings{kkAaia,

author =  {Konrad Kułakowski and Grzegorz J. Nalepa},
title  = {Modeling Business Rules with UML State Diagrams},
booktitle =	 {AAIA2008},
OPTpages = 	 {},
year =	 {2008},
OPTeditor = 	 {},
OPTvolume = 	 {},
OPTnumber = 	 {},
OPTseries = 	 {},
OPTaddress = 	 {},
OPTmonth = 	 {},
OPTorganization = {},
OPTpublisher = {},
note =	 {will be submitted till 10 april 2008},
OPTannote = 	 {},
file = {kk2008aaia.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}

}

</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.1215199246.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