|
|
hekate:bib:hekate_bibliography [2010/01/20 14:18] gjn ptm rep |
hekate:bib:hekate_bibliography [2017/07/17 10:08] |
~~ODT~~ | |
| |
====== Hekate Bibliography ====== | |
| |
| |
===== Publications ===== | |
| |
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} | |
} | |
@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> | |
| |
==== 2008 ==== | |
<bibtex mode="text"> | |
@TechReport{kaczor2008csltr208, | |
author = {Krzysztof Kaczor and Grzegorz J. Nalepa}, | |
title = {Design and Implementation of HQED, the Visual Editor for the XTT+ Rule Design Method}, | |
institution = {AGH University of Science and Technology}, | |
year = {2008}, | |
OPTkey = {}, | |
OPTtype = {}, | |
number = {CSLTR02/2008}, | |
OPTaddress = {}, | |
month = {december}, | |
OPTnote = {in review}, | |
OPTannote = {}, | |
file = {CSLTR-2_2008.pdf} | |
} | |
| |
@InProceedings{gjn2008aaia, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Hierarchical Rule Design with HaDEs the HeKatE Toolchain}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology}, | |
pages = {207-214}, | |
year = {2008}, | |
editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski}, | |
volume = {3}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
organization = {Polish Information Processing Society}, | |
OPTpublisher = {}, | |
OPTnote = {submitted to AAIA 2008}, | |
OPTannote = {}, | |
file = {GJN-AAIA2008.pdf} | |
} | |
| |
@InProceedings{kk2008aaia, | |
author = {Konrad Kulakowski and Grzegorz J. Nalepa}, | |
title = {Modeling Business Rules with UML State Diagrams}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology}, | |
pages = {189-194}, | |
year = {2008}, | |
editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski}, | |
volume = {3}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
organization = {Polish Information Processing Society}, | |
OPTpublisher = {}, | |
OPTnote = {submitted to AAIA 2008}, | |
OPTannote = {}, | |
file = {kk2008aaia.pdf} | |
} | |
| |
@InProceedings{Szp08-AAIA, | |
author = {Marcin Szpyrka}, | |
title = {Exclusion rule-based systems -- case study}, | |
pages = {237-242}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology}, | |
year = {2008}, | |
editor = {M. Ganzha and M. Paprzycki and T. Pe\{}lech-Pilichowski}, | |
volume = {3}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {}, | |
organization = {Polish Information Processing Society}, | |
OPTpublisher = {}, | |
OPTnote = {submitted to AAIA 2008}, | |
OPTannote = {}, | |
file = {mszp2008aaia.pdf} | |
} | |
| |
@TechReport{matyasik2008csltr108, | |
author = {Piotr Matyaski and Piotr Ziecik}, | |
title = {The Hexor robot control software}, | |
institution = {AGH University of Science and Technology}, | |
year = {2008}, | |
OPTkey = {}, | |
OPTtype = {}, | |
number = {CSLTR 01/2008}, | |
OPTaddress = {}, | |
month = {october}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {CSLTR-1_2008.pdf} | |
} | |
| |
@Proceedings{gjn2008kese, | |
title = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany}, | |
year = {2008}, | |
OPTkey = {}, | |
OPTbooktitle = {}, | |
editor = {Grzegorz J. Nalepa and Joachim Baumeister}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Kaiserslautern, Germany}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
OPTpublisher = {}, | |
OPTnote = {}, | |
OPTannote = {}, | |
url = {http://ceur-ws.org/Vol-425} | |
} | |
| |
@InProceedings{gjn2008kese-uml, | |
author = {Grzegorz J. Nalepa and Krzysztof Kluza}, | |
title = {UML representation proposal for XTT rule design method}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany}, | |
pages = {31-42}, | |
year = {2008}, | |
editor = {Grzegorz J. Nalepa and Joachim Baumeister}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Kaiserslautern, Germany}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
OPTpublisher = {}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {GJN-KESE2008-umlrep.pdf} | |
} | |
| |
@InProceedings{gjn2008kese-knowiki, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Proposal for a Prolog-Based Knowledge Wiki}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32st German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany}, | |
pages = {43-54}, | |
year = {2008}, | |
editor = {Grzegorz J. Nalepa and Joachim Baumeister}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Kaiserslautern, Germany}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
OPTpublisher = {}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {GJN-KESE2008-knowiki.pdf} | |
} | |
| |
@InProceedings{gjn2008ki-varda, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {VARDA Rule Design and Visualization Tool-Chain}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23--26, 2008}, | |
pages = {395-396}, | |
year = {2008}, | |
editor = {Andreas R. Dengel and \mbox{et al.}}, | |
volume = {5243}, | |
OPTnumber = {}, | |
series = {LNAI}, | |
address = {Berlin; Heidelberg}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {Springer Verlag}, | |
note = {to be published}, | |
OPTannote = {}, | |
file = {GJN-KI2008-varda.pdf} | |
} | |
| |
@InProceedings{gjn2008ki-nxt, | |
author = {Grzegorz J. Nalepa}, | |
title = {Prototype Prolog API for Mindstorms NXT}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23--26, 2008}, | |
pages = {393-394}, | |
year = {2008}, | |
editor = {Andreas R. Dengel and \mbox{et al.}}, | |
volume = {5243}, | |
OPTnumber = {}, | |
series = {LNAI}, | |
address = {Berlin; Heidelberg}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {Springer Verlag}, | |
OPTnote = {to be published}, | |
OPTannote = {}, | |
file = {GJN-KI2008-nxt.pdf} | |
} | |
| |
@InProceedings{gjn2008ruleapps, | |
author = {Grzegorz J. Nalepa and Antoni Ligęza}, | |
title = {XTT+ Rule Design Using the ALSV(FD)}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008: Patras, 22 July 2008}, | |
pages = {11--15}, | |
year = {2008}, | |
editor = {Adrian Giurca and Anastasia Analyti and Gerd Wagner}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Patras}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {University of Patras}, | |
OPTnote = {to be published}, | |
OPTannote = {}, | |
file = {GJN-RULEAPPS2008.pdf} | |
} | |
| |
@InProceedings{kk2008autoa, | |
title = "Architektura Autonomicznego Robota Mobilnego z Dynamicznym Modelem Świata", | |
author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin", | |
year = "2008", | |
booktitle = "Automatyka", | |
file = "kkSlok2008bwA.pdf" | |
} | |
| |
@InProceedings{kk2008autob, | |
title = "Dynamiczny Model Świata w Sterowaniu Autonomicznym Robotem Mobilnym", | |
author = "Kułakowski, Konrad and Wąs, Jarosław and Szpyrka, Marcin", | |
year = "2008", | |
booktitle = "Automatyka", | |
file = "kkSlok2008bwB.pdf" | |
} | |
| |
@InProceedings{ kk2008icses, | |
title = "Rapid prototyping of real time reactive systems", | |
author = "Kułakowski, Konrad and Kostrzewa, Marek", | |
booktitle = "Proceedings of ICSES 2008 International Conference on Signal and Electronic Systems", | |
year = "2008", | |
file = "kk2008icses.pdf" | |
} | |
| |
@InProceedings{ali2008flairs, | |
author = {Antoni Ligęza and Grzegorz J. Nalepa}, | |
title = {Granular Logic with Variables for Implementation of Extended Tabular Trees}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, | |
pages = {341--346}, | |
year = {2008}, | |
editor = {David C. Wilson and H. Chad Lane}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Menlo Park, California}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {AAAI Press}, | |
OPTnote = {accepted}, | |
OPTannote = {}, | |
file = {ALI-FLAIRS2008-granular.pdf} | |
} | |
| |
@InProceedings{gjn2008flairs-userv, | |
author = {Grzegorz J. Nalepa}, | |
title = {UServ Case Study, Conceptual Design with ARD+ Method}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, | |
pages = {347--352}, | |
year = {2008}, | |
editor = {David C. Wilson and H. Chad Lane}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Menlo Park, California}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {AAAI Press}, | |
OPTnote = {accepted}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2008-userv.pdf} | |
} | |
| |
@InProceedings{gjn2008flairs-prologwiki, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Concept of an Interactive Web Portal for Teaching Prolog}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, | |
pages = {240--244}, | |
year = {2008}, | |
editor = {David C. Wilson and H. Chad Lane}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Menlo Park, California}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {AAAI Press}, | |
OPTnote = {accepted}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2008-prologwiki.pdf} | |
} | |
| |
@InProceedings{gjn2008flairs-ardformal, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Towards Formalization of ARD+ Conceptual Design and Refinement Method}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, | |
pages = {353--358}, | |
year = {2008}, | |
editor = {David C. Wilson and H. Chad Lane}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Menlo Park, California}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {AAAI Press}, | |
OPTnote = {accepted}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2008-formal.pdf} | |
} | |
| |
@InProceedings{gjn2008flairs-ardprolog, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {An ARD+ Design and Visualization Toolchain Prototype in Prolog}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15--17 may 2008, Coconut Grove, Florida, USA}, | |
pages = {373--374}, | |
year = {2008}, | |
editor = {David C. Wilson and H. Chad Lane}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {}, | |
OPTmonth = {}, | |
OPTorganization = {}, | |
publisher = {AAAI Press}, | |
OPTnote = {accepted}, | |
OPTannote = {}, | |
file = {GJN-FLAIRS2008-prolog.pdf} | |
} | |
@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, | |
author = {Antoni Ligęza}, | |
title = {An Improved Knowledge Representation Language for XTT. Extended Tabular Graphs with Variables, Constraints and Control}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {CMS'07: Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, | |
OPTpages = {}, | |
year = {2007}, | |
editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, | |
OPTvolume = {CMS'2007}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {November}, | |
organization = {AGH University of Science and Technology, Cracow}, | |
publisher = {Oprogramowanie Naukowo-Techniczne}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {ali2007cms-xtt-extended.pdf} | |
} | |
| |
@InProceedings{gjn2007cms-destls, | |
author = {Grzegorz J. Nalepa}, | |
title = {Visual Design Tools for XTT-based Rulebases}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {CMS'07: Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, | |
pages = {71--76}, | |
year = {2007}, | |
editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {september}, | |
organization = {AGH University of Science and Technology, Cracow}, | |
publisher = {Oprogramowanie Naukowo-Techniczne}, | |
OPTnote = {to be published}, | |
OPTannote = {}, | |
file = {GJN-CMS2007-destls.pdf} | |
} | |
@InProceedings{gjn2007cms-knowtrans, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {XML-based Knowledge Translation Methods for XTT-based Expert Systems}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {CMS'07: Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, | |
pages = {77-82}, | |
year = {2007}, | |
editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {september}, | |
organization = {AGH University of Science and Technology, Cracow}, | |
publisher = {Oprogramowanie Naukowo-Techniczne}, | |
note = {to be published}, | |
OPTannote = {}, | |
file = {GJN-CMS2007-knowtrans.pdf} | |
} | |
@InProceedings{gjn2007cms-busproc, | |
author = {Grzegorz J. Nalepa and Maria Antonina Mach}, | |
title = {Conceptual Modeling of Business Rules and Processes with the XTT Method}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {CMS'07: Computer Methods and Systems 21--23 November 2007, Kraków, Poland}, | |
pages = {65--70}, | |
year = {2007}, | |
editor = {Ryszard Tadeusiewicz and Antoni Lig\k{e}za and Maciej Szymkat}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
OPTaddress = {}, | |
OPTmonth = {september}, | |
organization = {AGH University of Science and Technology, Cracow}, | |
publisher = {Oprogramowanie Naukowo-Techniczne}, | |
OPTnote = {to be published}, | |
OPTannote = {}, | |
file = {GJN-CMS2007-busproc.pdf} | |
} | |
| |
@InProceedings{gjn2007inap, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Proposal of visual generalized rule programming model for Prolog}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, | |
pages = {195--204}, | |
year = {2007}, | |
editor = {Dietmar Seipel and \mbox{et al.}}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik}, | |
month = {september}, | |
OPTorganization = {}, | |
publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut fur Informatik}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {GJN-INAP2007-GREP.pdf} | |
} | |
@InProceedings{iww2007inap, | |
author = {Igor Wojnicki and Grzegorz J. Nalepa}, | |
title = {Prolog Hybrid Operators in the generalized rule programming model}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {17th International conference on Applications of declarative programming and knowledge management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007) : Wurzburg, Germany, October 4--6, 2007 : proceedings : Technical Report 434}, | |
pages = {205--214}, | |
year = {2007}, | |
editor = {Dietmar Seipel and \mbox{et al.}}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Wurzburg : Bayerische Julius-Maximilians-Universitat. Institut fur Informatik}, | |
month = {september}, | |
OPTorganization = {}, | |
publisher = {Bayerische Julius-Maximilians-Universitat Wurzburg. Institut f�r Informatik}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {IWW-INAP2007-HOP.pdf} | |
} | |
| |
@InProceedings{gjn2007ruleapps, | |
author = {Grzegorz J. Nalepa}, | |
title = {Proposal of business process and rules modeling with the XTT method}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Symbolic and numeric algorithms for scientific computing : SYNASC'07 : 9th international symposium : RuleApps'2007~-- workshop on Rule-based applications : Timisoara, Romania, September 26--29, 2007 : IeAT Technical Report 07-11}, | |
pages = {17--23}, | |
year = {2007}, | |
OPTeditor = {}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Timisoara : West University}, | |
month = {september}, | |
OPTorganization = {}, | |
publisher = {West University of Timisoara, Romania. Department of Computer Science, University Johannes Kepler, Linz, Austria. Research Institute for Symbolic Computation, Research Institute e-Austria, Timisoara, Romania}, | |
OPTnote = {}, | |
OPTannote = {}, | |
file = {GJN-RULEAPPS2007.pdf} | |
} | |
| |
@InProceedings{gjn2007safecomp, | |
author = {Grzegorz J. Nalepa}, | |
title = {Application of the XTT rule-based model for formal design and verifcation of Internet security systems}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007 : Nuremberg, Germany, September 18--21, 2007 : proceedings}, | |
pages = {81--86}, | |
year = {2007}, | |
editor = {Francesca Saglietti and Norbert Oster}, | |
OPTvolume = {LNCS 4680}, | |
OPTnumber = {LNCS 4680}, | |
series = {Lecture Notes in Computer Science}, | |
address = {Berlin ; Heidelberg}, | |
month = {september}, | |
OPTorganization = {}, | |
publisher = {Springer-Verlag}, | |
OPTnote = {}, | |
OPTannote = {}, | |
isbn = {3-540-75100-9}, | |
issn = {0302-9743}, | |
file = {GJN-SAFECOMP2007-short.pdf} | |
} | |
@InProceedings{gjn2007icss, | |
author = {Grzegorz J. Nalepa and Maria Antonina Mach}, | |
title = {Intelligent business web applications design using the XTT approach}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {Proceedings of the 16th international conference on Systems science. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems : 4--6 September 2007, Wrocław, Poland}, | |
pages = {405--412}, | |
year = {2007}, | |
editor = {Adam Grzech}, | |
volume = {2}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Wrocław}, | |
month = {september}, | |
OPTorganization = {}, | |
publisher = {Oficyna Wydawnicza Politechniki Wrocławskiej}, | |
OPTnote = {}, | |
OPTannote = {}, | |
isbn = {978-83-7493-340-7}, | |
file = {GJN-ICSS2007.pdf} | |
} | |
@InProceedings{gjn2007iwk, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Filling the semantic gaps in systems engineering}, | |
booktitle = {52. IWK : Internationales Wissenschaftliches Kolloquium = International Scientific Colloquium : computer science meets automation : 10--13 September 2007 : proceedings}, | |
pages = {107--112}, | |
year = 2007, | |
editor = {Peter Scharff}, | |
volume = 1, | |
address = {Ilmenau : TU Ilmenau. Universitatsbibliothek}, | |
publisher = {Technische Universitat Ilmenau. Faculty of Science and Automation.}, | |
isbn = {978-3-939473-17-6}, | |
file = {GJN-IWK2007.pdf} | |
} | |
@InProceedings{ptm2007ki, | |
author = {Piotr Matyasik and Grzegorz J. Nalepa and Piotr Zięcik}, | |
title = {Prolog-based real-time intelligent control of the Hexor mobile robot}, | |
booktitle = {KI 2007 : advances in Artificial Intelligence : 30th annual German conference on AI, KI 2007 : Osnabruck, Germany, September 10--13, 2007 : proceedings}, | |
pages = {485--488}, | |
year = {2007}, | |
editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, | |
volume = {LNAI 4667}, | |
series = {Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence}, | |
address = {Berlin, Heidelberg}, | |
month = {september}, | |
publisher = {Springer-Verlag}, | |
issn = {0302-9743}, | |
isbn = {3-540-74564-5}, | |
file = {PTM-KI2007.pdf} | |
} | |
@InProceedings{gjn2007kese-exedes, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Knowledge-based approach to the executable design concept}, | |
booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, | |
pages = {47--58}, | |
year = {2007}, | |
editor = {Joachim Baumeister and Dietmar Seipel}, | |
month = {september}, | |
file = {GJN-KESE2007-ExeDes.pdf} | |
} | |
@InProceedings{gjn2007kese-grep, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Proposal of generalized rule programming model}, | |
booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, | |
pages = {59-70}, | |
year = {2007}, | |
editor = {Joachim Baumeister and Dietmar Seipel}, | |
month = {september}, | |
file = {GJN-KESE2007-GREP.pdf} | |
} | |
@InProceedings{gjn2007kese-keuml, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Using UML for knowledge engineering \u2013 a critical overview}, | |
booktitle = {3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th annual German conference on Artificial intelligence : [September 10, 2007, Osnabruck, Germany]}, | |
pages = {37--46}, | |
year = {2007}, | |
editor = {Joachim Baumeister and Dietmar Seipel}, | |
month = {september}, | |
file = {GJN-KESE2007-KE_UML.pdf} | |
} | |
@InProceedings{gjn2007enase, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {Visual software modelling with extended rule-based model : a knowledge-based programming solution for general software design}, | |
booktitle = {ENASE 2007 : proceedings of the second international conference on Evaluation of Novel Approaches to Software Engineering : Barcelona, Spain, July 23--25, 2007}, | |
pages = {41--47}, | |
year = 2007, | |
editor = {Cesar Gonzalez-Perez and Leszek A. Maciaszek}, | |
month = {july}, | |
publisher = {INSTICC Press}, | |
isbn = {ISBN 978-989-8111-10-4}, | |
file = {GJN-ENASE2007.pdf} | |
} | |
@InProceedings{gjn2007awic, | |
author = {Grzegorz J. Nalepa}, | |
title = {A Unified Firewall Model for Web Security}, | |
booktitle = {Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference -- AWIC'2007, Fontainebleau, France, June 2007}, | |
pages = {248--253}, | |
year = {2007}, | |
editor = {Katarzyna M. Węgrzyn-Wolska and Piotr S. Szczepaniak}, | |
volume = {43}, | |
series = {Advances in Soft Computing}, | |
address = {Berlin Heidelberg New York}, | |
month = {june}, | |
publisher = {Springer-Verlag}, | |
file = {GJN-AWIC2007.pdf} | |
} | |
@Unpublished{gjn2007ebrc, | |
author = {Grzegorz J. Nalepa}, | |
title = {Business Rules Design and Analysis Approaches}, | |
note = {presentation given at the 6th European Business Rules Conference}, | |
url = {http://www.eurobizrules.org/Uploads/Files/Nalepa_2c_20G_2.pdf}, | |
month = {june}, | |
year = {2007}, | |
file = {GJN-EBRC2007.pdf} | |
} | |
@InProceedings{ptm2007mixdes, | |
author = {Piotr Matyasik and Grzegorz J. Nalepa}, | |
title = {Knowledge-based control of reactive systems with multi-layer architecture}, | |
booktitle = {MIXDES 2007 : MIXed DESign of integrated circuits and systems : proceedings of the 14th international conference : Ciechocinek, Poland, 21--23 June, 2007}, | |
pages = {667--672}, | |
month = {june}, | |
year = 2007, | |
editor = {Andrzej Napieralski.}, | |
publisher = {\{}L\,{o}d\,{z} : Technical University of \{}L\,{o}d\,{z}. Department of Microelectronics and Computer Science}, | |
file = {PTM-MIXDES2007.pdf} | |
} | |
@InProceedings{gjn2007flairs-bizrules, | |
author = {Grzegorz J. Nalepa}, | |
title = {Business Rules Design and Refinement using the XTT Approach}, | |
booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, | |
pages = {536--541}, | |
month = {may}, | |
year = 2007, | |
editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, | |
address = {Menlo Park, California}, | |
organization = {Florida Artificial Intelligence Research Society}, | |
publisher = {AAAI Press}, | |
file = {GJN-FLAIRS07-BizRules.pdf} | |
} | |
@InProceedings{gjn2007flairs-hekate, | |
author = {Grzegorz J. Nalepa and Igor Wojnicki}, | |
title = {A Proposal of Hybrid Knowledge Engineering and Refinement Approach}, | |
booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, | |
pages = {542--547}, | |
month = {may}, | |
year = 2007, | |
editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, | |
address = {Menlo Park, California}, | |
organization = {Florida Artificial Intelligence Research Society}, | |
publisher = {AAAI Press}, | |
file = {GJN-FLAIRS07-Hekate.pdf} | |
} | |
@InProceedings{ali2007flairs-granular, | |
author = {Antoni Ligęza and Grzegorz J. Nalepa}, | |
title = {Knowledge Representation with Granular Attributive Logic for XTT-based Expert Systems}, | |
booktitle = {FLAIRS-20 : Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference : Key West, Florida, May 7-9, 2007}, | |
pages = {530--535}, | |
month = {may}, | |
year = 2007, | |
editor = {David C. Wilson and Geoffrey C. J. Sutcliffe and FLAIRS}, | |
address = {Menlo Park, California}, | |
organization = {Florida Artificial Intelligence Research Society}, | |
publisher = {AAAI Press}, | |
file = {ALI-FLAIRS2007.pdf} | |
} | |
| |
</bibtex> | |
| |
| |
| |
| |
| |
===== Related Papers ===== | |
| |
==== Members' Papers ==== | |
| |
Some papers of project members, before the project started. | |
| |
<bibtex mode="text"> | |
@InProceedings{gjn2006:mixdes, | |
author = {Grzegorz J. Nalepa and Piotr Zi\k{e}cik}, | |
title = {Integrated embedded prolog platform for rule-based control systems}, | |
booktitle = {MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22--24 June 2006 }, | |
pages = {716--721}, | |
year = 2006, | |
editor = {Andrzej Napieralski}, | |
address = {\L{}\,od\'z}, | |
publisher = {Technical University Lodz. Department of Microelectronics and Computer Science} | |
} | |
| |
@InProceedings{gjn2006:flairs, | |
author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za}, | |
title = {Prolog-based analysis of tabular rule-based systems with the "XTT" approach}, | |
booktitle = {FLAIRS 2006 : proceedings of the nineteenth international Florida Artificial Intelligence Research Society conference : [Melbourne Beach, Florida, May 11--13, 2006]}, | |
pages = {426--431}, | |
year = 2006, | |
editor = {Geoffrey C. J. Sutcliffe and Randy G. Goebel}, | |
address = {FLAIRS. - Menlo Park}, | |
organization = {Florida Artificial Intelligence Research Society}, | |
publisher = {AAAI Press} | |
} | |
| |
@InProceedings{gjn2005:cms, | |
author = {Grzegorz J. Nalepa}, | |
title = {Rule-based systems design and implementation : methodologies and technologies}, | |
OPTcrossref = {}, | |
OPTkey = {}, | |
booktitle = {CMS'05. Plenary lectures and special session papers : Computer Methods and Systems}, | |
pages = {329--340}, | |
year = {2005}, | |
editor = {Ryszard Tadeusiewicz, Antoni Lig\k{e}za, Maciej Szymkat}, | |
volume = {1}, | |
OPTnumber = {}, | |
OPTseries = {}, | |
address = {Krakw, Poland}, | |
month = {November}, | |
organization = {AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology}, | |
publisher = {Oprogramowanie Naukowo-Techniczne}, | |
OPTnote = {}, | |
OPTannote = {} | |
} | |
| |
@InProceedings{gjn2005:lit, | |
author = {Antoni Lig\k{e}za and Grzegorz J. Nalepa}, | |
title = {Visual design and on-line verification of tabular rule-based systems with XTT}, | |
booktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005}, | |
OPTbooktitle = {Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, 21.--23. September 2005, Leipzig}, | |
pages = {303--312}, | |
year = {2005}, | |
editor = {Klaus P. Jantke and Klaus-Peter F\"{a}hnrich and Wolfgang S. Wittig}, | |
OPTvolume = {}, | |
OPTnumber = {}, | |
series = {Lecture Notes in Informatics (LNI)}, | |
OPTseries = {Lecture Notes in Informatics (LNI) -- Proceedings. Series of the Gesellschaft fur Informatik)}, | |
address = {Bonn}, | |
OPTmonth = {september}, | |
OPTorganization = {}, | |
publisher = {Gesellschaft fur Informatik} | |
} | |
| |
@InBook{gjn2005:kkio, | |
OPTannote = {ref waz gjn:2005:kkio:conceptual}, | |
author = {Grzegorz J. Nalepa and Antoni Lig\k{e}za}, | |
chapter = {Conceptual modelling and automated implementation of rule-based systems}, | |
title = {Software engineering : evolution and emerging technologies}, | |
pages = {330--340}, | |
year = 2005, | |
editor = {Krzysztof Zieli\'{n}ski and Tomasz Szmuc}, | |
volume = 130, | |
series = {Frontiers in Artificial Intelligence and Applications}, | |
address = {Amsterdam}, | |
publisher = {IOS Press} | |
} | |
@Article{gjn2005:syssci:mirella, | |
author = {Grzegorz J. Nalepa and Antoni Ligęza}, | |
title = {A visual edition tool for design and verification of knowledge in rule-based systems}, | |
journal = {Systems Science}, | |
year = 2005, | |
volume = 31, | |
number = 3, | |
pages = {103--109}, | |
file = {icss04-gjn_ali-mirella.pdf} | |
} | |
@Article{gjn2005:syssci:xtt, | |
author = {Grzegorz J. Nalepa and Antoni Ligęza}, | |
title = {A graphical tabular model for rule-based logic programming and verification}, | |
journal = {Systems Science}, | |
year = 2005, | |
volume = 31, | |
number = 2, | |
pages = {89--95}, | |
file = {icss04-gjn_ali-xtt.pdf} | |
} | |
@InProceedings{gjn2005:awic, | |
author = {Grzegorz J. Nalepa and Antoni Ligęza}, | |
title = {Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach}, | |
| |
booktitle = {Advances in Web Intelligence: 3rd international Atlantic Web Intelligence Conference AWIC 2005: Lodz, Poland, June 6-9, 2005}, | |
pages = {334--340}, | |
year = 2005, | |
editor = {Piotr Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski}, | |
editor = {Piotr S. Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski}, | |
volume = {LNAI 3528}, | |
number = 3528, | |
series = {Lecture Notes in Artificial Intelligence}, | |
address = {Berlin, Heidelberg, New York}, | |
publisher = {Springer-Verlag}, | |
file = {awic03-gjnalepa.pdf} | |
} | |
@PhdThesis{gjn:phd, | |
author = {Grzegorz J. Nalepa}, | |
title = {Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems}, | |
school = {AGH University of Science and Technology}, | |
year = 2004, | |
address = {AGH Institute of Automatics, Cracow, Poland}, | |
month = {September} | |
} | |
@InProceedings{gjn2003:awic, | |
author = {Grzegorz J. Nalepa and Antoni Ligęza}, | |
title = {Designing Reliable Web Security Systems Using Rule-Based | |
Systems Approach}, | |
booktitle = {Advances in Web Intelligence. First International Atlantic | |
Web Intelligence Conference AWIC 2003, Madrid, Spain, May | |
5-6, 2003}, | |
pages = {124--133}, | |
year = 2003, | |
editor = {Ernestina Menasalvas and Javier Segovia and Piotr S. | |
Szczepaniak}, | |
volume = {LNAI 2663}, | |
series = {Lecture Notes in Artificial Intelligence}, | |
address = {Berlin, Heidelberg, New York}, | |
publisher = {Springer-Verlag}, | |
} | |
| |
</bibtex> | |
| |
==== Verification papers ==== | |
| |
A [[verification_bibliography|bibliography of some important papers related to the analysis incl. verification of intelligent systems is available separately]]. | |
| |
===== Instructions for Authors ===== | |
| |
| |
==== Papers ==== | |
| |
The main section [[hekate bibliography#Publications]] is for papers which have already been **accepted only**. | |
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 | |
[[hekatedev:papers_in_progress]], please. | |
| |
Please upload papers as **PDF only!** | |
| |
==== Links ==== | |
| |
You can create in-wiki links to the bibliograpy items, i.e.: | |
| |
[[:hekate:bib:hekate_bibliography#gjn2007flairs-hekate]] | |
| |
Which produces the following link: [[:hekate:bib:hekate_bibliography#gjn2007flairs-hekate]] | |