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
  • [referat, 2018]
  • TytułA multi-agent problem in a new depiction
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 665–676
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_58

2
  • [artykuł w czasopiśmie, 2018]
  • TytułAn approach to participatory business process modeling: BPMN model generation using constraint programming and graph composition
    AutorzyPiotr WIŚNIEWSKI, Krzysztof KLUZA, Antoni LIGĘZA
    ŹródłoApplied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 8 iss. 9 art. no. 1428, s. 1–26. — tekst: http://www.mdpi.com/2076-3417/8/9/1428/pdf
  • keywords: BPMN, constraint programming, business process management, process modeling, process graph, process planning

    cyfrowy identyfikator dokumentu: 10.3390/app8091428

3
  • [referat, 2018]
  • TytułAn epistemic Halpern-Shoham logic for gradable justification
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    ŹródłoIEEE international conference on Fuzzy Systems (FUZZ-IEEE) [Dokument elektroniczny] : [8–13 July 2018, Rio de Janeiro, Brazil] : proceedings. — USA : IEEE, cop. 2018. — S. [1–8]
  • keywords: traveling salesman problem, epistemic Halpern-Shoham logic, gradable justification, fibred semantics, Gödel's incompleteness theorems, Hilbert-Bernays provability conditions

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2018.8491586

4
  • [referat, 2018]
  • TytułConstraint programming for constructive abduction : a case study in diagnostic model-based reasoning
    AutorzyAntoni LIGĘZA
    ŹródłoAdvanced solutions in diagnostics and fault tolerant control / eds. Jan M. Kościelny, Michał Syfert, Anna Sztyber. — Cham : Springer, cop. 2018. — S. 94–105
  • keywords: constraint programming, automated diagnosis, abduction, consistency-based reasoning, model based reasoning, constructive abduction, parametric fault identification, structural fault identification

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-64474-5_8

5
  • [referat, 2018]
  • TytułConstraint-based composition of business process models
    AutorzyPiotr WIŚNIEWSKI, Krzysztof KLUZA, Mateusz ŚLAŻYŃSKI, Antoni LIGĘZA
    ŹródłoBusiness Process Management workshops : BPM 2017 international workshops : Barcelona, Spain, September 10-11, 2017 : revised papers / eds. Ernest Teniente, Matthias Weidlich. — Cham : Springer International Publishing, cop. 2018. — S. 133–141
  • keywords: BPMN, business processes, constraint programming, automated planning, process mining, business process composition

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-74030-0_9

6
  • [referat, 2018]
  • TytułConstraint-based identification of complex gateway structures in business process models
    AutorzyPiotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 788–798
  • keywords: decision support, graph theory, business process management, structure identification

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_69

7
  • [referat, 2018]
  • TytułEpidemic modeling with cellular automata : [abstract]
    AutorzyBernadetta STACHURA-TERLECKA, Antoni LIGĘZA
    ŹródłoEleventh ACC Cyfronet AGH HPC Users' conference : Zakopane, 7–9 March 2018 : proceedings / eds. Kazimierz Wiatr, Jacek Kitowski, Marian Bubak. — Kraków : Academic Computer Centre Cyfronet AGH, 2018. — S. 39–40
  • keywords: LCCA, flu epidemy, spatial dynamics, epidemic modeling

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2018]
  • TytułGeneration of synthetic business process traces using constraint programming
    AutorzyPiotr WIŚNIEWSKI, Krzysztof KLUZA, Antoni LIGĘZA, Anna Suchenia
    ŹródłoFedCSIS 2018 [Dokument elektroniczny] : proceedings of the 2018 Federated Conference on Computer Science and Information Systems : September 9–12, 2018, Poznań, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Warsaw : Polskie Towarzystwo Informatyczne ; New York : Institute of Electrical and Electronics Engineers, cop. 2018. — S. 445–453
  • keywords: constraint programming, business process management, workflow logs, process verification

    cyfrowy identyfikator dokumentu: 10.15439/2018F131

9
  • [referat, 2018]
  • TytułKnowledge representation in model driven approach in terms of the Zachman Framework
    AutorzyKrzysztof KLUZA, Piotr WIŚNIEWSKI, Antoni LIGĘZA, Anna Suchenia, Joanna Wyrobek
    ŹródłoArtificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 689–699
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_60

10
  • [artykuł w czasopiśmie, 2018]
  • TytułModelowanie procesów biznesowych za pomocą reguł biznesowych
    AutorzyAnna Suchenia, Krzysztof KLUZA, Piotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoMarketing i Rynek. — 2018 nr 12 dod.: CD, s. 353–368. — tekst: https://www.pwe.com.pl/files/548737418/file/MiR_12_na_p%C5%82yt%C4%99CD1.pdf
  • słowa kluczowe: zarządzanie procesami biznesowymi, reguły biznesowe, procesy biznesowe, integracja procesów z regułami, modelowanie decyzyjne

    keywords: business rules, business processes, business process management, decision modeling, integrating processes with rules

    cyfrowy identyfikator dokumentu:

11
12
  • [referat, 2018]
  • TytułTemporal traveling salesman problem – in a logic- and graph theory-based depiction
    AutorzyKrystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 544–556
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_48

13
  • [referat, 2018]
  • TytułThe hybrid plan controller construction for trajectories in Sobolev space
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — s. 532–543
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_47

14
  • [artykuł w czasopiśmie, 2018]
  • TytułZastosowanie automatów komórkowych w modelowaniu konfliktów przestrzennych na przykładzie modelowania epidemii
    AutorzyBernadetta STACHURA-TERLECKA, Antoni LIGĘZA
    ŹródłoZeszyty Naukowe Politechniki Śląskiej. Organizacja i Zarządzanie. — 2018 z. 130, s. 551–558. — tekst: https://www.polsl.pl/Wydzialy/ROZ/ZN/Documents/Zeszyt%20130/046.pdf
  • słowa kluczowe: automaty komórkowe, modelowanie epidemii, modelowanie konfliktów przestrzennych, layered competitive cellular automata

    keywords: cellular automata, modelling spatial conflicts, epidemic modelling, layered competitive cellular automata

    cyfrowy identyfikator dokumentu: 10.29119/1641-3466.2018.130.47