Wykaz publikacji wybranego autora

Antoni Ligęza, prof. dr hab. inż.

profesor zwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-6573-4246 orcid iD

ResearcherID: E-2422-2012

Scopus: 15127004800

PBN: 5e70922c878c28a047391185

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • A graphical tabular model for rule-based logic programming and verification / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 2, s. 89–95. — Bibliogr s. 94–95

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, logic programming, Prolog, graphical tabular model, formal verification procedures, visual information modeling

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

2

  • A visual edition tool for design and verification of knowledge in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 3, s. 103–109. — Bibliogr. s. 108–109

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, knowledge representation, visual edition tool, knowledge verification, knowledge design, rule based systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

3

  • Algebraic temporal specifications with extended TUS : crisp and fuzzy case / Antoni LIGĘZA, Maroua Bouzid // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — Opis częśc. wg okł.. — S. 367–378. — Bibliogr. s. 378, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4

  • Algebraic temporal specifications with extended TUS : hierarchical granular terms and their applications / Maroua Bouzid, A. LIGĘZA // W: ICTAI 2005 : seventeenth International Conference on Tools with Artificial Intelligence : 14–16 November 2005, Hong Kong, China : proceedings / ed. Andrew Lim ; IEEE Computer Society. — [Piscataway] : IEEE, 2005. — (Proceedings – International Conference on Tools with Artificial Intelligence, TAI ; ISSN 1082-3409). — ISBN10: 0-7695-2488-5. — S. 249–253. — Bibliogr. s. 253, Abstr.. — tekst: https://goo.gl/6jR7vr

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICTAI.2005.30

5

  • Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

6

  • CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions — Metody i systemy komputerowe / eds. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — X, 558 s.. — Bibliogr. przy rozdz., Indeks autorski

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Maciej Szymkat, Ryszard Tadeusiewicz

    cyfrowy identyfikator dokumentu:

7

  • CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special sessions — Metody i systemy komputerowe / eds. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — VIII, 452 s.. — Bibliogr. przy rozdz., Indeks autorski

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Maciej Szymkat, Ryszard Tadeusiewicz

    cyfrowy identyfikator dokumentu:

8

  • Conceptual modelling and automated implementation of rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 330–340. — Bibliogr. s. 340, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

9

  • Generating low cost plans under uncertainty and temporal constraints / B. Baki, M. Bouzid, A. LIGĘZA // W: ICTAI 2005 : seventeenth International Conference on Tools with Artificial Intelligence : 14–16 November 2005, Hong Kong, China : proceedings / ed. Andrew Lim ; IEEE Computer Society. — [Piscataway] : IEEE, 2005. — (Proceedings – International Conference on Tools with Artificial Intelligence, TAI ; ISSN 1082-3409). — ISBN10: 0-7695-2488-5. — S. 531–536. — Bibliogr. s. 536, Abstr.. — Publikacja dostępna online od: 2005-12-27. — tekst: https://goo.gl/egmdsy

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10

  • Handling recursive queries within RDBMS with Jelly View technology : some experimental results with the ReDaReS system — Obsługa rekurencyjnych zapytań w SZRBD z technologią {\it Jelly View} : rezultaty badawcze z systemem ReDaReS / Igor WOJNICKI, Antoni LIGĘZA // W: Pozyskiwanie wiedzy i zarządzanie wiedzą / red. nauk. Małgorzata Nycz, Mieczysław Lech Owoc ; AE im. Oskara Langego we Wrocławiu. — Wrocław : Wydawnictwo AE im. Oskara Langego we Wrocławiu, 2005. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 1064). — S. 312–320. — Bibliogr. s. 319–320, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki

    cyfrowy identyfikator dokumentu:

11

  • Hierarchiczna diagnostyka systemów : model strukturalny i wnioskowanie diagnostyczne — Hierarchical diagnosis : structural model and diagnostic reasoning / Jakub OLEKSIAK, Antoni LIGĘZA // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 26–28. — Bibliogr. s. 28, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12–14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jakub Oleksiak

    cyfrowy identyfikator dokumentu:

12

  • Jelly View – a technology for arbitrarily advanced queries within RDBMS / Igor Wojnicki, Antoni LIGĘZA // W: Applied computing 2005 : the 20th annual ACM symposium on Applied computing : Santa Fe, New Mexico, March 13–17, 2005 : proceedings / Lorie M. Liebrock ; Association for Computing Machinery. — [USA] : ACM, Inc., 2005. — S. 629–633. — Bibliogr. s. 633, Abstr.. — I. Wojnicki - afiliacja: University of Missouri, USA

  • keywords: RDBMS, prolog, intensional knowledge, recursive queries, deductive database

    cyfrowy identyfikator dokumentu: 10.1145/1066677.1066822

13

  • Knowledge management issues in rule-based systems integrated design process — Problematyka zarządzania wiedzą w zintegrowanym procesie projektowania systemów regułowych / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Pozyskiwanie wiedzy i zarządzanie wiedzą / red. nauk. Małgorzata Nycz, Mieczysław Lech Owoc ; AE im. Oskara Langego we Wrocławiu. — Wrocław : Wydawnictwo AE im. Oskara Langego we Wrocławiu, 2005. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 1064). — S. 190–198. — Bibliogr. s. 196–197, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

14

  • Logical foundations for rule-based systems / Antoni LIGĘZA ; Akademia Górniczo-Hutnicza im. Stanisława Staszica, Komitet Automatyki i Robotyki Polskiej Akademii Nauk. — 2005. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2005. — XV, 322 s., Index. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0146) ; (Monografie / Komitet Automatyki i Robotyki Polskiej Akademii Nauk ; ISSN 1640-8969 ; t. 8). — Bibliogr. s. 309–318. — ISBN10: 83-89388-37-5

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15

  • Structural model and reasoning in hierarchical diagnosis / Jakub OLEKSIAK, Antoni LIGĘZA // Computer Assisted Mechanics and Engineering Sciences ; ISSN 1232-308X. — 2005 vol. 12 no. 2-3, s. 195–206. — Bibliogr. s. 206

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jakub Oleksiak

    cyfrowy identyfikator dokumentu:

16

  • Visual design and on-line verification of tabular rule-based systems with XTT / Antoni LIGĘZA, Grzegorz J. NALEPA // W: Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, 21.–23. September 2005, Leipzig / Hrsg. Klaus P. Jantke, Klaus-Peter Fähnrich, Wolfgang S. Wittig. — Bonn : Gesellschaft für Informatik, 2005. — (Lecture Notes in Informatics (LNI) – Proceedings : Series of the Gesellschaft für Informatik). — S. 303–312. — Bibliogr. s. 311–312, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu: