A conceptual model for Web Knowledge Acquisition system with GIS component — Model konceputualny sieciowego systemu akwizycji wiedzy z komponentem GIS / Antoni LIGĘZA, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 2, s. 421–428. — Bibliogr. s. 428, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-02/Auto29.pdf

A constraint satisfaction framework for diagnostic problems / Antoni LIGĘZA // W: Diagnosis of processes and systems / ed. Zdzisław Kowalczuk. — Gdańsk : Pomeranian Science and Technology Publishers PWNT, 2009. — (Control and Computer Science : information technology, control theory, fault and system diagnosis ; vol. 7). — Opis częśc. wg okł.. — ISBN: 978-83-926806-3-5. — S. 255–262. — Bibliogr. s. 262, Abstr.

AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems — Graf AND-OR z regułami propagacji wiedzy jako model dla problemów z ograniczeniami / Antoni LIGĘZA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 2, s. 411–419. — Bibliogr. s. 419, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-02/Auto28.pdf

CMS'09 : Computer Methods and Systems : 7th conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Wojciech MITKOWSKI, Maciej SZYMKAT ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — X, 484 s.. — Bibliogr. przy ref., Indeks. — ISBN10: 83-916420-5-4

DERIS2009 : international workshop on Design, Evaluation and Refinement of Intelligent Systems : November 28, 2009, Kraków, Poland / eds. Antoni LIGĘZA, Grzegorz J. NALEPA ; AGH University of Science and Technology Kraków. — Kraków : AGH UST, 2009. — [6], 75, [1] s.. — Bibliogr. przy ref., Indeks

Development of knowledge-based systems methods and tools — Rozwój metod i narzędzi projektowania systemów z bazą wiedzy / Antoni LIGĘZA, Grzegorz J. NALEPA // W: Kierunki działalności i współpraca naukowa Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki : materiały konferencji zorganizowanej z okazji Jubileuszu 90-lecia AGH : Kraków, 28–29 maja 2009 / komitet red. Wojciech Mitkowski, Adam Piłat. — Kraków : AGH WEAIiE, cop. 2009 + CD. — ISBN: 978-83-88309-87. — S. 37–38. — Bibliogr. s. 38, Streszcz., Abstr.

HeKatE rule runtime and design framework / Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KACZOR, Weronika T. FURMAŃSKA // W: 3\textsuperscript{rd} East European Workshop on Rule-based applications : Cottbus, Germany, September 21, 2009 / eds. Adrian Giurca, Grzegorz J. Nalepa, Gerd Wagner. — [Germany : s. n.], [2009]. — S. 21–30. — Bibliogr. s. 30, Abstr.

Knowledge compilation for robust granular planning applications / Sebastian ERNST, Antoni LIGĘZA // W: IFIP 2009 : Software Engineering Techniques in Progress : [the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009] / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN: 978-83-7464-259-0. — S. 156–167. — Bibliogr. s. 167, Abstr.

Knowledge representation for intelligent and error-prone execution of robust granular plans. A conceptual study / Sebastian ERNST, Antoni LIGĘZA // W: FLAIRS-22 [Dokument elektroniczny] : proceedings of the twenty-second international FLARIS conference : 19–21 May 2009 Florida, USA / eds. H. Chad Lane, Hans W. Guesgen. — Wersja do Windows. — Dane tekstowe. — Menlo Park, California : AAAI Press, cop. 2009. — 1 dysk optyczny. — S. 215–216. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 216, Abstr. Bibliogr. s. 216, Abstr.

Kompilacja wiedzy dla wspomagania inteligentnego wykonania odpornych planów granularnych — [Knowledge compilation for intelligent execution support of robust granular plans] / Sebastian ERNST, Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe / red. Adam Grzech, [et al.]. — Warszawa : Akademicka Oficyna Wydawnicza EXIT, 2009. — (Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc). — ISBN: 978-83-60434-55-0. — S. 125–133. — Bibliogr. s. 132–133, Streszcz.

On ALSV rules formulation and inference / Grzegorz J. NALEPA, Antoni LIGĘZA // W: FLAIRS-22 [Dokument elektroniczny] : proceedings of the twenty-second international FLARIS conference : 19–21 May 2009 Florida, USA / eds. H. Chad Lane, Hans W. Guesgen. — Wersja do Windows. — Dane tekstowe. — Menlo Park, California : AAAI Press, cop. 2009. — 1 dysk optyczny. — S. 396–401. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 401, Abstr.

Preface / Antoni LIGĘZA, Grzegorz J. NALEPA // W: DERIS2009 : international workshop on Design, Evaluation and Refinement of Intelligent Systems : November 28, 2009, Kraków, Poland / eds. Antoni Ligęza, Grzegorz J. Nalepa ; AGH University of Science and Technology Kraków. — Kraków : AGH UST, 2009. — S. [1–2]

Proposal of a graph-oriented approach to verification of XTT2 rule bases / Agata Ligęza, Grzegorz J. NALEPA, Antoni LIGĘZA // W: DERIS2009 : international workshop on Design, Evaluation and Refinement of Intelligent Systems : November 28, 2009, Kraków, Poland / eds. Antoni Ligęza, Grzegorz J. Nalepa ; AGH University of Science and Technology Kraków. — Kraków : AGH UST, 2009. — S. 52–63. — Bibliogr. s. 62–63, Abstr.

Rules verification and validation / Antoni LIGĘZA, Grzegorz J. NALEPA // W: Handbook of research on emerging rule-based languages and technologies: open solutions and approaches, Vol. 1 / eds. Adrian Giurca, Dragan Gašević, Kuldar Taveter. — Hershey – New York : IGI Global, cop. 2009. — ISBN: 978-1-60566-402-6. — S. 273–301. — Bibliogr. s. 299–300, Abstr.