Nalepa, G. J., Slazynski, M., Kutt, K., Kucharska, E., & Luszpaj, A. (2015). Unifying business concepts for SMEs with Prosecco ontology. Paper presented at the Computer Science and Information Systems (FedCSIS), 2015 Federated Conference on.

Kluza, K., Kaczor, K., Nalepa, G. J., & Slazynski, M. (2015). Opportunities for Business Process semantization in open-source process execution environments. Paper presented at the Computer Science and Information Systems (FedCSIS), 2015 Federated Conference on.

Kluza, K. (2015). Measuring Complexity of Business Process Models Integrated with Rules. In L. Rutkowski, M. Korytkowski & R. Scherer & R. Tadeusiewicz & L. A. Zadeh & J. M. Zurada (Eds.), (Vol. 9120, pp. 649-659). Springer International Publishing.

Kiepas, P., Bobek, S., & Nalepa, G. J. (2015). Concept of rule-based configurator for Auto-WEKA using OpenML. Paper presented at the Proceedings of the 2015 International Workshop on Meta-Learning and Algorithm Selection.

Köping, L., Grzegorzek, M., Deinzer, F., Bobek, S., 'Slażyński, M., & Nalepa, G. J. (2015). Improving indoor localization by user feedback. Paper presented at the Information Fusion (Fusion), 2015 18th International Conference on.

Bobek, S., Grodzki, O., & Nalepa, G. J. (2015). Indoor microlocation with BLE beacons and incremental rule learning. Paper presented at the Cybernetics (CYBCONF), 2015 IEEE 2nd International Conference on.

Kutt, K., , A. G., & Nalepa, G. J. (2015). Cognitive Enhancement: How to Increase Chance of Survival in the Jungle?. Paper presented at the Cybernetics (CYBCONF), 2015 IEEE 2nd International Conference on.

Bobek, S., & Nalepa, G. (2015). Compact representation of conditional probability for rule-based mobile context-aware systems. In A. Bikakis, P. Fodor & D. Roman (Eds.), Springer International Publishing.

Kluza, K. ((2015). Methods for Modeling and Integration of Business Processes with Rules.). Unpublished PhD Thesis.

Kaczor, K. ((2015). Knowledge Formalization Methods for Semantic Interoperability in Rule Bases.). Unpublished PhD Thesis.

Kaczor, K. (2015). Practical Approach to Interoperability in Production Rule Bases with Subito. Paper presented at the Artificial Intelligence and Soft Computing: 14th International Conference, ICAISC 2015: Zakopane, Poland.

Nalepa, G. J. (2015). SBVRwiki a Web-based Tool for Authoring of Business Rules. Paper presented at the Artificial Intelligence and Soft Computing: 14th International Conference, ICAISC 2015: Zakopane, Poland.

Bobek, S., Nalepa, G., & Grodzki, O. (2015). Automated Discovery of Mobile Users Locations with Improved K-means Clustering. Paper presented at the Artificial Intelligence and Soft Computing.

Baran, M., Kluza, K., Nalepa, G. J., & Lig{ę}za, A. (2015). A Multi-level Hierarchical Approach for Configuring Business Processes. Paper presented at the Advances in ICT for Business, Industry and Public Sector.

(2014). Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19 2014.

Bobek, S., Nalepa, G. J., & Grodzki, O. (2014). Integration of Activity Modeller with Bayesian Network Based Recommender for Business Processes. Paper presented at the Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering {(KESE10)} co-located with 21st European Conference on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic, August 19 2014.

'Slażyński, M., Bobek, S., & Nalepa, G. J. (2014). Migration of Rule Inference Engine to Mobile Platform. Challenges and Case Study. Paper presented at the Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering {(KESE10)} co-located with 21st European Conference on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic, August 19 2014.

Kluza, K., Kutt, K., & Woźniak, M. (2014). SBVRwiki (Tool Presentation). Paper presented at the Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19 2014.

Bobek, S., & Nalepa, G. J. (2014). Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra. In A. Bikakis, P. Fodor & D. Roman (Eds.), (Vol. 8620, pp. 157-167). Springer International Publishing.

Nalepa, G. J., Kutt, K., & Kaczor, K. (2014). Can the Generation of Test Cases for Unit Testing be Automated with Rules?. Paper presented at the Artificial Intelligence and Soft Computing: 13th International Conference, ICAISC 2014: Zakopane, Poland.

Adrian, W. T., Ligęza, A., Nalepa, G. J., & Kaczor, K. (2014). Distributed and collaborative knowledge management using an ontology-based system. In D. B. Eunika Mercier-Laurent (Ed.), (pp. 112-130). Heidelberg: Springer.

Bobek, S., Nalepa, G. J., & 'Slażyński, M. (2014). Challenges for migration of rule-based reasoning engine to a mobile platform. Paper presented at the Multimedia Communications, Services and Security.

Bobek, S., Nalepa, G. J., Ligęza, A., Adrian, W. T., & Kaczor, K. (2014). Mobile Context-based Framework for Threat Monitoring in Urban Environment with Social Threat Monitor. Multimedia Tools and Applications.

Kluza, K., Nalepa, G. J., & Lisiecki, J. (2014). Square Complexity Metrics for Business Process Models. In M. Mach-Król & T. Pełech-Pilichowski (Eds.), (Vol. 257, pp. 89-107). Springer.

Kluza, K., & Nalepa, G. J. (2014). Automatic Generation of Business Process Models based on Attribute Relationship Diagrams. In N. Lohmann, M. Song & P. Wohed (Eds.), (Vol. 171, pp. 185-197). Springer International Publishing.

Nalepa, G. J., & Bobek, S. (2014). Rule-Based Solution for Context-Aware Reasoning on Mobile Devices. Computer Science and Information Systems, 11(1), 171.

Nalepa, G. J. (2013). From Good Robots to Useful Intelligent Agents. In K. Tchon & W. W. Gasparski (Eds.), (pp. 159-170). USA: Transaction Publishers.

Kluza, K., Adrian, W. T., Bobek, S., & Nalepa, G. J. (2013). Semantic Wiki environment for modeling and evaluation of business processes supporting collaboration and mobility. In L. Kiełtyka (Ed.), (pp. 63-79). Towarzystwo Naukowe Organizacji i Kierownictwa : Stowarzyszenie Wyższej Użyteczno\,sci „DOM ORGANIZATORA”.

Atzmueller, M., Bobek, S., Kibanov, M., & Nalepa, G. J. (2013). Towards the ambient classroom: an environment for enhancing collaborative educational processes. Paper presented at the Proceedings of the first international smart uni workshop.

Nalepa, G. J., Pascalau, E., Baran, M., & Bobek, S. (2013). Supporting the PhD application processing with a context-aware service system. Paper presented at the Proceedings of the first international smart uni workshop.

Kaczor, K., & Nalepa, G. J. (2013). A Critical Overview of Methods for Rules Interoperability : Position Paper. Automatyka/Automatics, 17(1), 53-58.

(2013). Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013.

Kaczor, K., Nalepa, G. J., & Kutt, K. (2013). HaDEsclipse – Integrated Environment for Rules (Tool Presentation). Paper presented at the Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013.

Bobek, S., Baran, M., Kluza, K., & Nalepa, G. J. (2013). Application of Bayesian Networks to Recommendations in Business Process Modeling. Paper presented at the Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013.

Adrian, W. T., Nalepa, G. J., & Ligęza, A. (2013). On Potential Usefulness of Inconsistency in Collaborative Knowledge Engineering. Paper presented at the Proceedings of the 8th International Conference on Knowledge, Information and Creativity Support Systems.

Pascalau, E., & Nalepa, G. J. (2013). Understanding Context-Aware Business Applications in the Future Internet Environment. Paper presented at the Proceedings of the 8th International Conference on Knowledge, Information and Creativity Support Systems.

Pniewska, J., Adrian, W. T., & Czerwoniec, A. (2013). Prototyping: is it a more creative way for shaping ideas. Paper presented at the Proceedings of the International Conference on Multimedia, Interaction, Design and Innovation, New York, NY, USA.

Kluza, K., Baran, M., Bobek, S., & Nalepa, G. J. (2013). Overview of Recommendation Techniques in Business Process Modeling. Paper presented at the Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013.

Adrian, W. T., Ligęza, A., & Nalepa, G. J. (2013). Inconsistency Handling in Collaborative Knowledge Management. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2013, Krakow, Poland, 8-11 September 2013.

Baran, M., & Ligęza, A. (2013). Rule-Based Knowledge Management in Social Threat Monitor. In A. Dziech & A. Czyżewski (Eds.), (Vol. 368, pp. 1-12). Springer Berlin Heidelberg.

Baran, M., Kluza, K., Nalepa, G. J., & Ligęza, A. (2013). A Hierarchical Approach for Configuring Business Processes. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2013, Krakow, Poland, 8-11 September 2013.

Kluza, K., & Nalepa, G. J. (2013). Towards Rule-oriented Business Process Model Generation. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2013, Krakow, Poland, 8-11 September 2013.

Bobek, S., Porzycki, K., & Nalepa, G. J. (2013). Learning sensors usage patterns in mobile context-aware systems. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2013, Krakow, Poland, 8-11 September 2013.

Pascalau, E., Nalepa, G. J., & Kluza, K. (2013). Towards a Better Understanding of the Concept of Context-Aware Business Applications. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2013, Krakow, Poland, 8-11 September 2013.

