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 diagrams — Przyczynek 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

  • 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:

4

  • 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

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

    cyfrowy identyfikator dokumentu:

5

  • 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:

6

  • Modeling BPMN diagrams within XTT2 framework : a critical analysis — Analiza 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

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

    cyfrowy identyfikator dokumentu:

7
8

  • On negation, abduction, deduction and inconsistency elimination : a note on diagnosis from logical perspective / Antoni LIGĘZA // W: Diagnostics of Processes and Systems [Dokument elektroniczny] : 10th international science and technology conference : 19–21 September 2011, Zamość, Poland. — Wersja do Windows. — Dane tekstowe. — [Poland : s. n.], [2011]. — Dane na dysku Flash. — S. 33–51. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 50–51

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9

  • 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

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

    cyfrowy identyfikator dokumentu: