Analiza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops — Design and implementation problems of real-time rule-based systems – selected issues based on the case study of Kheops system / Antoni LIGĘZA, Grzegorz J. NALEPA, Igor WOJNICKI // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 53–64. — Bibliogr. s. 63, Summ.

Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

Elements of algebraic data analysis for verification of qualitative properties / Antoni LIGĘZA // W: Pozyskiwanie wiedzy z baz danych : materiały na konferencję : Turawa, 19–21 maja 2000 r. / red. nauk. Andrzej Baborski. — Wrocław : Wydawnictwo Akademii Ekonomicznej im. Oskara Langego we Wrocławiu, 2000. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 850). — S. 18–28. — Bibliogr. s. 27–28

Enhancing causality in an AND/OR/NOT causal graph for abductive diagnostic inference / Pilar Fuster-Parra, Antoni LIGĘZA // W: Cybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria, 25–28 April 2000, Vol. 1 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 250–253. — Bibliogr. s. 253, Abstr.

Koncepcja inteligentnego serwera WWW jako interfejsu do bazy wiedzy i narzędzia komunikacji w zespole projektowym — [A proposal for an intelligent WWW server as a knowledge base interface and communication tool for group design] / Marcin BAJER, 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, 2000. — Zawiera teksty ref. przedstawionych na IV Krajowej Konferencji Naukowej "Inżynieria wiedzy i systemy ekspertowe", Wrocław 13-15 czerwca 2000 r.. — ISBN10: 83-7085-477-X. — S. 13–18. — Bibliogr. s. 18

Logical analysis of databases and rule-based systems / Antoni LIGĘZA // W: Cybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria 25–28 April 2000, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 757–762. — Bibliogr. s. 762, Abstr.

Model–based diagnosis of dynamic systems: towards systematic conflict generation in causal graphs / Bartłomiej GÓRNY, Antoni LIGĘZA // W: Proceedings of the Polish–German Symposium on Science Research Education SRE'2000 : 28–29 September 2000 Zielona Góra, Poland. Pt. 1 / ed. Józef Korbicz. — Zielona Góra : [Technical University of Zielona Góra], 2000. — S. 83–88. — Bibliogr. s. 88, Abstr.

Systematic conflict generation in model-based diagnosis / Antoni LIGĘZA, Bartłomiej GÓRNY // W: Safeprocess 2000 : 4th [fourth] IFAC symposium on Fault Detection Supervision and Safety for Technical Processes : Budapest 14–16 June 2000 : preprints, Vol. 2/2 / ed. A.M. Edelmayer. — [Budapest : s. n.], 2000. — S. 1103–1108. — Bibliogr. s. 1108, Abstr.

Temporal causal abduction / Maroua Bouzid, Antoni LIGĘZA // Constraints ; ISSN 1383-7133. — 2000 vol. 5 iss. 3, s. 303–319. — Bibliogr. s. 318–319, Abstr.. — tekst: https://link-1springer-1com-1nyztljxv0156.wbg2.bg.agh.edu.pl/content/pdf/10.1023%2FA%3A1009872918405.pdf

Validation and verification of knowledge-based systems: report on EUROVAV99 / Frans Coenen [et al.], Antoni LIGĘZA [et al.] // The Knowledge Engineering Review ; ISSN 0269-8889. — 2000 vol. 15 iss. 2, s. 187–196. — Bibliogr. s. 194–196. — Publikacja dostępna online od: 2000-11-10

Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy — [Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 103–110. — Bibliogr. s. 110

Wnioskowanie diagnostyczne z wykorzystaniem modelu systemu — [Diagnostic reasoning with use of system model] / Bartłomiej GÓRNY, 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, 2000. — ISBN10: 83-7085-476-1. — S. 52–59. — Bibliogr. s. 59

Wnioskowanie w oparciu o analogię w bazach danych i bazach wiedzy – wybrane problemy formalnej reprezentacji przypadków — [Case-based reasoning in databases and knowledge bases – selected issues of formal representation of cases] / Stanisław ZBROJA, 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, 2000. — ISBN10: 83-7085-476-1. — S. 68–75. — Bibliogr. s. 74–75

Wspomaganie projektowania i uruchamiania systemów regułowych — [Computer aided design and implementation of rule-based systems] / Antoni LIGĘZA, Igor WOJNICKI, Grzegorz J. NALEPA // W: KKIO 2000 : II Krajowa Konferencja Inżynierii Oprogramowania : Zakopane, 18–20 października 2000 : [materiały konferencyjne] / red. Krzysztof Zieliński. — Kraków : Katedra Informatyki Akademii Górniczo-Hutniczej, [2000]. — ISBN10: 83-914257-5-4. — S. 229–236. — Bibliogr. s. 236, Streszcz.