--- hekate:bib:hekate_bibliography [2008/07/04 13:30]
gjn
+++ hekate:bib:hekate_bibliography [2010/01/20 09:06]
gjn
@@ Line 1: / Line 1: @@
+~~ODT~~
 ====== Hekate Bibliography ======
@@ Line 4: / Line 6: @@
 ===== Publications =====
-Here is a list of publications regarding the [[:hekate:hekate|Hekate Project]].
+Here is a list of publications regarding the [[:hekate:start|HeKatE Project]].
-<bibtex mode="text">
+Available in the project CVS as //hekate-project.bib//
-@InProceedings{gjn2008inap,
+==== 2009 ====
+<bibtex mode="text">
+@TechReport{kluza2009csltr,
+  author = 	 {Krzysztof Kluza and Grzegorz J. Nalepa},
+  title = 	 {Analysis of UML Representation for XTT and ARD Rule Design Methods},
+  number = 	 {CSLTR 5/2009},
+  institution =  {AGH University of Science and Technology},
+  year = 	 {2009},
+  file = 	 {CSLTR-5_2009.pdf}
+}
+@TechReport{gjn2009csltr-heart,
+  author = 	 {Nalepa, G. J. and Bobek, S. and Gawędzki, M. and Ligęza, A.},
+  title = 	 {HeaRT Hybrid XTT2 Rule Engine Design and Implementation},
+  number = 	 {CSLTR 4/2009},
+  institution =  {AGH University of Science and Technology},
+  year = 	 {2009},
+  file = 	 {CSLTR-4_2009.pdf}
+}
+@InProceedings{gjn2009cms-hqed,
+  author = 	 {Krzysztof Kaczor and Grzegorz J. Nalepa},
+  title = 	 {Extensible design and verification enviroment for XTT rule bases},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland},
+  OPTpages =	 {99--104},
+  year =	 {2009},
+  OPTeditor =	 {Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  OPTaddress =	 {Kraków},
+  OPTmonth = 	 {},
+  OPTorganization = {},
+  OPTpublisher = {},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  isbn = {83-916420-5-4},
+  organization = {AGH University of Science and Technology, Cracow},
+  publisher = 	 {Oprogramowanie Naukowo-Techniczne},
+  file = 	 {GJN-CMS2009-hqed.pdf}
+}
+@InProceedings{gjn2009cms-alg,
+  author = 	 {Agata Ligęza and Grzegorz J. Nalepa},
+  title = 	 {Proposal of a Formal Verification Framework for the XTT2 Rule Bases},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland},
+  pages =	 {105-110},
+  year =	 {2009},
+  editor =	 {Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  address =	 {Kraków},
+  OPTmonth = 	 {},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  organization = {AGH University of Science and Technology, Cracow},
+  publisher = 	 {Oprogramowanie Naukowo-Techniczne},
+  file = 	 {GJN-CMS2009-alg.pdf}
+}
+@InProceedings{gjn2009cms-mof,
+  author = 	 {Krzysztof Kluza and Grzegorz J. Nalepa},
+  title = 	 {MOF-based Metamodeling for the XTT Knowledge Representation},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland},
+  OPTpages =	 {93--98},
+  year =	 {2009},
+  OPTeditor =	 {Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  OPTaddress =	 {Kraków},
+  OPTmonth = 	 {},
+  OPTorganization = {},
+  OPTpublisher = {},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  isbn = {83-916420-5-4},
+  organization = {AGH University of Science and Technology, Cracow},
+  publisher = 	 {Oprogramowanie Naukowo-Techniczne},
+  file = 	 {GJN-CMS2009-mof.pdf}
+}
+@InProceedings{gjn2009bi,
+  author = 	 {Grzegorz J. Nalepa and Maria A. Mach},
+  title = 	 {Business Rules Design Method for Business Process Management},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {Proceedings of the International Multiconference on Computer Science and Information Technology},
+  pages =	 {165-170},
+  year =	 {2009},
+  editor =	 {M. Ganzha and M. Paprzycki},
+  OPTvolume = 	 {4},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  OPTaddress = 	 {},
+  OPTmonth = 	 {},
+  organization = {Polish Information Processing Society},
+  publisher =	 {IEEE Computer Society Press},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  file = {GJN-BI2009.pdf}
+}
+@InProceedings{gjn2009ruleapps,
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza and Krzysztof Kaczor and Weronika T. Furmańska},
+  title = 	 {HeKatE Rule Runtime and Design Framework},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, 2009},
+  pages =	 {21-30},
+  year =	 {2009},
+  editor =	 {Adrian Giurca, Grzegorz J. Nalepa, Gerd Wagner},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  address =	 {Cottbus, Germany},
+  OPTmonth = 	 {},
+  OPTorganization = {},
+  OPTpublisher = {},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  file = 	 {GJN-RULEAPPS2009.pdf}
+}
+@InProceedings{gjn2009kese-hades,
+  author = 	 {Krzysztof Kaczor and Grzegorz J. Nalepa},
+  title = 	 {HaDEs - Presentation of the HeKatE Design Environment},
+  OPTcrossref =  {},
+  OPTkey = 	 {},
+  booktitle =	 {5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany},
+  pages =	 {57-62},
+  year =	 {2009},
+  editor =	 {Joachim Baumeister and Grzegorz J. Nalepa},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTseries = 	 {},
+  address =	 {Paderborn, Germany},
+  OPTmonth = 	 {},
+  OPTorganization = {},
+  OPTpublisher = {},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  file = 	 {GJN-KESE2009hades.pdf}
+}
+@InBook{gjn2009iccci-daal,
+  author = 	{Nalepa, Grzegorz J. and Furma\'nska, Weronika T.},
+  title = 	{New Challenges in Computational Collective Intelligence},
+  publisher = 	{Springer Berlin / Heidelberg},
+  chapter = 	{Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications},
+  editor = 	{Ngoc Thanh Nguyen, Radosław Piotr Katarzyniak, Adam Janiak},
+  series = 	{Studies in Computational Intelligence},
+  year = 	{2009},
+  pages = 	{15-26},
+  OPTnote =	{1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems},
+  file =        {GJN-ICCCI2009.pdf}
+}
+@TechReport{csltr0109ard,
   author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
-  title = 	 {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators},
+  title = 	 {ARD+ a Prototyping Method for Decision Rules. Method Overview, Tools, and the Thermostat Case Study},
+  institution =  {AGH University of Science and Technology},
+  year = 	 2009,
+  number =	 {CSLTR 01/2009},
+  month =	 {june},
+  file = 	 {CSLTR-1_2009.pdf}
+}
+@Article{gjn2009amcs,
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
+  Title = 	 {HeKatE Methodology, Hybrid Engineering Of Intelligent Systems},
+  journal = 	 {International Journal of Applied Mathematics and Computer Science},
+  year = 	 {2009},
+  OPTkey = 	 {},
+  OPTvolume = 	 {},
+  OPTnumber = 	 {},
+  OPTpages = 	 {},
+  OPTmonth = 	 {},
+  note =	 {accepted for publication},
+  OPTannote = 	 {},
+  file =         {GJN-AMCS2009.pdf}
+}
+@InProceedings{gjn2009iwse-sw,
+  author = 	 {Weronika T. Furmańska and Grzegorz J. Nalepa},
+  title = 	 {Nowe metody reprezentacji reguł dla Sieci Semantycznej},
   OPTcrossref =  {},
   OPTkey = 	 {},
-  booktitle =	 {Proceedings of INAP2007},
+  booktitle =	 {Inżynieria Wiedzy i Systemy Ekspertowe},
   OPTpages = 	 {},
-  year = 	 {2008},
+  year =	 {2009},
   OPTeditor = 	 {},
   OPTvolume = 	 {},
   OPTnumber = 	 {},
-  series =	 {LNAI},
+  OPTseries = 	 {},
   OPTaddress = 	 {},
   OPTmonth = 	 {},
   OPTorganization = {},
-  publisher =	 {Springer},
+  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-INAP2008.pdf}
+  file =         {GJN-FLAIRS2009ard.pdf}
+}
+@InProceedings{gjn2009flairs-alsvfd,
+  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-FLAIRS2009alsvfd.pdf}
+}
+@InProceedings{gjn2009flairs-wikikv,
+  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-FLAIRS2009wikikv.pdf}
+}
+@InProceedings{gjn2009flairs-oom,
+  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-FLAIRS2009oom.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}
 }
@@ Line 34: / Line 558: @@
   OPTcrossref =  {},
   OPTkey = 	 {},
-  booktitle =	 {Proceedings of KI2008},
+  booktitle =	 {KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23--26, 2008},
-  OPTpages = 	 {},
+  pages =	 {395-396},
   year =	 {2008},
-  OPTeditor = 	 {},
+  editor =	 {Andreas R. Dengel and \mbox{et al.}},
-  OPTvolume = 	 {},
+  volume =	 {5243},
   OPTnumber = 	 {},
   series =	 {LNAI},
-  OPTaddress = 	 {},
+  address =	 {Berlin; Heidelberg},
   OPTmonth = 	 {},
   OPTorganization = {},
@@ Line 55: / Line 579: @@
   OPTcrossref =  {},
   OPTkey = 	 {},
-  booktitle =	 {Proceedings of KI2008},
+  booktitle =	 {KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23--26, 2008},
-  OPTpages = 	 {},
+  pages =	 {393-394},
   year =	 {2008},
-  OPTeditor = 	 {},
+  editor =	 {Andreas R. Dengel and \mbox{et al.}},
-  OPTvolume = 	 {},
+  volume =	 {5243},
   OPTnumber = 	 {},
   series =	 {LNAI},
-  OPTaddress = 	 {},
+  address =	 {Berlin; Heidelberg},
   OPTmonth = 	 {},
   OPTorganization = {},
   publisher =	 {Springer Verlag},
-  note =	 {to be published},
+  OPTnote =	 {to be published},
   OPTannote = 	 {},
   file = {GJN-KI2008-nxt.pdf}
@@ Line 72: / Line 596: @@
 @InProceedings{gjn2008ruleapps,
-  author = 	 {Grzegorz J. Nalepa and Antoni Ligeza},
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
   title = 	 {XTT+ Rule Design Using the ALSV(FD)},
   OPTcrossref =  {},
   OPTkey = 	 {},
-  booktitle =	 {Proceedings of RuleApps 2008},
+  booktitle =	 {ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008: Patras, 22 July 2008},
-  OPTpages = 	 {},
+  pages =	 {11--15},
   year =	 {2008},
-  OPTeditor = 	 {},
+  editor =	 {Adrian Giurca and Anastasia Analyti and Gerd Wagner},
   OPTvolume = 	 {},
   OPTnumber = 	 {},
   OPTseries = 	 {},
-  OPTaddress = 	 {},
+  address =	 {Patras},
   OPTmonth = 	 {},
   OPTorganization = {},
-  OPTpublisher = {},
+  publisher =	 {University of Patras},
-  note =	 {to be published},
+  OPTnote =	 {to be published},
   OPTannote = 	 {},
   file = {GJN-RULEAPPS2008.pdf}
 }
