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 note on a logical model of an inference process : from ARD and RBS to BPMN / Antoni LIGĘZA // W: Knowledge acquisition and management / eds. Małgorzata Nycz, Mieczysław Lech Owoc. — Wrocław : Publishing House of Wrocław University of Economics, 2011. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 232). — ISBN: 978-83-7695-200-0. — S. 41–49. — Bibliogr. s. 49, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • A note on analysis of BPMN diagramsPrzyczynek do analizy diagramów BPMN / Antoni LIGĘZA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 210–212. — Bibliogr. s. 211–212, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • A study of methodological issues in design and development of rule-based systems: proposal of a new approach / Antoni LIGĘZA, Grzegorz J. NALEPA // Data Mining and Knowledge Discovery ; ISSN 1384-5810. — 2011 vol. 1 iss. 2, s. 117–137. — Bibliogr. s. 135–137

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1002/widm.11

4
  • Algorithms for rule inference in modularized rule bases / Grzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 305–312. — Bibliogr. s. 312, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • BPMN – a logical model and property analysis / Antoni LIGĘZA // Decision Making in Manufacturing and Services ; ISSN 1896-8325. — 2011 vol. 5 no. 1–2, s. 57–67. — Bibliogr. s. 66–67, Abstr.. — 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
  • HalVA – rule analysis framework for XTT2 rules / Grzegorz J. NALEPA, Szymon BOBEK, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 337–344. — Bibliogr. s. 344, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X / eds. Grzegorz J. NALEPA, Antoni LIGĘZA. — Zielona Góra : University of Zielona Góra Press, 2011. — vol. 21 no. 1 Special section: Semantic knowledge, engineering

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Metody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych[Methods for modeling, quality assessment and verification of business rules and processes] / Krzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK // W: Wiedza 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. — (Prace Naukowe Uniwersytetu Ekonomicznego w Katowicach). — ISBN: 978-83-7246-683-9. — S. 182–207. — Bibliogr. s. 204–207

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Modeling BPMN diagrams within XTT2 framework : a critical analysisAnaliza możliwości modelowania diagramów BPMN w narzędziach XTT2 / Antoni LIGĘZA, Tomasz Maślanka, Krzysztof KLUZA, Grzegorz Jacek NALEPA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 299–306. — Bibliogr. s. 305–306, Streszcz., Summ.. — 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
  • Overview of knowledge formalization with XTT2 rules / Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KACZOR // W: Rule-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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6826. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-22545-1 ; e-ISBN: 978-3-642-22546-8. — S. 329–336. — Bibliogr. s. 336, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • Preface / Grzegorz J. NALEPA, Antoni LIGĘZA // International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X. — 2011 vol. 21 no. 1, s. 7–8. — Bibliogr. s. 7

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent 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. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • Proposal of representing BPMN diagrams with XTT2-based business rules / Krzysztof KLUZA, Tomasz Maślanka, Grzegorz J. NALEPA, Antoni LIGĘZA // W: Intelligent 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. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 243–248. — Bibliogr. s. 248, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • Prototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration / Antoni LIGĘZA, Weronika T. ADRIAN, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA, Michał Czapko, Paweł GRZESIAK, Marcin Krzych // W: Multimedia 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 + CD. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 149). — ISBN: 978-3-642-21511-7 ; e-ISBN: 978-3-642-21512-4. — S. 268–276. — Bibliogr. s. 276, Abstr.

  • keywords: knowledge management, security, GIS, INDECT, citizens

    cyfrowy identyfikator dokumentu:

17
  • Traffic danger ontology for citizen safety Web system / Jarosław Waliszko, Weronika T. ADRIAN, Antoni LIGĘZA // W: Multimedia 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 + CD. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 149). — ISBN: 978-3-642-21511-7 ; e-ISBN: 978-3-642-21512-4. — S. 165–173. — Bibliogr. s. 173, Abstr.

  • keywords: security, INDECT, citizens, threat ontology

    cyfrowy identyfikator dokumentu: