Hekate Bibliography

Publications

Here is a list of publications regarding the HeKatE Project.

Available in the project CVS as hekate-project.bib

2009

<bibtex mode=“text”> @InProceedings{gjn2009iwse-sw,

author =	{Weronika T. Furmańska and Grzegorz J. Nalepa},
title =	{Nowe metody reprezentacji reguł dla Sieci Semantycznej},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{Inżynieria Wiedzy i Systemy Ekspertowe},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
OPTnote =	{},
OPTannote =	{},
file = {GJN-IWSE2009sw.pdf}

}

@InProceedings{gjn2009iwse-uml,

author =	{Krzysztof Kluza and Grzegorz J. Nalepa},
title =	{Metody i narzędzia wizualnego projektowania reguł decyzyjnych},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{Inżynieria Wiedzy i Systemy Ekspertowe},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
OPTnote =	{},
OPTannote =	{},
file = {GJN-IWSE2009uml.pdf}

}

@InProceedings{gjn2009iwse-hqed,

author =	{Krzysztof Kaczor and Grzegorz J. Nalepa},
title =	{HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{Inżynieria Wiedzy i Systemy Ekspertowe},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
OPTnote =	{},
OPTannote =	{},
file = {GJN-IWSE2009hqed.pdf}

}

@InProceedings{gjn2009flairs-ard,

author =	{Martin Atzmueller and Grzegorz J. Nalepa},
title =	{A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
note =	{to be published},
OPTannote =	{},
file = {GJN-FLAIRS2009ard.pdf}

}

@InProceedings{gjn2009flairs-alsvd,

author =	{Grzegorz J. Nalepa and Antoni Ligęza},
title =	{On ALSV Rules Formulation and Inference},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
note =	{to be published},
OPTannote =	{},
file = {GJN-FLAIRS2009alsvd.pdf}

}

@InProceedings{gjn2009flairs-wikiv,

author =	{Joachim Baumeister and Grzegorz J. Nalepa},
title =	{Verification of Distributed Knowledge in Semantic Knowledge Wikis},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
note =	{to be published},
OPTannote =	{},
file = {GJN-FLAIRS2009wikiv.pdf}

}

@InProceedings{gjn2009flairs,

author =	{Grzegorz J. Nalepa},
title =	{XTT Rules Design and Implementation with Object-Oriented Methods},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19--21 May 2009, Sanibel Island, Florida, USA},
OPTpages =	{},
year =	{2009},
OPTeditor =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTaddress =	{},
OPTmonth =	{},
OPTorganization = {},
OPTpublisher = {},
note =	{to be published},
OPTannote =	{},
file = {GJN-FLAIRS2009.pdf}

}

@InBook{ali2009hrer,

author =	{Antoni Ligęza and Grzegorz J. Nalepa},
title =	{Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches},
chapter =	{Logical Representation and Verification of Rules},
publisher =	{Information Science Reference},
year =	{2009},
OPTkey =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTtype =	{},
OPTaddress =	{},
OPTedition =	{},
OPTmonth =	{},
OPTpages =	{},
note =	{to be published},
OPTannote =	{},
file = {ALI-HRER2009-RVV.pdf}

}

@InBook{gjn2009hrer,

author =	{Grzegorz J. Nalepa},
title =	{Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches},
chapter =	{Languages and Tools for Rule Modeling},
publisher =	{Information Science Reference},
year =	{2009},
OPTkey =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTseries =	{},
OPTtype =	{},
OPTaddress =	{},
OPTedition =	{},
OPTmonth =	{},
OPTpages =	{},
note =	{to be published},
OPTannote =	{},
file = {GJN-HRER2009-LTRM.pdf}

}

@InProceedings{gjn2009inap,

author =	{Grzegorz J. Nalepa and Igor Wojnicki},
title =	{Visual Generalized Rule Programming Model for Prolog with Hybrid Operators},
OPTcrossref = {},
OPTkey =	{},
booktitle =	{INAP2007/WLP 2007},
pages =	{178--194},
year =	{2009},
editor =	{D. Seipel and M. Hanus and A. Wolf},
volume =	{5437},
OPTnumber =	{},
series =	{LNAI},
address =	{Berlin Heidelberg},
OPTmonth =	{},
OPTorganization = {},
publisher =	{Springer},
OPTnote =	{to be published},
OPTannote =	{},
file = {GJN-INAP2009.pdf}

} </bibtex>

2008

<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{Szp08-AAIA, author = {Marcin Szpyrka}, title = {Exclusion rule-based systems -- case study}, pages = {237-242},

OPTcrossref = {},
OPTkey =	{},
booktitle =	{Proceedings of the International Multiconference on Computer Science and Information Technology},
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 = {mszp2008aaia.pdf}

}

@TechReport{matyasik2008csltr108,

author =	{Piotr Matyaski and Piotr Ziecik},
title =	{The Hexor robot control software},
institution = {AGH University of Science and Technology},
year =	{2008},
OPTkey =	{},
OPTtype =	{},
number =	{CSLTR 01/2008},
OPTaddress =	{},
month =	{october},
OPTnote =	{},
OPTannote =	{},
file = {CSLTR-1_2008.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 =	{},
url = {http://ceur-ws.org/Vol-425}

}

@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-umlrep.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-knowiki.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ę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{kk2008autoa,

title = "Architektura Autonomicznego Robota Mobilnego z Dynamicznym Modelem Świata",
author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin",
year = "2008",
booktitle = "Automatyka",
file = "kkSlok2008bwA.pdf"

}

@InProceedings{kk2008autob,

title = "Dynamiczny Model Świata w Sterowaniu Autonomicznym Robotem Mobilnym",
author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin",
year = "2008",
booktitle = "Automatyka",
file = "kkSlok2008bwB.pdf"

}

@InProceedings{ kk2008icses,

title = "Rapid prototyping of real time reactive systems",
author = "Kułakowski, Konrad and Kostrzewa, Marek",
booktitle = "Proceedings of ICSES 2008 International Conference on Signal and Electronic Systems",
year = "2008",
file = "kk2008icses.pdf"

}

@InProceedings{ali2008flairs,

author =	{Antoni Ligęza 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}

} </bibtex>

2007

<bibtex mode=“text”>

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

@Article{gjn2009amcs,

author =	{Grzegorz J. Nalepa and Antoni Ligęza},
Title =	{HeKatE Methodology, Hybrid Engineering Of Intelligent Systems},
journal =	{Applied Mathematics and Computer Science},
year =	{2009},
OPTkey =	{},
OPTvolume =	{},
OPTnumber =	{},
OPTpages =	{},
OPTmonth =	{},
note =	{submitted},
OPTannote =	{},
file = {GJN-AMCS2009.pdf}

}

@TechReport{ali2008principles,

author =	{Antoni Ligeza},
title =	{Principles of Knowledge Representation Language for XTT. A Systematic Review},
institution = {AGH University of Science and Technology},
year =	{2008},
OPTkey =	{},
OPTtype =	{},
OPTnumber =	{CSLTR02/2008},
OPTaddress =	{},
month =	{july},
OPTnote =	{in review},
OPTannote =	{},
OPTfile = {xtt-principles.pdf}

}

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

}

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

}

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

}

</bibtex>

Related Papers

Members' 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ę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},
file = {icss04-gjn_ali-mirella.pdf}

} @Article{gjn2005:syssci:xtt,

author =	{Grzegorz J. Nalepa and Antoni Ligę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},
file = {icss04-gjn_ali-xtt.pdf}

} @InProceedings{gjn2005:awic,

author = {Grzegorz J. Nalepa and Antoni Ligę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},
file = {awic03-gjnalepa.pdf}

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

Verification papers

A bibliography of some important papers related to the analysis incl. verification of intelligent systems is available separately.

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

Links

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