Kaczor, K., & Nalepa, G. J. (2013). Semantically-Driven Rule Interoperability – Concept Proposal. Paper presented at the Artificial Intelligence and Soft Computing: 12th International Conference, ICAISC 2013: Zakopane, Poland, June 9–13, 2013.

Nalepa, G. J., Kluza, K., & Kaczor, K. (2013). Proposal of an Inference Engine Architecture for Business Rules and Processes. Paper presented at the Artificial Intelligence and Soft Computing: 12th International Conference, ICAISC 2013: Zakopane, Poland, June 9–13, 2013.

Bobek, S., Nalepa, G. J., & Adrian, W. T. (2013). Mobile context-based framework for monitoring threats in urban environment. Paper presented at the Multimedia Communications, Services and Security: 6th International Conference, MCSS 2013: Kraków, Poland. June 6-7, 2013. Proceedings.

Kaczor, K., Kluza, K., & Nalepa, G. J. (2013). Towards Rule Interoperability: Design of Drools Rule Bases Using the XTT2 Method. Transactions on Computational Collective Intelligence XI, 8065, 155.

Kaczor, K., & Nalepa, G. J. (2013). A critical overview of methods for rules interoperability : position paper. Automatyka = Automatics, 17(1), 53-58.

Nalepa, G. J. (2012). Pojęcia w inżynierii wiedzy. In J. Bremer & A. Chuderski (Eds.), TAiWPN Universitas.

Werewka, J., Nalepa, G. J., Turek, M., Włodarek, T., Bobek, S., & Kaczor, K. (2012). Zarządzanie projektami w przedsi\,ebiorstwie informatycznym : praca zbiorowa. T. 3, Zarządzanie projektami i procesami wytwarzania oprogramowania Krak\,ow : Wydawnictwa AGH.

Ligęza, A. (2012). Improving efficiency in Constraint Logic Programming through constraint modeling with rules and hypergraphs. Paper presented at the Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on.

Ligęza, A. (2012). A 3-Valued Logic for Diagnostic Applications. Paper presented at the Diagnostic REAsoning: Model Analysis and Performance, August, 27th, Montpellier, France.

Bobek, S., & Adrian, W. T. (2012). Context awareness in learning human habits. Paper presented at the ICSEA 2012: The seventh International Conference on Software Engineering Advances.

Nalepa, G. J., Adrian, W. T., Bobek, S., & Maślanka, P. (2012). Combining AceWiki with a CAPTCHA System for Collaborative Knowledge Acquisition. Paper presented at the ICTAI 2012: 24th IEEE International Conference on Tools with Artificial Intelligence : November 7-9, 2012, Athens, Greece.

(2012). 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Ligęza, A., Adrian, W. T., & Ciężkowski, P. (2012). Towards collaborative knowledge engineering for improving local safety in urban environment. Paper presented at the 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Adrian, W. T., Waliszko, J., Ligęza, A., Nalepa, G. J., & Kaczor, K. (2012). Description logic reasoning in an ontology-based system for citizen safety in urban environment. Paper presented at the AI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Ligęza, A., Kluza, K., Nalepa, G. J., Adrian, W. T., & Potempa, T. (2012). Artificial Intelligence for Knowledge Management with BPMN and Rules. Paper presented at the AI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Adrian, W. T., Ciężkowski, P., Kaczor, K., Ligęza, A., & Nalepa, G. J. (2012). Web-based knowledge acquisition and management system supporting collaboration for improving safety in urban environment. Paper presented at the Multimedia Communications, Services and Security: 5th International Conference, MCSS 2012: Kraków, Poland. May 31-June 1, 2012. Proceedings.

Kaczor, K., & Nalepa, G. J. (2012). Critical evaluation of the XTT2 rule representation through comparison with CLIPS. Paper presented at the 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Kluza, K., & Kaczor, K. (2012). Overview of BPMN model equivalences: towards normalization of BPMN diagrams. Paper presented at the 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.

Nalepa, G. J., & Kaczor, K. (2012). Proposal of a rule-based testing framework for the automation of the unit testing process. Paper presented at the Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2012, Kraków, Poland, 28 September 2012.

Nalepa, G. J., Kluza, K., & Ciaputa, U. (2012). Proposal of Automation of the Collaborative Modeling and Evaluation of Business Processes Using a Semantic Wiki. Paper presented at the Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2012, Kraków, Poland, 28 September 2012.

Kluza, K., & Nalepa, G. J. (2012). Proposal of Square Metrics for Measuring Business Process Model Complexity. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012.

Ligęza, A., Kluza, K., & Potempa, T. (2012). AI approach to formal analysis of BPMN models. Towards a logical model for BPMN diagrams. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012.

Kluza, K., Kaczor, K., & Nalepa, G. J. (2012). Enriching Business Processes with Rules using the Oryx BPMN Editor. Paper presented at the Artificial Intelligence and Soft Computing: 11th International Conference, ICAISC 2012: Zakopane, Poland, April 29–May 3, 2012.

