Follow
Antoni Ligęza
Title
Cited by
Cited by
Year
Logical Foundations for Rule-Based Stystems
A Ligeza
Springer, 2006
3672006
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
842010
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
682016
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
672011
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
622011
A graphical tabular model for rule-based logic programming and verification
GJ Nalepa, A Ligeza
SYSTEMS SCIENCE-WROCLAW- 31 (2), 89, 2005
622005
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
492008
HalVA-rule analysis framework for XTT2 rules
GJ Nalepa, S Bobek, A Ligęza, K Kaczor
Rule-Based Reasoning, Programming, and Applications: 5th International …, 2011
482011
Artificial Intelligence: A Modern Approach: By Stuart Russell and Peter Norwig. ISBN# 0-13-103805-2, pp. 932+ 28. Prentice Hall, Englewood Cliffs, New Jersey, 1995
A Ligeza
Neurocomputing 9 (2), 215-218, 1995
461995
Toward logical analysis of tabular rule‐based systems
A Ligęza
International Journal of Intelligent Systems 16 (3), 333-360, 2001
452001
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, 911-926, 2014
422014
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: Proceedings of the 5th International …, 2012
412012
Algorithms for rule inference in modularized rule bases
GJ Nalepa, S Bobek, A Ligęza, K Kaczor
Rule-Based Reasoning, Programming, and Applications: 5th International …, 2011
412011
An approach to participatory business process modeling: BPMN model generation using constraint programming and graph composition
P Wiśniewski, K Kluza, A Ligęza
Applied Sciences 8 (9), 1428, 2018
372018
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
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
352000
Designing reliable web security systems using rule-based systems approach
GJ Nalepa, A Ligeza
Advances in Web Intelligence: First International AtlanticWeb Intelligence …, 2003
342003
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.
GJ Nalepa, A Ligeza
FLAIRS Conference, 426-431, 2006
292006
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: Proceedings of the 5th International …, 2012
262012
The system can't perform the operation now. Try again later.
Articles 1–20