Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:bib:hekate_bibliography [2008/07/04 21:20] wojnicki |
hekate:bib:hekate_bibliography [2010/01/20 14:18] gjn ptm rep |
| ~~ODT~~ |
| |
====== Hekate Bibliography ====== | ====== Hekate Bibliography ====== |
| |
===== Publications ===== | ===== 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"> | <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} |
| } |
| @TechReport{matyasik2009csltr, |
| author = {Matyasik, Piotr}, |
| title = {Event-based Hexor Robot Software Framework}, |
| number = {CSLTR 3/2009}, |
| institution = {AGH University of Science and Technology}, |
| year = {2009}, |
| file = {CSLTR-3_2009.pdf} |
| } |
| |
@InProceedings{gjn2008inap, | @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}, | 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 = {}, | OPTcrossref = {}, |
OPTkey = {}, | OPTkey = {}, |
booktitle = {Proceedings of INAP2007}, | booktitle = {Inżynieria Wiedzy i Systemy Ekspertowe}, |
OPTpages = {}, | OPTpages = {}, |
year = {2008}, | year = {2009}, |
OPTeditor = {}, | OPTeditor = {}, |
OPTvolume = {}, | OPTvolume = {}, |
OPTnumber = {}, | OPTnumber = {}, |
series = {LNAI}, | OPTseries = {}, |
OPTaddress = {}, | OPTaddress = {}, |
OPTmonth = {}, | OPTmonth = {}, |
OPTorganization = {}, | 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}, | note = {to be published}, |
OPTannote = {}, | 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} |
} | } |
| |
OPTcrossref = {}, | OPTcrossref = {}, |
OPTkey = {}, | 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}, | year = {2008}, |
OPTeditor = {}, | editor = {Andreas R. Dengel and \mbox{et al.}}, |
OPTvolume = {}, | volume = {5243}, |
OPTnumber = {}, | OPTnumber = {}, |
series = {LNAI}, | series = {LNAI}, |
OPTaddress = {}, | address = {Berlin; Heidelberg}, |
OPTmonth = {}, | OPTmonth = {}, |
OPTorganization = {}, | OPTorganization = {}, |
OPTcrossref = {}, | OPTcrossref = {}, |
OPTkey = {}, | 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}, | year = {2008}, |
OPTeditor = {}, | editor = {Andreas R. Dengel and \mbox{et al.}}, |
OPTvolume = {}, | volume = {5243}, |
OPTnumber = {}, | OPTnumber = {}, |
series = {LNAI}, | series = {LNAI}, |
OPTaddress = {}, | address = {Berlin; Heidelberg}, |
OPTmonth = {}, | OPTmonth = {}, |
OPTorganization = {}, | OPTorganization = {}, |
publisher = {Springer Verlag}, | publisher = {Springer Verlag}, |
note = {to be published}, | OPTnote = {to be published}, |
OPTannote = {}, | OPTannote = {}, |
file = {GJN-KI2008-nxt.pdf} | file = {GJN-KI2008-nxt.pdf} |
| |
@InProceedings{gjn2008ruleapps, | @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)}, | title = {XTT+ Rule Design Using the ALSV(FD)}, |
OPTcrossref = {}, | OPTcrossref = {}, |
OPTkey = {}, | 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}, | year = {2008}, |
OPTeditor = {}, | editor = {Adrian Giurca and Anastasia Analyti and Gerd Wagner}, |
OPTvolume = {}, | OPTvolume = {}, |
OPTnumber = {}, | OPTnumber = {}, |
OPTseries = {}, | OPTseries = {}, |
OPTaddress = {}, | address = {Patras}, |
OPTmonth = {}, | OPTmonth = {}, |
OPTorganization = {}, | OPTorganization = {}, |
OPTpublisher = {}, | publisher = {University of Patras}, |
note = {to be published}, | OPTnote = {to be published}, |
OPTannote = {}, | OPTannote = {}, |
file = {GJN-RULEAPPS2008.pdf} | 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", | author = "Kułakowski, Konrad and Kostrzewa, Marek", |
| booktitle = "Proceedings of ICSES 2008 International Conference on Signal and Electronic Systems", |
year = "2008", | year = "2008", |
file = "kklublin2007.pdf" | file = "kk2008icses.pdf" |
} | } |
| |
@InProceedings{ali2008flairs, | @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}, | title = {Granular Logic with Variables for Implementation of Extended Tabular Trees}, |
OPTcrossref = {}, | OPTcrossref = {}, |
file = {GJN-FLAIRS2008-prolog.pdf} | 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, | @InProceedings{ali2007cms-xtt-extended, |
| |
| |
| ===== Related Papers ===== |
| |
===== In Progress ===== | ==== Members' Papers ==== |
| |
| Some papers of project members, before the project started. |
| |
<bibtex mode="text"> | <bibtex mode="text"> |
| @InProceedings{gjn2006:mixdes, |
@TechReport{kaczor2008csltr208, | author = {Grzegorz J. Nalepa and Piotr Zi\k{e}cik}, |
author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, | title = {Integrated embedded prolog platform for rule-based control systems}, |
title = {Design and Implementation of HQED, the Visual Editor for the XTT+ Rule Design Method}, | booktitle = {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22--24 June 2006 }, |
institution = {AGH University of Science and Technology}, | pages = {716--721}, |
year = {2008}, | year = 2006, |
OPTkey = {}, | editor = {Andrzej Napieralski}, |
OPTtype = {}, | address = {\L{}\,od\'z}, |
number = {CSLTR02/2008}, | publisher = {Technical University Lodz. Department of Microelectronics and Computer Science} |
OPTaddress = {}, | |
month = {july}, | |
note = {in review}, | |
OPTannote = {}, | |
file = {CSLTR-2_2008.pdf} | |
} | } |
| |
@InProceedings{gjn2008aaia, | @InProceedings{gjn2006:flairs, |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za}, |
title = {Hierarchical Rule Design with HaDEs the HeKatE Toolchain}, | 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 = {GJN-AAIA2008.pdf} | |
} | } |
| |
@InProceedings{ali2008aaia, | @InProceedings{gjn2005:cms, |
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}, | author = {Grzegorz J. Nalepa}, |
title = {Programming Mindstorms NXT with Prolog - an API Prototype}, | title = {Rule-based systems design and implementation : methodologies and technologies}, |
OPTcrossref = {}, | OPTcrossref = {}, |
OPTkey = {}, | 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 = {}, | OPTnumber = {}, |
OPTseries = {}, | 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 = {}, | OPTvolume = {}, |
OPTnumber = {}, | 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 = {}, | 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, not published in full}, | year = 2004, |
OPTkey = {}, | address = {AGH Institute of Automatics, Cracow, Poland}, |
OPTmonth = {}, | month = {September} |
year = {2008}, | } |
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 |
| 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> | </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 ===== | ===== Instructions for Authors ===== |
Keep it in sync with the CVS, see [[hekatedev:version_control#bibliography]]. | 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!** | Please upload papers as **PDF only!** |
| |
--- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/06/06 16:36// | |
| |
==== Links ==== | ==== Links ==== |