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 note on a logical model of an inference process
2
  • A note on analysis of BPMN diagrams
3
  • A study of methodological issues in design and development of rule-based systems: proposal of a new approach
4
  • Algorithms for rule inference in modularized rule bases
5
6
7
  • HalVA – rule analysis framework for XTT2 rules
8
  • International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X
9
  • Metody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych
10
  • Modeling BPMN diagrams within XTT2 framework
11
  • Models and tools for improving efficiency in constraint logic programming
12
  • Overview of knowledge formalization with XTT2 rules
13
  • Preface
14
  • Proposal of formal verification of selected BPMN models with Alvis modeling language
15
  • Proposal of representing BPMN diagrams with XTT2-based business rules
16
  • Prototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration
17
  • Traffic danger ontology for citizen safety Web system