Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy — [Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266. — Bibliogr. s. 266, Streszcz.

Analiza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych — [Analysis of relational model for data and knowledge representation and formalisation of selected qualitative properties] / Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 255–260. — Bibliogr. s. 260, Streszcz.

Diagnostyka systemów dynamicznych na bazie niespójności w oparciu o model systemu — [Model-based dynamic systems diagnosis with use of consistency-based reasoning] / Antoni LIGĘZA, Bartłomiej GÓRNY // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 607–612. — Bibliogr. s. 612, Streszcz.

Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems / Antoni LIGĘZA // W: EUROVAV 1999 : validation and verification of knowledge based systems: theory, tools and practice : proceedings of the 5\textsuperscript{th} European Symposium on Verification and Validation of Knowledge Based Systems and Components : Oslo, Norvay, June 9–11, 1999 / ed. Anca Vermesan, Frans Coenen. — Oslo : [s. n.], 1999. — S. [1–14]. — Bibliogr. s. [13–14], Abstr.

Systematic conflict generation in $Ca-En-type$ causal structures / Antoni LIGĘZA, Bartłomiej GÓRNY // W: Artificial intelligence in structural engineering : information technology for design, manufacturing, maintenance and monitoring : proceedings of the 6\textsuperscript{th} EG-SEA-AI Workshop, Wierzba 1999 / ed. Adam Borkowski. — Warszawa : Wydawnictwa Naukowo-Techniczne, 1999. — s. 131–138. — Bibliogr. s. 138, Abstr.

Wybrane problemy implementacji modułu wnioskowania diagnostycznego — Selected implementation problems of a diagnostic module / Antoni LIGĘZA // W: Diagnostyka procesów przemysłowych = Diagnostics of industrial processes : IV [czwarta] Krajowa Konferencja Naukowo-Techniczna : Kazimierz Dolny, 13–16 września 1999 / red. nauk. Jan M. Kościelny ; Politechnika Warszawska. — Warszawa : Instytut Automatyki i Robotyki Politechniki Warszawskiej, 1999. — S. 197–200. — Bibliogr. s. 200, Streszcz., Summ.