×

zbMATH — the first resource for mathematics

Ligȩza, Antoni

Compute Distance To:
Author ID: ligeza.antoni Recent zbMATH articles by "Ligȩza, Antoni"
Published as: Ligȩza, Antoni; Ligeza, Antoni; Ligęza, Antoni; Lige\c{z}a, Antoni; Ligȩza, A.
Documents Indexed: 35 Publications since 1988, including 2 Books

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 18 times in 14 Documents Cited by Year
A new approach to multiple fault diagnosis: a combination of diagnostic matrices, graphs, algebraic and rule-based models. the case of two-layer models. Zbl 1167.68446
Ligȩza, A.; Kościelny, J.
3
2008
Temporal causal abduction. Zbl 0954.68144
Bouzid, Maroua; Ligeza, Antoni
2
2000
Logical foundations for rule-based systems. 2nd ed. Zbl 1095.68113
Ligȩza, Antoni
2
2006
Toward logical analysis of tabular rule-based systems. Zbl 0995.68117
Ligȩza, Antoni
1
2001
A graphical tabular model for rule-based logic programming and verification. Zbl 1292.90207
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2005
A visual edition tool for design and verification of knowledge in rule-based systems. Zbl 1292.68139
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2005
The HeKatE methodology. Hybrid engineering of intelligent systems. Zbl 1300.93078
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2010
Tab-trees: A CASE tool for the design of extended tabular systems. Zbl 0988.68747
Ligeza, Antoni; Wojnicki, Igor; Nalepa, Grzegorz J.
1
2001
And/or/not causal graphs - a model for diagnostic reasoning. Zbl 0881.90060
Ligȩza, Antoni; Fuster Parra, Pilar
1
1997
Expert control through decision making. Zbl 0709.93515
Tzafestas, Spyros; Ligeza, Antoni
1
1988
Knowledge-driven computing. Knowledge engineering and intelligent computations. Zbl 1139.68002
Cotta, Carlos C. (ed.); Reich, Simeon (ed.); Schaefer, Robert (ed.); Ligȩza, Antoni (ed.)
1
2008
Selected temporal logic systems: an attempt at engineering evaluation. Zbl 1358.68293
Jobczyk, Krystian; Ligeza, Antoni; Kluza, Krzysztof
1
2016
Why systems of temporal logic are sometimes (un)useful? Zbl 1358.68292
Jobczyk, Krystian; Ligeza, Antoni
1
2016
Comparative approach to the multi-valued logic construction for preferences. Zbl 1355.68247
Jobczyk, Krystian; Ligȩza, Antoni; Bouzid, Maroua; Karczmarczuk, Jerzy
1
2015
Selected temporal logic systems: an attempt at engineering evaluation. Zbl 1358.68293
Jobczyk, Krystian; Ligeza, Antoni; Kluza, Krzysztof
1
2016
Why systems of temporal logic are sometimes (un)useful? Zbl 1358.68292
Jobczyk, Krystian; Ligeza, Antoni
1
2016
Comparative approach to the multi-valued logic construction for preferences. Zbl 1355.68247
Jobczyk, Krystian; Ligȩza, Antoni; Bouzid, Maroua; Karczmarczuk, Jerzy
1
2015
The HeKatE methodology. Hybrid engineering of intelligent systems. Zbl 1300.93078
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2010
A new approach to multiple fault diagnosis: a combination of diagnostic matrices, graphs, algebraic and rule-based models. the case of two-layer models. Zbl 1167.68446
Ligȩza, A.; Kościelny, J.
3
2008
Knowledge-driven computing. Knowledge engineering and intelligent computations. Zbl 1139.68002
Cotta, Carlos C.; Reich, Simeon; Schaefer, Robert; Ligȩza, Antoni
1
2008
Logical foundations for rule-based systems. 2nd ed. Zbl 1095.68113
Ligȩza, Antoni
2
2006
A graphical tabular model for rule-based logic programming and verification. Zbl 1292.90207
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2005
A visual edition tool for design and verification of knowledge in rule-based systems. Zbl 1292.68139
Nalepa, Grzegorz J.; Ligęza, Antoni
1
2005
Toward logical analysis of tabular rule-based systems. Zbl 0995.68117
Ligȩza, Antoni
1
2001
Tab-trees: A CASE tool for the design of extended tabular systems. Zbl 0988.68747
Ligeza, Antoni; Wojnicki, Igor; Nalepa, Grzegorz J.
1
2001
Temporal causal abduction. Zbl 0954.68144
Bouzid, Maroua; Ligeza, Antoni
2
2000
And/or/not causal graphs - a model for diagnostic reasoning. Zbl 0881.90060
Ligȩza, Antoni; Fuster Parra, Pilar
1
1997
Expert control through decision making. Zbl 0709.93515
Tzafestas, Spyros; Ligeza, Antoni
1
1988

Citations by Year