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 graphical tabular model for rule-based logic programming and verification
2
  • A visual edition tool for design and verification of knowledge in rule-based systems
3
  • Algebraic temporal specifications with extended TUS
4
  • Algebraic temporal specifications with extended TUS
5
  • Application of OBDD diagrams in verification of tabular rule systems
6
  • Conceptual modelling and automated implementation of rule-based systems
7
  • Generating low cost plans under uncertainty and temporal constraints
8
  • Handling recursive queries within RDBMS with Jelly View technology
9
  • Jelly View – a technology for arbitrarily advanced queries within RDBMS
10
  • Knowledge management issues in rule-based systems integrated design process
11
  • Logical foundations for rule-based systems
12
  • Security systems design and analysis using an integrated rule-based systems approach
13
  • Structural model and reasoning in hierarchical diagnosis
14
  • Visual design and on-line verification of tabular rule-based systems with XTT