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
  • Analiza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops
2
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
3
  • Elements of algebraic data analysis for verification of qualitative properties
4
  • Enhancing causality in an AND/OR/NOT causal graph for abductive diagnostic inference
5
  • Koncepcja inteligentnego serwera WWW jako interfejsu do bazy wiedzy i narzędzia komunikacji w zespole projektowym
6
  • Logical analysis of databases and rule-based systems
7
  • Model–based diagnosis of dynamic systems: towards systematic conflict generation in causal graphs
8
  • Systematic conflict generation in model-based diagnosis
9
10
  • Validation and verification of knowledge-based systems: report on EUROVAV99
11
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
12
  • Wnioskowanie diagnostyczne z wykorzystaniem modelu systemu
13
  • Wnioskowanie w oparciu o analogię w bazach danych i bazach wiedzy – wybrane problemy formalnej reprezentacji przypadków
14
  • Wspomaganie projektowania i uruchamiania systemów regułowych