====== Materiały ======




===== Links to ARD and XTT =====



=== ARD ===

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-userv

Nalepa, G. J. (2008). UServ Case Study, Conceptual Design with ARD+ Method. Paper presented at the FLAIRS2008. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardformal

Nalepa, G. J., & Wojnicki, I. (2008). Towards Formalization of ARD+ Conceptual Design and Refinement Method. Paper presented at the FLAIRS2008. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog

Nalepa, G. J., & Wojnicki, I. (2008). An ARD+ Design and Visualization Toolchain Prototype in Prolog. Paper presented at the FLAIRS2008. 








=== XTT ===

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007ruleapps

Nalepa, G. J. (2007). Proposal of business process and rules modeling with the XTT method. Paper presented at the 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, Timisoara : West University. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007safecomp

Nalepa, G. J. (2007). Application of the XTT rule-based model for formal design and verifcation of Internet security systems. Paper presented at the Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007 : Nuremberg, Germany, September 18--21, 2007 : proceedings, Berlin ; Heidelberg. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007icss

Nalepa, G. J., & Mach, M. A. (2007). Intelligent business web applications design using the XTT approach. Paper presented at the 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, Wrocław. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#ali2007cms-xtt-extended

Ligęza, A. (2007). An Improved Knowledge Representation Language for XTT. Extended Tabular Graphs with Variables, Constraints and Control. Paper presented at the Proceedings of the International Conference Computer Methods and Systems. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-destls

Nalepa, G. J. (2007). Visual Design Tools for XTT-based Rulebases. Paper presented at the Proceedings of the international Conference Computer Methods and Systems. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-knowtrans

Nalepa, G. J., & Wojnicki, I. (2007). XML-based Knowledge Translation Methods for XTT-based Expert Systems. 

https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2007cms-busproc

Nalepa, G. J., & Mach, M. A. (2007). Conceptual Modeling of Business Rules and Processes with the XTT Method.