Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:bib:hekate_bibliography [2009/01/17 15:41] gjn cvs link |
hekate:bib:hekate_bibliography [2019/06/27 15:49] (current) |
| ~~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// | Available in the project CVS as //hekate-project.bib// |
==== 2009 ==== | ==== 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{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> | </bibtex> |
| |
==== 2008 ==== | ==== 2008 ==== |
<bibtex mode="text"> | <bibtex mode="text"> |
OPTannote = {}, | OPTannote = {}, |
file = {kk2008aaia.pdf} | 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} |
} | } |
| |
OPTannote = {}, | OPTannote = {}, |
file = {CSLTR-1_2008.pdf} | file = {CSLTR-1_2008.pdf} |
} | |
| |
@InProceedings{gjn2008inap, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Visual Generalized Rule Programming Model for Prolog with Hybrid Operators}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Proceedings of INAP2007}, | |
OPTpages = {}, | |
year = {2008}, | |
OPTeditor = {}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
series = {LNAI}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {Springer}, | |
note = {to be published}, | |
OPTannote = {}, | |
file = {GJN-INAP2008.pdf} | |
} | } |
| |
| |
@InProceedings{gjn2008ruleapps, | @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)}, | title = {XTT+ Rule Design Using the ALSV(FD)}, |
OPTcrossref = {}, | OPTcrossref = {}, |
} | } |
| |
@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> | </bibtex> |
| |
| |
| |
===== In Progress ===== | |
| |
<bibtex mode="text"> | |
| |
@InProceedings{gjn2009flairs-xttoo, | |
author = {Grzegorz J. Nalepa}, | |
title = {XTT Rules Design and Implementation with Object-Oriented Methods}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
OPTbooktitle = {}, | |
OPTpages = {}, | |
year = {2009}, | |
OPTeditor = {}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
OPTpublisher = {}, | |
note = {submitted to FLAIRS-22, as of November 2008}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2009-xttoo.pdf} | |
} | |
| |
@InProceedings{gjn2009flairs-salrules, | |
author = {Grzegorz J. Nalepa and Antoni Ligeza}, | |
title = {}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
OPTbooktitle = {}, | |
OPTpages = {}, | |
year = {2009}, | |
OPTeditor = {}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
OPTpublisher = {}, | |
note = {submitted to FLAIRS-22, as of November 2008}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2009-salrules.pdf} | |
} | |
| |
@TechReport{ali2008principles, | |
author = {Antoni Ligeza}, | |
title = {Principles of Knowledge Representation Language for XTT. A Systematic Review}, | |
institution = {AGH University of Science and Technology}, | |
year = {2008}, | |
OPTkey = {}, | |
OPTtype = {}, | |
OPTnumber = {CSLTR02/2008}, | |
OPTaddress = {}, | |
month = {july}, | |
OPTnote = {in review}, | |
OPTannote = {}, | |
OPTfile = {xtt-principles.pdf} | |
} | |
| |
@InProceedings{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{iw2009-xttenvi, | |
author = {Igor Wojnicki}, | |
title = {I/O Facilities for XTT Based Systems}, | |
note = {send to flairs 2009, under review}, | |
OPTkey = {}, | |
OPTmonth = {}, | |
year = {2009}, | |
OPTannote = {}, | |
file = {xttenvi.pdf} | |
} | |
</bibtex> | |
| |
===== Related Papers ===== | ===== Related Papers ===== |
} | } |
@Article{gjn2005:syssci:mirella, | @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}, | title = {A visual edition tool for design and verification of knowledge in rule-based systems}, |
journal = {Systems Science}, | journal = {Systems Science}, |
volume = 31, | volume = 31, |
number = 3, | number = 3, |
pages = {103--109} | pages = {103--109}, |
| file = {icss04-gjn_ali-mirella.pdf} |
} | } |
@Article{gjn2005:syssci:xtt, | @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}, | title = {A graphical tabular model for rule-based logic programming and verification}, |
journal = {Systems Science}, | journal = {Systems Science}, |
volume = 31, | volume = 31, |
number = 2, | number = 2, |
pages = {89--95} | pages = {89--95}, |
| file = {icss04-gjn_ali-xtt.pdf} |
} | } |
@InProceedings{gjn2005:awic, | @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}, | title = {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach}, |
| |
series = {Lecture Notes in Artificial Intelligence}, | series = {Lecture Notes in Artificial Intelligence}, |
address = {Berlin, Heidelberg, New York}, | address = {Berlin, Heidelberg, New York}, |
publisher = {Springer-Verlag} | publisher = {Springer-Verlag}, |
| file = {awic03-gjnalepa.pdf} |
} | } |
@PhdThesis{gjn:phd, | @PhdThesis{gjn:phd, |
} | } |
@InProceedings{gjn2003:awic, | @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 | title = {Designing Reliable Web Security Systems Using Rule-Based |
Systems Approach}, | Systems Approach}, |
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 ==== |