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

[dyscyplina wiodąca] 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

ResearcherID: E-2422-2012

Scopus: 15127004800

PBN: 909738

OPI Nauka Polska

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 242, z ogólnej liczby 242 publikacji Autora


1
  • [artykuł w czasopiśmie, 1999]
  • TytułAbductive diagnostic inference : theory and implementation
    AutorzyAntoni LIGĘZA, Pilar Fuster Parra
    ŹródłoAutomatyka. — 1999 t. 3 z. 1, s. 201–207
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2007]
  • TytułAdaptive granular planning for robust plan generation under uncertain traffic conditions
    AutorzySebastian ERNST, Antoni LIGĘZA
    ŹródłoProceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — S. 388–396
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2008]
  • TytułAdaptive granular planning for robust plan generation under uncertain traffic conditions
    AutorzySebastian ERNST, Antoni LIGĘZA
    ŹródłoSystems Science. — 2008 vol. 34 no. 1, s. 77–83
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2012]
  • TytułAI approach to formal analysis of BPMN models : towards a logical model for BPMN diagrams
    AutorzyAntoni LIGĘZA, Krzysztof KLUZA, Grzegorz J. NALEPA, Tomasz Potempa
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 9–12, 2012, Wrocław, Poland : book of abstracts. — [Poland : s. n.], [2012]. — S. 72
  • keywords: rule-based systems, semantics, proposal

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2014]
  • TytułAI approach to formal analysis of BPMN models : towards a logical model for BPMN diagrams
    AutorzyAntoni LIGĘZA, Tomasz Potempa
    ŹródłoAdvances in Business ICT : [ABICT : 3rd International Workshop on Advances in Business ICT : Wrocław, Poland, September 9–12, 2012] / eds. Maria Mach-Król, Tomasz Pełech-Pilichowski. — Switzerland : Springer International Publishing, cop. 2014. — S. 69–88
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-03677-9_5

6
  • [referat, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : crisp and fuzzy case
    AutorzyAntoni LIGĘZA, Maroua Bouzid
    ŹródłoCMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 367–378
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [referat, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : hierarchical granular terms and their applications
    AutorzyMaroua Bouzid, A. LIGĘZA
    ŹródłoICTAI 2005 : seventeenth International Conference on Tools with Artificial Intelligence : 14–16 November 2005, Hong Kong, China : proceedings / ed. Andrew Lim ; IEEE Computer Society. — [Piscataway] : IEEE, 2005. — S. 249–253
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICTAI.2005.30

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

9
  • [referat, 1999]
  • TytułAnaliza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
    AutorzyAntoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [fragment monografii pokonferencyjnej, 2006]
  • TytułAnaliza możliwości zastosowania metod inżynierii wiedzy do budowy inteligentnego systemu planowania trasy w ruchu miejskim
    AutorzySebastian ERNST, Antoni LIGĘZA
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Adam Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2006. — S. 25–34
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [referat, 1999]
  • TytułAnaliza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych
    AutorzyAntoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 255–260
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • [fragment książki, 2013]
  • TytułAnaliza rezultatów badań delfickich w zakresie wybranych zagadnień systemów neurokognitywnych i wizyjnych, e-zdrowia i kreatywności
    AutorzyMarek Czerni, Dariusz Kluz, Antoni LIGĘZA, Paweł ROTTER, Andrzej M. J. SKULIMOWSKI, Ryszard TADEUSIEWICZ
    ŹródłoScenariusze i trendy rozwojowe wybranych technologii społeczeństwa informacyjnego [Dokument elektroniczny] : raport końcowy : praca zbiorowa : [monografia] / pod red. nauk. Andrzeja M. J. Skulimowskiego. — Kraków : Wydawnictwo Naukowe Fundacji Progress & Business, 2013. — S. 377–524
  • słowa kluczowe: analiza statystyczna, badanie delfickie online, foresight zaawansowanych technologii informatycznych, ankieta wielorundowa

    keywords: scenariusze technologiczne

    cyfrowy identyfikator dokumentu:

13
  • [referat, 2000]
  • TytułAnaliza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Igor WOJNICKI
    ŹródłoSystemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — S. 53–64
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2001]
  • TytułAnalysis and synthesis of attributive decision tables : selected issues
    AutorzyAntoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — S. 27–32
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
16
  • [artykuł w czasopiśmie, 2009]
  • TytułAND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems
    AutorzyAntoni LIGĘZA
    ŹródłoAutomatyka. — 2009 t. 13 z. 2, s. 411–419. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-02/Auto28.pdf
  • słowa kluczowe: diagnostyka, systemy regułowe, problemy z ograniczeniami, grafy AND-OR

    keywords: rules, constraint satisfaction problems, AND-OR graphs

    cyfrowy identyfikator dokumentu:

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

18
19
  • [referat, 2017]
  • TytułAn approach to robust urban transport management : mixed graph-based model for decision support
    AutorzyPiotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — S. 347–356
  • keywords: decision support, public transport, graph theory, robust traffic management, route planing

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_31

20
  • [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

21
  • [referat, 2017]
  • TytułAn experiment in causal structure discovery : a constraint programming approach
    AutorzyAntoni LIGĘZA
    ŹródłoFoundations of Intelligent system : 23rd international symposium, ISMIS 2017 : Warsaw, Poland, June 26–29, 2017 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Switzerland : Springer International Publishing AG, cop. 2017. — S. 261–268
  • keywords: constraint programming, casual structure discovery

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

22
  • [referat, 2007]
  • TytułAn improved knowledge representation language for XTT : extended tabular graphs with variables, constraints and control
    AutorzyAntoni LIGĘZA
    ŹródłoCMS'07 : Computer Methods and Systems = Metody i systemy komputerowe : VI konferencja : 21–23 November 2007, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology, Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2007. — S. 111–116
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • [referat, 2002]
  • TytułAn inference engine for RDBMS [Relational Database Systems]
    AutorzyIgor WOJNICKI, Antoni LIGĘZA
    ŹródłoSoft Computing and Distributed Processing : sixth international conference, SCDP 2002 : Rzeszów, Poland, June 24–25, 2002 : proceedings / ed. Zbigniew Suraj ; University of Information Technology and Management in Rzeszów. — Rzeszów : Wydawnictwo WSzIiZ, 2002. — S. 123–125
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • [referat, 2010]
  • TytułAn intelligent interface using a fuzzy model in prvention of forest fire
    AutorzyAntoni LIGĘZA
    ŹródłoESM'2010 : Modelling and simulation 2010 : the European Simulation and Modelling conference : Hasselt, Belgium October 25–27, 2010. — Ostend : EROSIS-ETI Publication, 2010. — S. 434–438
  • keywords: wireless sensor networks, qualitative knowledge, fuzzy coefficients, linguistic variables

    cyfrowy identyfikator dokumentu:

25
  • [artykuł w czasopiśmie, 2005]
  • TytułApplication of OBDD diagrams in verification of tabular rule systems
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoSchedae Informaticae. — 2005 vol. 14 February, s. 75–94
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: