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, 2016]
  • TytułA general method of the hybrid controller construction for temporal planning with preferences
    AutorzyKrystian Adam Jobczyk, Antoni LIGĘZA
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — S. 29

  • keywords: Halpern-Shoham logic, preferences, temporal planning, Linear Temporal Logic, hybrid plan controller, robot motion environment, PROLOG, automata

    cyfrowy identyfikator dokumentu: 10.15439/2016F351

2
  • [referat, 2016]
  • TytułAnomalie w modelowaniu procesów biznesowych
    AutorzyAnna Suchenia (Mroczek), Antoni LIGĘZA
    ŹródłoWD 2016 : Warsztaty Doktoranckie : new technologies & their applications : innovation strategy : konferencja naukowa : Lublin, 11–13 czerwca 2016. — Lublin : Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie, cop. 2016. — S. 201–202

  • słowa kluczowe: BPMN, anomalie strukturalne, anomalie składniowe, anomalie

    keywords: BPMN, anomalies, syntactic anomalies, structural anomalies

    cyfrowy identyfikator dokumentu:

3
4
5
  • [referat, 2016]
  • TytułModeling 2D conflicts with cellular automata
    AutorzyBernadetta STACHURA-TERLECKA, Antoni LIGĘZA
    ŹródłoKU KDM 2016 : ninth ACC Cyfronet AGH HPC users' conference : Zakopane 16–18 March 2016 : proceedings / ed. Kazimierz Wiatr, Jacek Kitowski, Marian Bubak. — Kraków : ACC Cyfronet AGH, 2016. — S. 19–20

  • keywords: cellular automata, conflicts, spatial modeling, conflict modeling, layered competetive cellular automata

    Zobacz pełny wykaz publikacji Autora/Autorów: Bernadetta Stachura-Terlecka

    cyfrowy identyfikator dokumentu:

6
  • [referat, 2016]
  • TytułMulti-valued preferential Halpern-Shoham logic for relations of Allen and preferences
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    Źródło(IEEE WCCI 2016) [Dokument elektroniczny] : IEEE World Congres on Computational Intelligence 2016: (IJCNN) 2016 International Joint Conference on Neural Networks ; (FUZZ-IEEE) 2016 IEEE International Conference on Fuzzy Systems ; (IEEE CEC) 2016 IEEE Congress on Evolutionary Computation : 24–29 July 2016 Vancouver, Canada / IEEE. — Piscataway, NJ : IEEE, cop. 2016. — S. 217–224

  • keywords: preferences, temporal interval relations of Allen, multi-valued Halpern-Shoham logic

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2016.7737690

7
  • [referat, 2016]
  • TytułNew integral approach to the specification of STPU-solutions
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoArtificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — S. 317–328

  • keywords: fuzzy logic, simple temporal problem under uncertainty, integral approach, specification of solutions

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Krystian Jobczyk

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39384-1_27

8
  • [referat, 2016]
  • TytułOverview of time issues with temporal logics for business process models
    AutorzyKrzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — S. 90

  • keywords: BPMN, business processes, temporal logics, temporal issues, time patterns

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Krystian Jobczyk, Piotr Wiśniewski

    cyfrowy identyfikator dokumentu: 10.15439/2016F328

9
  • [referat, 2016]
  • TytułSelected temporal logic systems: an attempt at engineering evaluation
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoArtificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — S. 219–229

  • keywords: Linear Temporal Logic, engineering evaluation, fuzzy time tempora logic, Fuzzy Linear Temporal Logic

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Krystian Jobczyk

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_20

10
  • [referat, 2016]
  • TytułTowards a new convolution-based approach to the specification of STPU-solutions
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    Źródło(IEEE WCCI 2016) [Dokument elektroniczny] : IEEE World Congres on Computational Intelligence 2016: (IJCNN) 2016 International Joint Conference on Neural Networks ; (FUZZ-IEEE) 2016 IEEE International Conference on Fuzzy Systems ; (IEEE CEC) 2016 IEEE Congress on Evolutionary Computation : 24–29 July 2016 Vancouver, Canada / IEEE. — Piscataway, NJ : IEEE, cop. 2016. — S. 782–789

  • keywords: Simple Temporal Problem under uncertainty, lebesgue integral, convolutions, Allen's interval relations

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk

    cyfrowy identyfikator dokumentu:

11
  • [referat, 2016]
  • TytułTowards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming
    AutorzyAntoni LIGĘZA
    ŹródłoAdvanced and intelligent computations in diagnosis and control : [12th international conference on Diagnostics of Processes and Systems (DPS) : Ustka, Poland 6–9 September 2015] / ed. Zdzisław Kowalczuk. — Switzerland : Springer International Publishing, cop. 2016. — S. 355–367

  • keywords: automated diagnosis, qualitative diagnostics, model based approach

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-23180-9_26

12
  • [monografia, 2016]
  • TytułTrendy i scenariusze rozwoju wybranych technologii społeczeństwa informacyjnego : praca zbiorowa
    Autorzyzesp. aut.: Andrzej M. J. SKULIMOWSKI (red. nauk.), Inez BADECKA, Marek Czerni, Jerzy KLAMKA, Dariusz Kluz, Antoni LIGĘZA, Ewa Okoń-Horodyńska, Przemysław PUKOCZ, Paweł ROTTER, Ewa Szymlak, Ryszard TADEUSIEWICZ, Rafał Wisła
    DetailsKraków: Wydawnictwo Naukowe Fundacji Progress & Business, 2016. — 634 s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [referat, 2016]
  • TytułUsefulness of inconsistency in collaborative knowledge authoring in semantic wiki
    AutorzyWeronika T. ADRIAN, Grzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoKnowledge, information and creativity support systems: recent trends, advances and solutions : selected papers from KICSS'2013 - 8th international conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland / eds. Andrzej M. J. Skulimowski, Janusz Kacprzyk. — Switzerland : Springer International Publishing, 2016. — S. 13–25

  • keywords: knowledge engineering, inconsistency, semantic wikis

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Weronika Teresa Adrian

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-19090-7_2

14
  • [referat, 2016]
  • TytułWhy systems of temporal logic are sometimes (un)useful?
    AutorzyKrystian Jobczyk, Antoni LIGĘZA
    ŹródłoArtificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — S. 306–316

  • keywords: Halpern-Shoham logic, Linear Temporal Logic, engineering evaluation

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39384-1_26