Antoni Ligęza
Título
Citado por
Citado por
Año
Logical Foundations for Rule-Based Stystems
A Ligeza
Springer, 2006
3252006
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
662011
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
462008
Toward logical analysis of tabular rule‐based systems
A Ligęza
International Journal of Intelligent Systems 16 (3), 333-360, 2001
432001
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
422016
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
382011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20