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, 2011]
  • TytułOn negation, abduction, deduction and inconsistency elimination : a note on diagnosis from logical perspective
    AutorzyAntoni LIGĘZA
    ŹródłoDiagnostics of Processes and Systems [Dokument elektroniczny] : 10th international science and technology conference : 19–21 September 2011, Zamość, Poland. — [Poland : s. n.], [2011]. — S. 33–51

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2011]
  • TytułProposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods
    AutorzyKrzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA
    Źródło7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — S. 15–24

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: