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
  • [fragment książki, 2011]
  • TytułA note on a logical model of an inference process : from ARD and RBS to BPMN
    AutorzyAntoni LIGĘZA
    ŹródłoKnowledge acquisition and management / eds. Małgorzata Nycz, Mieczysław Lech Owoc. — Wrocław : Publishing House of Wrocław University of Economics, 2011. — S. 41–49
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [artykuł w czasopiśmie, 2011]
  • TytułA note on analysis of BPMN diagrams
    AutorzyAntoni LIGĘZA
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 210–212
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2011]
  • TytułA study of methodological issues in design and development of rule-based systems: proposal of a new approach
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA
    ŹródłoData Mining and Knowledge Discovery. — 2011 vol. 1 iss. 2, s. 117–137
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1002/widm.11

4
  • [referat, 2011]
  • TytułAlgorithms for rule inference in modularized rule bases
    AutorzyGrzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR
    ŹródłoRule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 305–312
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [artykuł w czasopiśmie, 2011]
  • TytułBPMN – a logical model and property analysis
    AutorzyAntoni LIGĘZA
    ŹródłoDecision Making in Manufacturing and Services. — 2011 vol. 5 no. 1–2, s. 57–67. — tekst: http://journals.bg.agh.edu.pl/DECISION/2011-01-02/DM_2011_1_2_05.pdf
  • keywords: formal analysis, business rules, BPMN, Business Process Modeling Notation, eXtended tabular trees, XTT, XTT2, system verification, declarative model, rule based systems

    cyfrowy identyfikator dokumentu:

6
7
  • [referat, 2011]
  • TytułHalVA – rule analysis framework for XTT2 rules
    AutorzyGrzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR
    ŹródłoRule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 337–344
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • [redakcja czasopisma, serii, 2011]
  • TytułInternational Journal of Applied Mathematics and Computer Science
    Redactorseds. Grzegorz J. NALEPA, Antoni LIGĘZA
    Details2011 vol. 21 no. 1 Special section: Semantic knowledge, engineering. — Zielona Góra : University of Zielona Góra Press
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • [referat, 2011]
  • TytułMetody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych
    AutorzyKrzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK
    ŹródłoWiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — S. 182–207
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [artykuł w czasopiśmie, 2011]
  • TytułModeling BPMN diagrams within XTT2 framework : a critical analysis
    AutorzyAntoni LIGĘZA, Tomasz Maślanka, Krzysztof KLUZA, Grzegorz Jacek NALEPA
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 299–306. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto28.pdf
  • słowa kluczowe: systemy regułowe, BPMN, reguły biznesowe, notacja modelowania procesów biznesowych, diagramy XTT, XTT2, weryfikacja systemów, analiza formalna, model deklaratywny

    keywords: formal analysis, business rules, BPMN, Business Process Modeling Notation, eXtended tabular trees, XTT, XTT2, system verification, declarative model, rule based systems

    cyfrowy identyfikator dokumentu:

11
12
  • [referat, 2011]
  • TytułOverview of knowledge formalization with XTT2 rules
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KACZOR
    ŹródłoRule-based reasoning, programming, and applications : 5th international symposium, RuleML 2011 – Europe : Barcelona, Spain, July 19–21, 2011 : proceedings / eds. Nick Bassiliades, Guido Governatori, Adrian Paschke. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 329–336
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [artykuł w czasopiśmie, 2011]
  • TytułPreface
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoInternational Journal of Applied Mathematics and Computer Science. — 2011 vol. 21 no. 1, s. 7–8
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2011]
  • TytułProposal of formal verification of selected BPMN models with Alvis modeling language
    AutorzyMarcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoIntelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 249–255
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [referat, 2011]
  • TytułProposal of representing BPMN diagrams with XTT2-based business rules
    AutorzyKrzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoIntelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 243–248
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [referat, 2011]
  • TytułPrototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration
    AutorzyAntoni LIGĘZA, Weronika T. ADRIAN, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA, Michał Czapko, Paweł GRZESIAK, Marcin Krzych
    ŹródłoMultimedia communications, services and security : 4th international conference MCSS 2011 : Krakow, Poland, June 2–3, 2011 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2011. — S. 268–276
  • keywords: knowledge management, security, GIS, INDECT, citizens

    cyfrowy identyfikator dokumentu:

17
  • [referat, 2011]
  • TytułTraffic danger ontology for citizen safety Web system
    AutorzyJarosław Waliszko, Weronika T. ADRIAN, Antoni LIGĘZA
    ŹródłoMultimedia communications, services and security : 4th international conference MCSS 2011 : Krakow, Poland, June 2–3, 2011 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2011. — S. 165–173
  • keywords: security, INDECT, citizens, threat ontology

    cyfrowy identyfikator dokumentu: