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
  • Algebraic temporal specifications with extended TUS
2
  • Conceptual modelling and automated implementation of rule-based systems
3
  • Generating low cost plans under uncertainty and temporal constraints
4
  • Jelly View – a technology for arbitrarily advanced queries within RDBMS
5
  • Security systems design and analysis using an integrated rule-based systems approach
6
  • Visual design and on-line verification of tabular rule-based systems with XTT