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
2
  • A centralized planning technique with temporal constraints and uncertainty for multi-agent systems
3
  • A framework for knowledge management for domotic applications
4
  • A granular attribute logic for rule-based systems management within extended tabular trees
5
  • A graphical tabular model for rule-based logic programming and verification
6
  • A graphical tabular model for rule-based logic programming and verification
7
  • A new approach to multiple fault diagnosis
8
  • A visual edition tool for design and verification of knowledge in rule-based systems
9
  • A visual edition tool for design and verification of knowledge in rule-based systems
10
  • Abductive diagnostic inference
11
  • Adaptive granular planning for robust plan generation under uncertain traffic conditions
12
  • Algebraic temporal specifications with extended TUS
13
  • Algebraic temporal specifications with extended TUS
14
  • An improved knowledge representation language for XTT
15
  • An inference engine for RDBMS [Relational Database Systems]
16
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
17
  • Analiza możliwości zastosowania metod inżynierii wiedzy do budowy inteligentnego systemu planowania trasy w ruchu miejskim
18
  • Analiza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych
19
  • Analiza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops
20
  • Analysis and synthesis of attributive decision tables
21
  • Analysis, verification and design of tabular systems
22
  • Anomalie w modelowaniu procesów biznesowych
23
  • Application of OBDD diagrams in verification of tabular rule systems
24
  • Artificial intelligence for knowledge management with BPMN and rules
25
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego