--- hekate:bib:hekate_bibliography [2008/11/25 09:22]
wojnicki
+++ 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]].
+Available in the project CVS as //hekate-project.bib//
+==== 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 = 	 {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 =	 {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-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,
@@ Line 64: / Line 457: @@
 }
-@InProceedings{gjn2008inap,
+@InProceedings{Szp08-AAIA,
-  author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
+author = {Marcin Szpyrka},
-  title = 	 {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators},
+title = {Exclusion rule-based systems -- case study},
+pages = {237-242},
   OPTcrossref =  {},
   OPTkey = 	 {},
-  booktitle =	 {Proceedings of INAP2007},
+  booktitle =	 {Proceedings of the International Multiconference on Computer Science and Information Technology},
-  OPTpages = 	 {},
+  year =	 {2008},
-  year = 	 {2008},
+  editor =	 {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski},
-  OPTeditor = 	 {},
+  volume =	 {3},
-  OPTvolume = 	 {},
   OPTnumber = 	 {},
-  series =	 {LNAI},
+  OPTseries = 	 {},
   OPTaddress = 	 {},
   OPTmonth = 	 {},
-  OPTorganization = {},
+  organization = {Polish Information Processing Society},
-  publisher =	 {Springer},
+  OPTpublisher = {},
-  note =	 {to be published},
+  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 = {GJN-INAP2008.pdf}
+  file = {CSLTR-1_2008.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},
+  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 = 	 {},
@@ Line 99: / Line 507: @@
   OPTpublisher = {},
   OPTnote = 	 {},
-  OPTannote = 	 {}
+  OPTannote = 	 {},
+  url =          {http://ceur-ws.org/Vol-425}
 }
@@ Line 107: / Line 516: @@
   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},
+  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},
@@ Line 120: / Line 529: @@
   OPTnote = 	 {},
   OPTannote = 	 {},
-  file = {GJN-KESE2008-uml.pdf}
+  file = {GJN-KESE2008-umlrep.pdf}
 }
@@ Line 141: / Line 550: @@
   OPTnote = 	 {},
   OPTannote = 	 {},
-  file = {GJN-KESE2008-wiki.pdf}
+  file = {GJN-KESE2008-knowiki.pdf}
 }
@@ Line 187: / Line 596: @@
 @InProceedings{gjn2008ruleapps,
-  author = 	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
   title = 	 {XTT+ Rule Design Using the ALSV(FD)},
   OPTcrossref =  {},
@@ Line 207: / Line 616: @@
 }