Nalepa, G. J., & Kluza, K. (2012). UML Representation for Rule-Based Application Models with XTT2-based Business Rules. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 22(4), 485-524.

Ligęza, A. (2011). A note on a logical model of an inference process : from ARD and RBS to BPMN. In M. L. O. Małgorzata Nycz (Ed.), (232 ed.pp. 41-49). Wrocław : Publishing House of Wrocław University of Economics.

Bobek, S. (2011). HeaRT rule inference engine in intelligent systems. {PAR} Pomiary Automatyka Robotyka, 15(12), 226-228.

Bobek, S., Kaczor, K., Kluza, K., & Adrian, W. T. (2011). Edycja i kontrola jakoÅ?ci wiedzy w systemach reguÅ?owych. Paper presented at the Wiedza i komunikacja w innowacyjnych organizacjach.

Kluza, K., Adrian, W. T., Ligęza, A., Nalepa, G. J., Szpyrka, M., Kaczor, K., & Bobek, S. (2011). Metody modelowania, oceny jakoÅ?ci oraz weryfikacji reguÅ? i procesów biznesowych. Paper presented at the Wiedza i komunikacja w innowacyjnych organizacjach.

Kluza, K. (2011). Modeling of Business Processes consistent with Business Rules. {PAR} Pomiary Automatyka Robotyka, 15(12), 194-195.

Nalepa, G. J. (2011). Semantic knowledge engineering â?? main concepts. {PAR} Pomiary Automatyka Robotyka, 15(12), 236-238.

Kaczor, K. (2011). Proposal of visual modeling and verification of Business Rules using HaDEs environment. {PAR} Pomiary Automatyka Robotyka, 15(12), 188-189.

Ligęza, A. (2011). A note on analysis of BPMN diagrams. {PAR} Pomiary Automatyka Robotyka, 15(12), 210-212.

Nalepa, G. J., & Bobek, S. (2011). Embedding the HeaRT Rule Engine into a Semantic Wiki. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 265-275). Springer Berlin,Heidelberg.

Ligęza, A., Maślanka, T., Kluza, K., & Nalepa, G. J. (2011). Modeling BPMN diagrams within XTT2 framework: a critical analysis. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 15(2), 299.

Ligęza, A. (2011). BPMN – a logical model and property analysis. Decision Making in Manufacturing and Services, 5(1-2), 57-67.

Adrian, W. T., Bobek, S., Nalepa, G. J., Kaczor, K., & Kluza, K. (2011). How to Reason by HeaRT in a Semantic Knowledge-Based Wiki. Paper presented at the Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, Florida, USA.

Adrian, W. T., & Nalepa, G. J. (2011). Loki – presentation of logic-based semantic wiki. Paper presented at the 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011): November 10, 2011, La Laguna (Tenerife), Spain.

Adrian, W. T. (2011). Knowledge representation, modelling and processing in modern semantic systems. {PAR} Pomiary Automatyka Robotyka, 15(12), 223-225.

Waliszko, J., Adrian, W. T., & Ligęza, A. (2011). Traffic Danger Ontology for Citizen Safety Web System. In A. Dziech & A. Czyżewski (Eds.), (Vol. 149, pp. 165-173). Springer Berlin Heidelberg.

Ligęza, A., Adrian, W. T., Ernst, S., Nalepa, G. J., Szpyrka, M., & Czapko, M., et al. (2011). Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration. In A. Dziech & A. Czyżewski (Eds.), (Vol. 149, pp. 268-276). Springer Berlin Heidelberg.

Kaczor, K., Nalepa, G. J., Łysik, &., & Kluza, K. (2011). Visual Design of Drools Rule Bases Using the XTT2 Method. Paper presented at the Semantic Methods for Knowledge Management and Communication.

Kluza, K., Nalepa, G. J., Szpyrka, M., & Ligęza, A. (2011). Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods. Paper presented at the 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011): November 10, 2011, La Laguna (Tenerife), Spain.

Kaczor, K., Nalepa, G. J., Łysik, &., & Kluza, K. (2011). Visual Design of Drools Rule Bases Using the XTT2 Method. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 57). Springer-Verlag.

Szpyrka, M., Nalepa, G. J., Ligęza, A., & Kluza, K. (2011). Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 249). Springer-Verlag.

Kluza, K., Maślanka, T., Nalepa, G. J., & Ligęza, A. (2011). Proposal of Representing BPMN Diagrams with XTT2-based Business Rules. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 243). Springer-Verlag.

Nalepa, G. J., Ligęza, A., & Kaczor, K. (2011). Formalization and Modeling of Rules Using the XTT2 Method. International Journal on Artificial Intelligence Tools, 20(6), 1107.

Nalepa, G. J. (2011). Semantic Knowledge Engineering. A Rule-Based Approach. Kraków: Wydawnictwa AGH.

