Diagnostyka systemów dynamicznych w oparciu o analizę niespójności na platformie Matlab/Simulink — Consistency-based dynamic system diagnosis on the Matlab/Simulink platform / Bartłomiej GÓRNY, Antoni LIGĘZA // W: Diagnostyka procesów przemysłowych : VI krajowa konferencja naukowo-techniczna : Władysławowo 15–17 września 2003 = Diagnostics of industrial processes / red. naukowa Zdzisław Kowalczuk ; Politechnika Gdańska. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne, 2003. — ISBN10: 8391866300. — S. 301–306. — Bibliogr. s. 306, Streszcz., Abstr.

Integrated design environment for formal verifiacation of ruled-based systems — Zintegrowane środowisko wspierające formalną weryfikację systemów regułowych / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003. — S. 30–37. — Bibliogr. s. 36, Abstr., Streszcz.

Knowledge-based design and verification environment for rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 461–466. — Bibliogr. s. 466, Abstr.

Logiczne podstawy narzędzi dla wspomagania zarządzania wiedzą. Metody reprezentacji, analizy i przetwarzania wiedzy — Logical foundations for knowledge management tools. Knowledge representation, analysis and processing / Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003. — S. 151–158. — Bibliogr. s. 158, Streszcz., Abstr.

Meta-level approach to knowledge management in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Pozyskiwanie wiedzy i zarządzanie wiedzą / red. naukowi Małgorzata Nycz, Mieczysław Lech Owoc ; AE im. Oskara Langego we Wrocławiu. — Wrocław : Wydawnictwo AE im. Oskara Langego, 2003. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 975). — S. 332–339. — Bibliogr. s. 338–339

Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne — [Computer methods and systems in scientific research and engineering design] / red. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; Akademia Górniczo-Hutnicza ; Politechnika Krakowska ; Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — XIII, 870 s. — Bibliogr. przy rozdz.

Zastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych — [Application of OBDD diagrams in verification of tabular rule systems] / Piotr SZWED, Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 83–88. — Bibliogr. s. 88, Streszcz.