-@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 318: / 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 656: / Line 1107: @@
-===== In Progress =====
-<bibtex mode="text">
+===== Related Papers =====
-@TechReport{ali2008principles,
+==== Members' Papers ====
-  author = 	 {Antoni Ligeza},
-  title = 	 {Principles of Knowledge Representation Language for XTT. A Systematic Review},
-  institution =  {AGH University of Science and Technology},
-  year = 	 {2008},
-  OPTkey = 	 {},
-  OPTtype = 	 {},
-  OPTnumber =	 {CSLTR02/2008},
-  OPTaddress = 	 {},
-  month =	 {july},
-  OPTnote =	 {in review},
-  OPTannote = 	 {},
-  OPTfile = {xtt-principles.pdf}
-}
-@InProceedings{ali2008aaia,
-  author = 	 {Antoni Ligeza and Grzegorz J. Nalepa},
-  title = 	 {An Attribute Logic with Set Values for Rule-Based Systems},
-  OPTcrossref =  {},
-  OPTkey = 	 {},
-  OPTbooktitle = {},
-  OPTpages = 	 {},
-  year =	 {2008},
-  OPTeditor = 	 {},
-  OPTvolume = 	 {},
-  OPTnumber = 	 {},
-  OPTseries = 	 {},
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {submitted to AAIA 2008},
-  OPTannote = 	 {},
-  file = {ALI-AAIA2008.pdf}
-}
-@InProceedings{gjn2008iclp,
-  author = 	 {Grzegorz J. Nalepa},
-  title = 	 {Programming Mindstorms NXT with Prolog - an API Prototype},
-  OPTcrossref =  {},
-  OPTkey = 	 {},
-  OPTbooktitle = {},
-  OPTpages = 	 {},
-  year =	 {2008},
-  OPTeditor = 	 {},
-  OPTvolume = 	 {},
-  OPTnumber = 	 {},
-  OPTseries = 	 {},
-  OPTaddress = 	 {},
-  OPTmonth = 	 {},
-  OPTorganization = {},
-  OPTpublisher = {},
-  note =	 {submitted to ICLP 2008},
-  OPTannote = 	 {},
-  file = {GJN-ICLP2008.pdf}
-}
-@InProceedings{ kk2008icses,
-	title = "Rapid prototyping of real time reactive systems, submitted to ICSES 2008",
-	author = "Kułakowski, Konrad and Kostrzewa, Marek",
-	year = "2008",
-        file = "kk2008icses.pdf"
-}
-@InProceedings{ kk2008slok,
-	title = "Architektura autonomicznego robota mobilnego z dynamicznym modelem świata",
-	author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin",
-	year = "2008",
-        file = "kkslok2008.doc"
-}
-@Unpublished{gjn2008-varda,
-  author = 	 {Grzegorz J. Nalepa and Igor Wojnicki},
-  title = 	 {An ARD+ Design and Visualization Toolchain Prototype in Prolog},
-  note = 	 {full version of the FLAIRS 2008 paper, not published in full},
-  OPTkey = 	 {},
-  OPTmonth = 	 {},
-  year = 	 {2008},
-  OPTannote = 	 {},
-  file =         {gjn-flairs2008-prolog-full.pdf}
-}
-@Unpublished{gjn2008-varda,
-  author = 	 {Igor Wojnicki},
-  title = 	 {I/O Facilities for XTT Based Systems},
-  note = 	 {send to flairs 2009, under review},
-  OPTkey = 	 {},
-  OPTmonth = 	 {},
-  year = 	 {2009},
-  OPTannote = 	 {},
-  file =         {xttenvi.pdf}
-}
-</bibtex>
-===== Related Papers =====
 Some papers of project members, before the project started.
@@ Line 833: / Line 1190: @@
 }
 @Article{gjn2005:syssci:mirella,
-  author = 	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
+  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},
@@ Line 839: / Line 1196: @@
   volume =	 31,
   number =	 3,
-  pages =	 {103--109}
+  pages =	 {103--109},
+  file = {icss04-gjn_ali-mirella.pdf}
 }
 @Article{gjn2005:syssci:xtt,
-  author = 	 {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
+  author = 	 {Grzegorz J. Nalepa and Antoni Ligęza},
   title = 	 {A graphical tabular model for rule-based logic programming and verification},
   journal = 	 {Systems Science},
@@ Line 848: / Line 1206: @@
   volume =	 31,
   number =	 2,
-  pages =	 {89--95}
+  pages =	 {89--95},
+  file = {icss04-gjn_ali-xtt.pdf}
 }
 @InProceedings{gjn2005:awic,
-  author =       {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
+  author =       {Grzegorz J. Nalepa and Antoni Ligęza},
   title =        {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach},
@@ Line 863: / Line 1222: @@
   series =       {Lecture Notes in Artificial Intelligence},
   address =      {Berlin, Heidelberg, New York},
-  publisher     = {Springer-Verlag}
+  publisher     = {Springer-Verlag},
+  file = {awic03-gjnalepa.pdf}
 }
 @PhdThesis{gjn:phd,
@@ Line 874: / Line 1234: @@
 }
 @InProceedings{gjn2003:awic,
-  author	= {Grzegorz J. Nalepa and Antoni Lig\k{e}za},
+  author	= {Grzegorz J. Nalepa and Antoni Ligęza},
   title		= {Designing Reliable Web Security Systems Using Rule-Based
 		  Systems Approach},
@@ Line 889: / Line 1249: @@
   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 901: / 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