Nalepa, G. J., & Ligęza, A. (2011). Special section: Semantic knowledge engineering. International Journal of Applied Mathematics and Computer Science, 21(1).

Baumeister, J., & Nalepa, G. J. (2011). Knowledge and software engineering for intelligent systems (Special Issue). International Journal of Knowledge Engineering and Data Mining, 1(3).

Nalepa, G. J., Kluza, K., & Ernst, S. (2011). Modeling and Analysis of Business Processes with Business Rules. In J. A. Beckmann (Ed.), (pp. 135). Nova Science Publishers.

Nalepa, G., Ligęza, A., & Kaczor, K. (2011). Overview of Knowledge Formalization with XTT2 Rules. Paper presented at the Rule-Based Reasoning, Programming, and Applications.

Nalepa, G., Bobek, S., Ligęza, A., & Kaczor, K. (2011). Algorithms for Rule Inference in Modularized Rule Bases. Paper presented at the Rule-Based Reasoning, Programming, and Applications.

Nalepa, G., Bobek, S., Ligęza, A., & Kaczor, K. (2011). HalVA – Rule Analysis Framework for XTT2 Rules. Paper presented at the Rule-Based Reasoning, Programming, and Applications.

Ligęza, A., & Nalepa, G. J. (2011). A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 1(2), 117.

Nalepa, G. J. (2011). Loki – Semantic Wiki with Logical Knowledge Representation. In N. T. Nguyen (Ed.), (Vol. 6560, pp. 96-114). Springer.

Maślanka, T., Ligęza, A., Kluza, K., & Nalepa, G. J. (2011). Proposal of the translation of BPMN model to the XTT2 knowledge representation (No. CSLTR 1/2011). AGH University of Science and Technology.

Ligęza, A., & Nalepa, G. J. (2010). Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. (pp. 261-283). Warszawa: Wydawnictwa Naukowo-Techniczne.

Sarapata, K., Góra, P., Nalepa, G. J., Adrian, W. T., Kluza, K., & Noga, M. (2010). Encyklopedia semantyczna – odpowiedź na wymagania dietetyka. Problemy Higieny i Epidemiologii, 4(91), 517.

Ligęza, A., Ernst, S., Nowaczyk, S., Nalepa, G. J., Szpyrka, M., & Furmańska, W. T., et al. (2010). Towards enregistration of threats in urban environments: practical consideration for a GIS-enabled Web Knowledge Acquisition system. Paper presented at the MCSS 2010: Multimedia Communications, Services and Security: IEEE International Conference: Kraków, 6-7 May 2010.

Ligęza, A., & Nalepa, G. J. (2010). Pozyskiwanie wiedzy i zarządzanie wiedzą. In M. O. L. Malgorzata Nycz (Ed.), (pp. 58-68). Wrocław: Wydawnictwo Uniwersytetu Ekonomicznego.

Bobek, S., Gawędzki, M., Kaczor, K., Ligęza, A., & Nalepa, G. J. (2010). Architektura HeaRT – środowiska uruchomieniowego dla regułowej reprezentacji wiedzy XTT2. In J. Gołuchowski & B. Filipczyk (Eds.), (pp. 68-76). Katowice: Wydawnictwo Uniwersytetu Ekonomicznego.

Sarapata, K., Góra, P., Nalepa, G. J., Adrian, W. T., Kluza, K., & Noga, M. (2010). Encyklopedia semantyczna – odpowiedź na wymagania dietetyka. Problemy Higieny i Epidemiologii, 91(4), 517-521.

Bobek, S., Furmańska, W. T., Kaczor, K., Kluza, K., Ligęza, A., Ligęza, A., & Nalepa, G. J. (2010). HeKatE: Hybrydowe podejście do inżynierii systemów ekspertowych: metodologia, projektowanie, narzędzia. In J. Gołuchowski & B. Filipczyk (Eds.), (pp. 57-68). Katowice: Wydawnictwo Uniwersytetu Ekonomicznego.

Szmuc, T., Szpyrka, M., Klimek, R., Kułakowski, K., Ligęza, A., & Matyasik, P., et al. (2010). Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. Warszawa: Wydawnictwa Naukowo-Techniczne.

Adrian, W. T., Nalepa, G. J., Kaczor, K., & Noga, M. (2010). Overview of selected approaches to rule representation on the Semantic Web (No. CSLTR 2/2010). AGH University of Science and Technology.

Nalepa, G. J., & Furmańska, W. T. (2010). Pellet-HeaRT – proposal of an architecture for ontology systems with rules. Paper presented at the {KI 2010}: Advances in Artificial Intelligence: 33rd annual German conference on {AI}: Karlsruhe, Germany, September 21-24, 2010, Berlin; Heidelberg.

Nalepa, G. J., & Baumeister, J. (2010). Preface. Paper presented at the {6th workshop on Knowledge Engineering and Software Engineering (KESE6): at the 33rd German conference on Artificial Intelligence: September 21, 2010, Karlsruhe, Germany}, Karlsruhe, Germany.

(2010). 6th workshop on Knowledge Engineering and Software Engineering (KESE6): at the 33rd German conference on Artificial Intelligence: September 21, 2010, Karlsruche, Germany.

Ligęza, A., Ernst, S., Nowaczyk, S., Nalepa, G. J., Szpyrka, M., & Furmańska, W. T., et al. (2010). Towards enregistration of threats in urban environments: practical consideration for a GIS-enabled Web Knowledge Acquisition system. Paper presented at the MCSS 2010: Multimedia Communications, Services and Security: IEEE International Conference: Kraków, 6-7 May 2010, Poland.

Kaczor, K., Nalepa, G. J., & Bobek, S. (2010). Rule Modularization and Inference Solutions – a Synthetic Overview. Paper presented at the Crossing Borders within ABC. Automation, Biomedical Engineering and Computer Science: 55 IWK Internationales Wissenschaftliches Kolloquium: International Scientific Colloquium, Illmenau, Germany.

Kluza, K., Nalepa, G. J., & Łysik, &. (2010). Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal. Paper presented at the Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence September 21, 2010, Karlsruhe, Germany, Karlsruhe, Germany.

Nalepa, G. J. (2010). Collective Knowledge Engineering with Semantic Wikis. Journal of Universal Computer Science, 16(7), 1006.

Bobek, S., Kaczor, K., & Nalepa, G. J. (2010). Overview of Rule Inference Algorithms for Structured Rule Bases. Gdansk University of Technology Faculty of ETI Annals, 18(8), 57-62.

Noga, M., Kaczor, K., & Nalepa, G. J. (2010). Lightweight reasoning methods in selected Semantic Wikis. Gdansk University of Technology Faculty of ETI Annals, 18(8), 103-108.

Nalepa, G. J., & Furmańska, W. T. (2010). Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules. In N. T. Nguyen & R. Kowalczyk (Eds.), (Vol. 6450, pp. 1-23). Springer Berlin,Heidelberg.

Nalepa, G. J. (2010). Architecture of the HeaRT Hybrid Rule Engine. Paper presented at the Artificial Intelligence and Soft Computing: 10th International Conference, ICAISC 2010: Zakopane, Poland, June 13–17, 2010, Pt. II.

Nalepa, G. J., & Ligęza, A. (2010). HeKatE Methodology, Hybrid Engineering of Intelligent Systems. International Journal of Applied Mathematics and Computer Science, 20(1), 35-53.

Baki, B., Bouzid, M., Ligeza, A., & Mouaddib, A. (2006). A centralized planning technique with temporal constraints and uncertainty for multi-agent systems. J. Exp. Theor. Artif. Intell., 18(3), 331-364.

Lig{ę}za, A. (2009). AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems. Automatyka, 13(2), 411.

(2009). KESE 2009: 5th workshop on Knowledge Engineering and Software Engineering at the 32nd German Conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany. Technical Report no. 461. Würzburg, Germany.

(2009). 3rd East European workshop on Rule-based applications: September 21, 2009, Cottbus, Germany. Cottbus, Germany.

Furmańska, W. T., & Nalepa, G. J. (2009). Review of selected Semantic Web Technologies (No. CSLTR 6/2009). AGH University of Science and Technology.

Ligęza, A., Ernst, S., Nalepa, G. J., & Szpyrka, M. (2009). A conceptual model for Web Knowledge Acquisition system with GIS component. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 13(2), 421.

Nalepa, G. J. (2009). Analysis of selected knowledge representation methods in semantic wikis. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 13(2), 477.

Nalepa, G. J., & Furmańska, W. T. (2009). Review of semantic Web technologies for GIS. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 13(2), 485.

Baumeister, J., & Nalepa, G. J. (2009). Preface. Paper presented at the 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, Paderborn, Germany.

Furmańska, W. T., & Nalepa, G. J. (2009). Design process ontology – approach proposal. Paper presented at the 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, Paderborn, Germany.

Antoni Ligęza and Grzegorz J. Nalepa. (2009). Preface. Kraków, Poland.

Ligęza, A., & Nalepa, G. J. (2009). Preface. Paper presented at the International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS2009): November 28, 2009, Kraków, Poland, Kraków, Poland.

Baumeister, J., & Nalepa, G. J. (2009). Engineering expressive knowledge with semantic wikis. Paper presented at the International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS2009): November 28, 2009, Kraków, Poland, Kraków, Poland.

Ligęza, A., Nalepa, G. J., & Ligęza, A. (2009). Proposal of a graph-oriented approach to verification of XTT2 rule bases. Paper presented at the International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS2009): November 28, 2009, Kraków, Poland, Kraków, Poland.

Ligęza, A., & Nalepa, G. J. (2009). Development of knowledge-based systems methods and tools. Paper presented at the Kierunki działalności i współpraca naukowa Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki: materiały konferencji zorganizowanej z okazji Jubileuszu 90-lecia AGH, Kraków, Poland.

Atzmueller, M., & Nalepa, G. J. (2009). Towards rapid knowledge capture using textual subgroup mining for rule prototyping (No. Research Report Series no. 458). University of Würzburg. Institute of Computer.

Nalepa, G. J. (2009). PlWiki – A Generic Semantic Wiki Architecture. Paper presented at the Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings.

Kluza, K., & Nalepa, G. J. (2009). Analysis of UML Representation for XTT and ARD Rule Design Methods (No. CSLTR 5/2009). AGH University of Science and Technology.

Nalepa, G. J., Bobek, S., Gawędzki, M., & Ligęza, A. (2009). HeaRT Hybrid XTT2 Rule Engine Design and Implementation (No. CSLTR 4/2009). AGH University of Science and Technology.

Matyasik, P. (2009). Event-based Hexor Robot Software Framework (No. CSLTR 3/2009). AGH University of Science and Technology.

Kluza, K., & Nalepa, G. J. (2009). MOF-based Metamodeling for the XTT Knowledge Representation. Paper presented at the CMS'09: Computer Methods and Systems: 7th conference, 26–27 November 2009, Kraków, Poland, Cracow.

Kaczor, K., & Nalepa, G. J. (2009). Extensible design and verification enviroment for XTT rule bases. Paper presented at the CMS'09: Computer Methods and Systems: 7th conference, 26–27 November 2009, Kraków, Poland, Cracow.

Nalepa, G. J., & Mach, M. A. (2009). Business Rules Design Method for Business Process Management. Paper presented at the Proceedings of the International Multiconference on Computer Science and Information Technology.

Nalepa, G. J., & Wojnicki, I. (2009). ARD+ a Prototyping Method for Decision Rules. Method Overview, Tools, and the Thermostat Case Study (No. CSLTR 01/2009). AGH University of Science and Technology.

Ligęza, A., & Nalepa, G. J. (2009). Proposal of a Formal Verification Framework for the XTT2 Rule Bases. Paper presented at the CMS'09: Computer Methods and Systems: 7th conference, 26–27 November 2009, Kraków, Poland, Kraków.

Nalepa, G. J., Ligęza, A., Kaczor, K., & Furmańska, W. T. (2009). HeKatE Rule Runtime and Design Framework. Paper presented at the Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, 2009, Cottbus, Germany.

Kaczor, K., & Nalepa, G. J. (2009). HaDEs – Presentation of the HeKatE Design Environment. Paper presented at the 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, Paderborn, Germany.

Nalepa, G. J., & Furmańska, W. T. (2009). New Challenges in Computational Collective Intelligence. In A. J. Ngoc Thanh Nguyen Radosław Piotr Katarzyniak (Ed.), (pp. 15-26). Springer.

n, W. F. T., & Nalepa, G. J. (2009). Nowe metody reprezentacji reguł dla Sieci Semantycznej. Paper presented at the In\.{z}ynieria Wiedzy i Systemy Ekspertowe, Warszawa.

Kluza, K., & Nalepa, G. J. (2009). Metody i narzędzia wizualnego projektowania reguł decyzyjnych. Paper presented at the In\.{z}ynieria Wiedzy i Systemy Ekspertowe, Warszawa.

Kaczor, K., & Nalepa, G. J. (2009). HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT. Paper presented at the In\.{z}ynieria Wiedzy i Systemy Ekspertowe, Warszawa.

Atzmueller, M., & Nalepa, G. J. (2009). A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture. Paper presented at the FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California.

Nalepa, G. J., & Ligęza, A. (2009). On ALSV Rules Formulation and Inference. Paper presented at the FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California.

Baumeister, J., & Nalepa, G. J. (2009). Verification of Distributed Knowledge in Semantic Knowledge Wikis. Paper presented at the FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California.

Nalepa, G. J. (2009). XTT Rules Design and Implementation with Object-Oriented Methods. Paper presented at the FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference: 19–21 May 2009, Sanibel Island, Florida, USA, Menlo Park, California.

Ligęza, A., & Nalepa, G. J. (2009). Rules verification and validation. In A. Giurca, D. G. c & K. Taveter (Eds.), (pp. 273). Hershey, New York: IGI Global.

Nalepa, G. J. (2009). Languages and Tools for Rule Modeling. In A. Giurca, D. G. c & K. Taveter (Eds.), (pp. 596). Hershey, New York: IGI Global.

Nalepa, G. J., & Wojnicki, I. (2009). Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. Paper presented at the INAP2007/WLP 2007, Berlin Heidelberg.

Nalepa, G. J., & Furmańska, W. T. (2009). Design Process Ontology – Approach Proposal. Paper presented at the KESE.

(2009). Proceedings of the 5th Workshop on Knowledge Engineering and Software Engineering (KESE-2009) at the 32nd German Conference on Artificial Intelligence, Paderborn, Germany, September 15, 2009. CEUR-WS.org.

Nalepa, {. J. }. (2009). HeKatE Concepts.

Nalepa, {. J. }. (2009). HeKatE Design Environment.

Nalepa, {. J. }. (2009). HeKatE Markup Language.

Nalepa, {. J. }. (2009). HeKatE Meta Representation.

Ligęza, A., & Kościelny, J. M. (2008). A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models. Applied Mathematics and Computer Science, 18(4), 465-476.

(2008). 4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 31st German Conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany. Kaiserslautern, Germany.

Nalepa, G. J. (2008). Knowledge-driven computing: knowledge engineering and intelligent computations. (Vol. 102, pp. 183-198). Springer-Verlag.

Kaczor, K., & Nalepa, G. J. (2008). Design and Implementation of HQEd, the Visual Editor for the XTT+ Rule Design Method (No. CSLTR 02/2008). AGH University of Science and Technology.

Matyaski, P., & Ziecik, P. (2008). The Hexor robot control software (No. CSLTR 01/2008). AGH University of Science and Technology.

Nalepa, G. J., & Wojnicki, I. (2008). Hierarchical Rule Design with HaDEs the HeKatE Toolchain. Paper presented at the Proceedings of the International Multiconference on Computer Science and Information Technology.

Kułakowski, K., & Nalepa, G. J. (2008). Using UML state diagrams for visual modeling of business ruless. Paper presented at the Proceedings of the International Multiconference on Computer Science and Information Technology, Wisła.

Szpyrka, M. (2008). Exclusion rule-based systems – case study. Paper presented at the Proceedings of the International Multiconference on Computer Science and Information Technology, Wisła.

(2008). 4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany. Kaiserslautern, Germany.

Nalepa, G. J., & Kluza, K. (2008). UML representation proposal for XTT rule design method. Paper presented at the 4th Workshop on Knowledge Engineering and Software Engineering ({KESE2008}) at the 32nd German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany, Kaiserslautern, Germany.

Nalepa, G. J., & Wojnicki, I. (2008). Proposal for a Prolog-Based Knowledge Wiki. Paper presented at the 4th Workshop on Knowledge Engineering and Software Engineering ({KESE2008}) at the 32st German conference on Artificial Intelligence: September 23, 2008, Kaiserslautern, Germany, Kaiserslautern, Germany.

Nalepa, G. J., & Wojnicki, I. (2008). VARDA Rule Design and Visualization Tool-Chain. Paper presented at the KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23–26, 2008, Berlin; Heidelberg.

Nalepa, G. J. (2008). Prototype Prolog API for Mindstorms NXT. Paper presented at the KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008: Kaiserslautern, Germany, September 23–26, 2008, Berlin; Heidelberg.

Nalepa, G. J., & Ligęza, A. (2008). XTT+ Rule Design Using the ALSV(FD). Paper presented at the ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008: Patras, 22 July 2008, Patras.

Ligęza, A., & Nalepa, G. J. (2008). Granular Logic with Variables for Implementation of Extended Tabular Trees. Paper presented at the FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15–17 {M}ay 2008, Coconut Grove, Florida, USA, Menlo Park, California.

Nalepa, G. J. (2008). \mboxUServ Case Study, Conceptual Design with \mboxARD+ Method. Paper presented at the FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15–17 {M}ay 2008, Coconut Grove, Florida, USA, Menlo Park, California.

Nalepa, G. J., & Wojnicki, I. (2008). Concept of an Interactive Web Portal for Teaching Prolog. Paper presented at the FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15–17 {M}ay 2008, Coconut Grove, Florida, USA, Menlo Park, California.

Nalepa, G. J., & Wojnicki, I. (2008). Towards Formalization of ARD+ Conceptual Design and Refinement Method. Paper presented at the FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15–17 {M}ay 2008, Coconut Grove, Florida, USA, Menlo Park, California.

Nalepa, G. J., & Wojnicki, I. (2008). An \mboxARD+ Design and Visualization Toolchain Prototype in Prolog. Paper presented at the FLAIRS-21: Proceedings of the twenty-first international Florida Artificial Intelligence Research Society conference: 15–17 {M}ay 2008, Coconut Grove, Florida, USA.

Szpyrka, M. (2008). Design and analysis of rule-based systems with Adder Designer. In C. Cotta, S. Reich & R. Schaefer & A. Ligęza (Eds.), (Vol. 102, pp. 255-271). Springer-Verlag.