Antoni Ligęza
Title
Cited by
Cited by
Year
Logical Foundations for Rule-Based Stystems
A Ligeza
Springer, 2006
3222006
The HeKatE methodology. Hybrid engineering of intelligent systems
GJ Nalepa, A Ligęza
International Journal of Applied Mathematics and Computer Science 20 (1), 35-53, 2010
812010
Formalization and modeling of rules using the XTT2 method
GJ Nalepa, A LIGĘZA, K Kaczor
International Journal on Artificial Intelligence Tools 20 (06), 1107-1125, 2011
652011
A graphical tabular model for rule-based logic programming and verification
GJ Nalepa, A Ligeza
SYSTEMS SCIENCE-WROCLAW- 31 (2), 89, 2005
622005
A study of methodological issues in design and development of rule‐based systems: Proposal of a new approach
A Ligęza, GJ Nalepa
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 1 (2 …, 2011
592011
HalVA-rule analysis framework for XTT2 rules
GJ Nalepa, S Bobek, A Ligęza, K Kaczor
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2011
462011
A new approach to multiple fault diagnosis: A combination of diagnostic matrices, graphs, algebraic and rule-based models. The case of two-layer models
A Ligęza, J Kościelny
International Journal of Applied Mathematics and Computer Science 18 (4 …, 2008
442008
Toward logical analysis of tabular rule‐based systems
A Ligęza
International Journal of Intelligent Systems 16 (3), 333-360, 2001
432001
Algorithms for rule inference in modularized rule bases
GJ Nalepa, S Bobek, A Ligęza, K Kaczor
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2011
412011
On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method
WW Koczkodaj, K Kułakowski, A Ligęza
Scientometrics 99 (3), 911-926, 2014
402014
Proposal of formal verification of selected BPMN models with Alvis modeling language
M Szpyrka, GJ Nalepa, A Ligęza, K Kluza
Intelligent Distributed Computing V, 249-255, 2011
372011
Bayesian network modeling: A case study of an epidemiologic system analysis of cardiovascular risk
P Fuster-Parra, P Tauler, M Bennasar-Veny, A Ligęza, ...
Computer methods and programs in biomedicine 126, 128-142, 2016
362016
Conceptual modelling and automated implementation of rule-based systems
GJ Nalepa, A Ligęza
Proceedings of the 2005 conference on Software Engineering: Evolution and …, 2005
352005
Designing reliable web security systems using rule-based systems approach
GJ Nalepa, A Ligeza
International Atlantic Web Intelligence Conference, 124-133, 2003
322003
Validation and verification of knowledge-based systems: report on eurovav99
F Coenen, T Bench-Capon, R Boswell, J Dibie-Barthélemy, B Eaglestone, ...
The Knowledge Engineering Review 15 (2), 187-196, 2000
322000
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.
GJ Nalepa, A Ligeza
FLAIRS Conference, 426-431, 2006
302006
Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems⋆
A Ligęza, I Wojnicki, GJ Nalepa
International Conference on Database and Expert Systems Applications, 422-431, 2001
282001
Xtt+ rule design using the alsv (fd)
GJ Nalepa, A Ligęza
ECAI, 11-15, 2008
272008
Proposal of representing BPMN diagrams with XTT2-based business rules
K Kluza, T Maślanka, GJ Nalepa, A Ligęza
Intelligent Distributed Computing V, 243-248, 2011
252011
Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems
A Ligȩza
Validation and verification of knowledge based systems, 313-325, 1999
251999
The system can't perform the operation now. Try again later.
Articles 1–20