-@InProceedings{kk2008lublin,
+@InProceedings{kk2008autoa,
-	title = "Modelowanie Systemów Czasu Rzeczywistego w UML",
+	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 = "kklublin2007.pdf"
+        file = "kk2008icses.pdf"
 }
 @InProceedings{ali2008flairs,
-  author = 	 {Antoni Ligeza and Grzegorz J. Nalepa},
+  author = 	 {Antoni Ligęza and Grzegorz J. Nalepa},
   title = 	 {Granular Logic with Variables for Implementation of Extended Tabular Trees},
   OPTcrossref =  {},
@@ Line 203: / Line 744: @@
   file = {GJN-FLAIRS2008-prolog.pdf}
 }
+@InBook{gjn2008kdc,
+  author =	 {Grzegorz J. Nalepa},
+  title = 	 {Knowledge-driven computing: knowledge engineering and intelligent computations},
+  chapter = 	 {Methodologies and technologies for rule-based systems design and implementation. Towards hybrid knowledge engineering},
+  publisher = 	 {Springer-Verlag},
+  year = 	 {2008},
+  OPTkey = 	 {},
+  volume =	 {102},
+  OPTnumber = 	 {},
+  series =	 {Studies in Computational Intelligence},
+  OPTtype = 	 {},
+  OPTaddress = 	 {},
+  OPTedition = 	 {},
+  OPTmonth = 	 {},
+  pages =	 {183-198},
+  OPTnote = 	 {},
+  OPTannote = 	 {},
+  file = 	 {GJN-KDC2008.pdf}
+}
+</bibtex>
+==== 2007 ====
+<bibtex mode="text">
 @InProceedings{ali2007cms-xtt-extended,
@@ Line 541: / Line 1107: @@
-===== In Progress =====
-<bibtex mode="text">
+===== Related Papers =====
-@TechReport{kaczor2008csltr208,
+==== Members' Papers ====
-  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,
+Some papers of project members, before the project started.
-  author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
-  title = 	 {Hierarchical Rule Design with HaDEs the HeKatE Toolchain},
+<bibtex mode="text">
-  OPTcrossref =  {},
+@InProceedings{gjn2006:mixdes,
-  OPTkey = 	 {},
+  author = 	 {Grzegorz J. Nalepa and Piotr Zi\k{e}cik},
-  OPTbooktitle = {},
+  title = 	 {Integrated embedded prolog platform for rule-based control systems},
-  OPTpages = 	 {},
+  booktitle =	 {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22--24 June 2006 },
-  year =	 {2008},
+  pages =	 {716--721},
-  OPTeditor = 	 {},
+  year =	 2006,
-  OPTvolume = 	 {},
+  editor =	 {Andrzej Napieralski},
-  OPTnumber = 	 {},
+  address =	 {\L{}\,od\'z},
-  OPTseries = 	 {},
+  publisher =	 {Technical University Lodz. Department of Microelectronics and Computer Science}
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {submitted to AAIA 2008},
-  OPTannote = 	 {},
-  file = {GJN-AAIA2008.pdf}
 }
-@InProceedings{ali2008aaia,
+@InProceedings{gjn2006:flairs,
-  author = 	 {Antoni Ligeza and Grzegorz J. Nalepa},
+  author = 	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
-  title = 	 {An Attribute Logic with Set Values for Rule-Based Systems},
+  title = 	 {Prolog-based analysis of tabular rule-based systems with the "XTT" approach},
-  OPTcrossref =  {},
+  booktitle =	 {FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11--13, 2006]},
-  OPTkey = 	 {},
+  pages =	 {426--431},
-  OPTbooktitle = {},
+  year =	 2006,
-  OPTpages = 	 {},
+  editor =	 {Geoffrey C. J. Sutcliffe and Randy G. Goebel},
-  year =	 {2008},
+  address =	 {FLAIRS. - Menlo Park},
-  OPTeditor = 	 {},
+  organization = {Florida Artificial Intelligence Research Society},
-  OPTvolume = 	 {},
+  publisher =	 {AAAI Press}
-  OPTnumber = 	 {},
-  OPTseries = 	 {},
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {submitted to AAIA 2008},
-  OPTannote = 	 {},
-  file = {ALI-AAIA2008.pdf}
 }
-@InProceedings{gjn2008iclp,
+@InProceedings{gjn2005:cms,
   author = 	 {Grzegorz J. Nalepa},
-  title = 	 {Programming Mindstorms NXT with Prolog - an API Prototype},
+  title = 	 {Rule-based systems design and implementation : methodologies and technologies},
   OPTcrossref =  {},
   OPTkey = 	 {},
-  OPTbooktitle = {},
+  booktitle =	 {CMS'05. Plenary lectures and special session papers : Computer Methods and Systems},
-  OPTpages = 	 {},
+  pages =	 {329--340},
-  year =	 {2008},
+  year =	 {2005},
-  OPTeditor = 	 {},
+  editor =	 {Ryszard Tadeusiewicz, Antoni Lig\k{e}za, Maciej Szymkat},
-  OPTvolume = 	 {},
+  volume =	 {1},
   OPTnumber = 	 {},
   OPTseries = 	 {},
-  OPTaddress = 	 {},
+  address =	 {Krakw, Poland},
-  OPTmonth = 	 {},
+  month =	 {November},
-  OPTorganization = {},
+  organization = {AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology},
-  OPTpublisher = {},
+  publisher =	 {Oprogramowanie Naukowo-Techniczne},
-  note =	 {submitted to ICLP 2008},
+  OPTnote = 	 {},
-  OPTannote = 	 {},
+  OPTannote = 	 {}
-  file = {GJN-ICLP2008.pdf}
 }
-@InProceedings{gjn2008kese-knowiki,
+@InProceedings{gjn2005:lit,
-  author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
+  author = 	 {Antoni Lig\k{e}za and Grzegorz J. Nalepa},
-  title = 	 {Proposal of a Prolog-based Knowledge Wiki},
+  title = 	 {Visual design and on-line verification of tabular rule-based systems with XTT},
-  OPTcrossref =  {},
+  booktitle =	 {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005},
-  OPTkey = 	 {},
+  OPTbooktitle =	 {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, 21.--23. September 2005, Leipzig},
-  OPTbooktitle = {},
+  pages =	 {303--312},
-  OPTpages = 	 {},
+  year =	 {2005},
-  year =	 {2008},
+  editor =	 {Klaus P. Jantke and Klaus-Peter F\"{a}hnrich and Wolfgang S. Wittig},
-  OPTeditor = 	 {},
   OPTvolume = 	 {},
   OPTnumber = 	 {},
-  OPTseries = 	 {},
+  series =	 {Lecture Notes in Informatics (LNI)},
-  OPTaddress = 	 {},
+  OPTseries =	 {Lecture Notes in Informatics (LNI) -- Proceedings. Series of the Gesellschaft fur Informatik)},
-  OPTmonth = 	 {},
+  address =	 {Bonn},
+  OPTmonth = 	 {september},
   OPTorganization = {},
-  OPTpublisher = {},
+  publisher =	 {Gesellschaft fur Informatik}
-  note =	 {submitted to KESE 2008},
-  OPTannote = 	 {},
-  file = {GJN-KESE2008-knowiki.pdf}
 }
-@InProceedings{gjn2008kese-umlrep,
+@InBook{gjn2005:kkio,
-  author = 	 {Grzegorz J. Nalepa and Krzysztof Kluza},
+  OPTannote =    {ref waz gjn:2005:kkio:conceptual},
-  title = 	 {UML Representation Proposal for XTT Rule Design Method},
+  author = 	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
-  OPTcrossref =  {},
+  chapter = 	 {Conceptual modelling and automated implementation of rule-based systems},
-  OPTkey = 	 {},
+  title =	 {Software engineering : evolution and emerging technologies},
-  OPTbooktitle = {},
+  pages =	 {330--340},
-  OPTpages = 	 {},
+  year =	 2005,
-  year =	 {2008},
+  editor =	 {Krzysztof Zieli\'{n}ski and Tomasz Szmuc},
-  OPTeditor = 	 {},
+  volume =	 130,
-  OPTvolume = 	 {},
+  series =	 {Frontiers in Artificial Intelligence and Applications},
-  OPTnumber = 	 {},
+  address =	 {Amsterdam},
-  OPTseries = 	 {},
+  publisher =	 {IOS Press}
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {submitted to KESE 2008},
-  OPTannote = 	 {},
-  file = {GJN-KESE2008-umlrep.pdf}
 }
+@Article{gjn2005:syssci:mirella,
-@InProceedings{kkAaia,
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
-  author =  {Konrad Kułakowski and Grzegorz J. Nalepa},
+  title = 	 {A visual edition tool for design and verification of knowledge in rule-based systems},
-  title  = {Modeling Business Rules with UML State Diagrams},
+  journal = 	 {Systems Science},
-  booktitle =	 {AAIA2008},
+  year = 	 2005,
-  OPTpages = 	 {},
+  volume =	 31,
-  year =	 {2008},
+  number =	 3,
-  OPTeditor = 	 {},
+  pages =	 {103--109},
-  OPTvolume = 	 {},
+  file = {icss04-gjn_ali-mirella.pdf}
-  OPTnumber = 	 {},
-  OPTseries = 	 {},
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {will be submitted till 10 april 2008},
-  OPTannote = 	 {},
-  file = {kk2008aaia.pdf}
 }
+@Article{gjn2005:syssci:xtt,
-@InProceedings{ kk2008icses,
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
-	title = "Rapid prototyping of real time reactive systems, submitted to ICSES 2008",
+  title = 	 {A graphical tabular model for rule-based logic programming and verification},
-	author = "Kułakowski, Konrad and Kostrzewa, Marek",
+  journal = 	 {Systems Science},
-	year = "2008",
+  year = 	 2005,
-        file = "kk2008icses.pdf"
+  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},
-@InProceedings{ kk2008slok,
+  booktitle =    {Advances in Web Intelligence: 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005},
-	title = "Architektura autonomicznego robota mobilnego z dynamicznym modelem świata",
+  pages =        {334--340},
-	author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin",
+  year =         2005,
-	year = "2008",
+  editor =	 {Piotr Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski},
-        file = "kkslok2008.doc"
+  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,
-@Unpublished{gjn2008-varda,
+  author = 	 {Grzegorz J. Nalepa},
-  author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
+  title = 	 {Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems},
-  title = 	 {An ARD+ Design and Visualization Toolchain Prototype in Prolog},
+  school = 	 {AGH University of Science and Technology},
-  note = 	 {full version of the FLAIRS 2008 paper},
+  year = 	 2004,
-  OPTkey = 	 {},
+  address =	 {AGH Institute of Automatics, Cracow, Poland},
-  OPTmonth = 	 {},
+  month =	 {September}
-  OPTyear = 	 {},
+}
-  OPTannote = 	 {},
+@InProceedings{gjn2003:awic,
-  file =         {gjn-flairs2008-prolog-full.pdf}
+  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
+-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 [[verification_bibliography|bibliography of some important papers related to the analysis incl. verification of intelligent systems is available separately]].
 ===== Instructions for Authors =====
@@ Line 719: / Line 1264: @@
 Keep it in sync with the CVS, see [[hekatedev:version_control#bibliography]].
-If you have any papers being reviewed or a significatnt work-in-progress put them in [[hekate bibliography#In Progress]] section, please.
+If you have any papers being reviewed or a significatnt work-in-progress put them in
+[[hekatedev:papers_in_progress]], please.
 Please upload papers as **PDF only!**
- --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/06/06 16:36//
 ==== Links ====

hekate/bib/hekate_bibliography.txt · Last modified: 2019/06/27 15:49 (external edit)

Show page Old revisions

Media Manager Back to top

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

HeKatE

Differences