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 3-valued logic for diagnostic applications / Antoni LIGĘZA // W: DREAMAP 2012 [Dokument elektroniczny] : Diagnostic REAsoning: Model Analysis and Performance : August, 27th, Montpellier, France / eds. Yannick Pencolé, Alexander Feldman, Alban Grastien. — Wersja do Windows. — Dane tekstowe. — [S. l. : s. n.], [2012]. — S. 1–4. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://dreamap.sciencesconf.org/conference/dreamap/eda_en.pdf [2013-02-07]. — Bibliogr. s. 4, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • A framework for knowledge management for domotic applications / Pilar Fuster-Parra, Antoni LIGĘZA // W: Cybernetics and systems 2006 : proceedings of the eighteenth European meeting on Cybernetics and systems research : Vienna, Austria, 18–21 April 2006, Vol. 2 / ed. Robert Trappl. — Vienna : Austrian Society for Cybernatic Studies, 2006. — S. 779–784. — Bibliogr. s. 784, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • A fuzzy multi-agent problem in a conceptual and operational depiction / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020 : Zakopane, Poland, October 12–14, 2020 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Cham : Springer Nature Switzeland, cop. 2020. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 12416. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-030-61533-8 ; e-ISBN: 978-3-030-61534-5. — S. 346–356. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2020-10-07

    orcid iD

  • keywords: PROLOG, nurse job scheduling problem, fuzzy multi-agent problem, Multi-Agent Problem

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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-61534-5_31

4

  • A general method of the hybrid controller construction for temporal planning with preferences / Krystian Adam Jobczyk, Antoni LIGĘZA // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — ISBN: 978-836081090-3. — S. 29. — Pełny tekst W: FedCSiS 2016 [Dokument elektroniczny] : preproceedings of the 2016 Federated Conference on Computer Science and Information Systems : September 11–14, 2016, Gdańsk, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — Warsaw : Polskie Towarzystwo Informatyczne, cop. 2016. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 8). — ISBN 978-83-60810-90-3. — S. 61–70. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: {https://fedcsis.org/proceedings/2016/pliks/fedcsis.pdf} [2016-10-04]. — Bibliogr. s. 70, Abstr.. — Afiliacja Autorów zamieszczona przy pełnym tekście. — Afiliacja K. Jobczyk: University of Caen

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

    cyfrowy identyfikator dokumentu: 10.15439/2016F351

5

  • A granular attribute logic for rule-based systems management within extended tabular trees / Antoni LIGĘZA, Pilar Fuster-Parra // W: Cybernetics and systems 2006 : proceedings of the eighteenth European meeting on Cybernetics and systems research : Vienna, Austria, 18–21 April 2006, Vol. 2 / ed. Robert Trappl. — Vienna : Austrian Society for Cybernatic Studies, 2006. — S. 761–766. — Bibliogr. s. 766, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6

  • A graphical tabular model for rule-based logic programming and verification / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Proceedings of the 15th international conference on Systems science : 7–10 September 2004, Wrocław, Poland. Vol. 3, Knowledge engineering and intelligent systems, information systems, technical applications, non-technical applications / eds. Zdzisław Bubnicki, Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2004. — ISBN10: 8370858066. — S. 23–28. — Bibliogr. s. 27–28

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • A hierarchical approach for configuring business processes / Mateusz BARAN, Krzysztof KLUZA, Grzegorz J. NALEPA, Antoni LIGĘZA // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 78. — Pełny tekst na dołączonym Dysku Flash. — S. 935–941. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 941, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-1-4673-4471-5. — S. 915–921

  • keywords: BPMN, business processes, business process hierarchization, business process configuration

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

    cyfrowy identyfikator dokumentu:

8

  • A multi-agent problem in a new depiction / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 665–676. — Bibliogr. s. 675–676, Abstr.. — K. Jobczyk – dod. afiliacja: University of Caen Normandy. — tekst: https://link-1springer-1com-1000048gm00d3.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_58.pdf

    orcid iD

  • brak zdefiniowanych słów kluczowych

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

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

9

  • A note on BPMN analysis : towards a taxonomy of selected potential anomalies / Anna Mroczek, Antoni LIGĘZA // W: FedCSIS [Dokument elektroniczny] : preprints of the Federated Conference on Computer Science and Information Systems : [Warsaw, Poland, 7 - 10 September, 2014] / PTI Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Piscataway : IEEE], [2014]. — Dysk Flash. — e-ISBN: 978-83-60810-58-3. — S. 1103–1108. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1108, Abstr.. — W bazie Web of Science: 2014 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-83-60810-58-3. — S. 1097–1102. — W bazie Web of Science brak afiliacji AGH

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.15439/2014F185

10

  • A note on granular sets and their relation to rough sets / Antoni LIGĘZA, Marcin SZPYRKA // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5 ; e-ISBN: 978-3-540-73451-2. — S. 251–260. — Bibliogr. s. 260, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

11

  • A note on machine learning approach to analyze the results of pairwise comparison based parametric evaluation of research units / Mateusz BARAN, Konrad KUŁAKOWSKI, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8468. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 27–39. — Bibliogr. s. 38–39, Abstr.. — Mateusz Baran – dod. afiliacja: Cracow University of Technology

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski, Mateusz Baran

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07176-3_3

12

  • A rule-based approach to robust granular planning / Sebastian ERNST, Antoni LIGĘZA // W: International Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Wisła : PTI], [2008]. — Dane na dysku Flash. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 3). — e-ISBN: 978-83-60810-14-9. — S. 105–111. — Wymagania systemowe: Adobe Acrobat Reader. — Bibliogr. s. 110–111, Abstr.. — Tyt. przejęto z ekranu tytułowego. — W bazie Web of Science S. 92–98

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

