Wykaz publikacji wybranego autora

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

profesor zwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 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
  • [article, 2005]
  • TytułA graphical tabular model for rule-based logic programming and verification
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSystems Science. — 2005 vol. 31 no. 2, s. 89–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
  • [article, 2005]
  • TytułA visual edition tool for design and verification of knowledge in rule-based systems
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSystems Science. — 2005 vol. 31 no. 3, s. 103–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
  • [proceedings, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : crisp and fuzzy case
    AutorzyAntoni LIGĘZA, Maroua Bouzid
    ŹródłoCMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers / 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. — S. 367–378

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [proceedings, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : hierarchical granular terms and their applications
    AutorzyMaroua Bouzid, A. LIGĘZA
    ŹródłoICTAI 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. — S. 249–253

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICTAI.2005.30

5
  • [article, 2005]
  • TytułApplication of OBDD diagrams in verification of tabular rule systems
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoSchedae Informaticae. — 2005 vol. 14 February, s. 75–94

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [proceedings (ed.), 2005]
  • TytułCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions
    Autorzyeds. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology
    DetailsKraków : Oprogramowanie Naukowo-Techniczne, 2005. — X, 558 s.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7
  • [proceedings (ed.), 2005]
  • TytułCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special sessions
    Autorzyeds. Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology
    DetailsKraków : Oprogramowanie Naukowo-Techniczne, 2005. — VIII, 452 s.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8
  • [chapter, 2005]
  • TytułConceptual modelling and automated implementation of rule-based systems
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 330–340

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9
  • [proceedings, 2005]
  • TytułGenerating low cost plans under uncertainty and temporal constraints
    AutorzyB. Baki, M. Bouzid, A. LIGĘZA
    ŹródłoICTAI 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. — S. 531–536

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [chapter, 2005]
  • TytułHandling recursive queries within RDBMS with Jelly View technology : some experimental results with the ReDaReS system
    AutorzyIgor WOJNICKI, Antoni LIGĘZA
    ŹródłoPozyskiwanie 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. — S. 312–320

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

11
  • [journal paper, 2005]
  • TytułHierarchiczna diagnostyka systemów : model strukturalny i wnioskowanie diagnostyczne
    AutorzyJakub OLEKSIAK, Antoni LIGĘZA
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2005 [nr] 9bis wyd. spec. dod., s. 26–28

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

12
  • [proceedings, 2005]
  • TytułJelly View – a technology for arbitrarily advanced queries within RDBMS
    AutorzyIgor Wojnicki, Antoni LIGĘZA
    ŹródłoApplied 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

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

    cyfrowy identyfikator dokumentu: 10.1145/1066677.1066822

13
  • [chapter, 2005]
  • TytułKnowledge management issues in rule-based systems integrated design process
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoPozyskiwanie 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. — S. 190–198

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14
  • [monograph, 2005]
  • TytułLogical foundations for rule-based systems
    AutorzyAntoni LIGĘZA ; Akademia Górniczo-Hutnicza im. Stanisława Staszica, Komitet Automatyki i Robotyki Polskiej Akademii Nauk
    Details2005. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2005. — XV, 322 s., Index

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [proceedings, 2005]
  • TytułSecurity systems design and analysis using an integrated rule-based systems approach
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoAdvances in Web Intelligence : third international Atlantic Web Intelligence Conference AWIC 2005 : Lodz, Poland, June 6–9, 2005 : proceedings / eds. Piotr S. Szczepaniak, Janusz Kacprzyk, Adam Niewiadomski. — Berlin ; Heidelberg : Springer-Verlag, 2005. — S. 334–340

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

16
  • [article, 2005]
  • TytułStructural model and reasoning in hierarchical diagnosis
    AutorzyJakub OLEKSIAK, Antoni LIGĘZA
    ŹródłoComputer Assisted Mechanics and Engineering Sciences. — 2005 vol. 12 no. 2-3, s. 195–206

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

17
  • [proceedings, 2005]
  • TytułVisual design and on-line verification of tabular rule-based systems with XTT
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA
    ŹródłoMarktplatz 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. — S. 303–312

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: