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{kkAaia,
author = {Konrad Ku\l{}akowski and Grzegorz J. Nalepa},
title = {Modeling Business Rules with UML State Diagrams},
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 = {will be submitted till 10 april 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>
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>