13

  • A visual edition tool for design and verification of knowledge in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Proceedings of the 15th international conference on Systems science : 7–10 September 2004, Wrocław, Poland. Vol. 3, Knowledge engineering and intelligent systems, information systems, technical applications, non-technical applications / eds. Zdzisław Bubnicki, Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2004. — ISBN10: 8370858066. — S. 73–78. — Bibliogr. s. 78

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

14

  • Adaptive granular planning for robust plan generation under uncertain traffic conditions / Sebastian ERNST, Antoni LIGĘZA // W: Proceedings 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. — ISBN: 978-83-7493-340-7. — S. 388–396. — Bibliogr. s. 396

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

15

  • AI approach to formal analysis of BPMN models : towards a logical model for BPMN diagrams / Antoni LIGĘZA, Krzysztof KLUZA, Grzegorz J. NALEPA, Tomasz Potempa // W: FedCSIS : 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. — Pełny tekst dostępny poprzez bazę IEEE Xplore: Proceedings of the Federated Conference on Computer Science and Information Systems. — ISBN 978-83-60810-48-4. — S. 931–934. — Autorzy: Antoni LIGĘZA, Krzysztof KLUZA, Tomasz Potempa. — Tryb dostępu: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6354394 [2013-01-03]. — Pełny tekst dostępny także na dysku Flash — S. 931–934. — Bibliogr. s. 934, Abstr. — Tekst w części: International Workshop on Advances in Business ICT. — Brak afiliacji AGH w wersji drukowanej abstraktów

  • keywords: semantics, proposal, rule based systems

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

    cyfrowy identyfikator dokumentu:

16

  • AI approach to formal analysis of BPMN models : towards a logical model for BPMN diagrams / Antoni LIGĘZA, Tomasz Potempa // W: Advances 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. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 257). — ISBN: 978-3-319-03676-2 ; e-ISBN: 978-3-319-03677-9. — S. 69–88. — Bibliogr. s. 86–88, Abstr.

  • brak zdefiniowanych słów kluczowych

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

17

  • Algebraic temporal specifications with extended TUS : crisp and fuzzy case / Antoni LIGĘZA, Maroua Bouzid // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / 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. — Opis częśc. wg okł.. — S. 367–378. — Bibliogr. s. 378, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18

  • Algebraic temporal specifications with extended TUS : hierarchical granular terms and their applications / Maroua Bouzid, A. LIGĘZA // W: ICTAI 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. — (Proceedings – International Conference on Tools with Artificial Intelligence, TAI ; ISSN 1082-3409). — ISBN10: 0-7695-2488-5. — S. 249–253. — Bibliogr. s. 253, Abstr.. — tekst: https://goo.gl/6jR7vr

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICTAI.2005.30

19

  • 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

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

    cyfrowy identyfikator dokumentu:

20

  • An approach to robust urban transport management : mixed graph-based model for decision support / Piotr WIŚNIEWSKI, Antoni LIGĘZA // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 347–356. — Bibliogr. s. 356, Abstr.

    orcid iD

  • keywords: decision support, public transport, graph theory, robust traffic management, route planing

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Wiśniewski

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

21

  • An epistemic Halpern-Shoham logic for gradable justification / Krystian Adam JOBCZYK, Antoni LIGĘZA // W: IEEE international conference on Fuzzy Systems (FUZZ-IEEE) [Dokument elektroniczny] : [8–13 July 2018, Rio de Janeiro, Brazil] : proceedings. — Wersja do Windows. — Dane tekstowe. — USA : IEEE, cop. 2018. — (IEEE International Fuzzy Systems Conference Proceedings ; ISSN 1544-5615). — e-ISBN: 978-1-5090-6020-7. — S. [1–8]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [7–8], Abstr.. — tekst: https://ieeexplore-1ieee-1org-1000047hh0121.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8491586

    orcid iD

  • keywords: traveling salesman problem, epistemic Halpern-Shoham logic, gradable justification, fibred semantics, Gödel's incompleteness theorems, Hilbert-Bernays provability conditions

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

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2018.8491586

22

  • An epistemic simplified Interval Temporal Logic of Moszkowski for fuzzified justification / Krystian Adam JOBCZYK, Antoni LIGĘZA // W: FUZZ IEEE 2019 [Dokument elektroniczny] : 2019 IEEE international conference on Fuzzy systems : New Orleans, Louisiana, USA, June 23–26, 2019. — Wersja do Windows. — Dane tekstowe. — Piscataway : IEEE, cop. 2019. — (IEEE International Fuzzy Systems Conference Proceedings ; ISSN 1544-5615). — e-ISBN: 978-1-5386-1728-1. — S. [1–8]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [8], Abstr.. — Publikacja dostępna online od: 2019-10-10. — tekst: https://ieeexplore-1ieee-1org-1000047pm001d.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8859016

    orcid iD

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2019.8859016

23

  • An experiment in causal structure discovery : a constraint programming approach / Antoni LIGĘZA // W: Foundations 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10352. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-60437-4 ; e-ISBN: 978-3-319-60438-1. — S. 261–268. — Bibliogr. s. 267–268, Abstr.. — Publikacja dostępna online od: 2017-06-14. — tekst: https://link-1springer-1com-10000483e00f0.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-60438-1_26.pdf

    orcid iD

  • keywords: constraint programming, casual structure discovery

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

24

  • An improved knowledge representation language for XTT : extended tabular graphs with variables, constraints and control / Antoni LIGĘZA // W: CMS'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. — ISBN10: 83-916420-4-6. — S. 111–116. — Bibliogr. s. 116, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25

  • An inference engine for RDBMS [Relational Database Systems] / Igor WOJNICKI, Antoni LIGĘZA // W: Soft 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. — Bibliogr. s. 125

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki

    cyfrowy identyfikator dokumentu: