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 general method of the hybrid controller construction for temporal planning with preferences
2
  • Anomalie w modelowaniu procesów biznesowych
3
4
  • Mobile context-based framework for threat monitoring in urban environment with social threat monitor
5
  • Modeling 2D conflicts with cellular automata
6
  • Multi-valued preferential Halpern-Shoham logic for relations of Allen and preferences
7
  • New integral approach to the specification of STPU-solutions
8
  • Overview of time issues with temporal logics for business process models
9
  • Selected temporal logic systems: an attempt at engineering evaluation
10
  • Towards a new convolution-based approach to the specification of STPU-solutions
11
  • Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming
12
  • Trendy i scenariusze rozwoju wybranych technologii społeczeństwa informacyjnego
13
  • Usefulness of inconsistency in collaborative knowledge authoring in semantic wiki
14
  • Why systems of temporal logic are sometimes (un)useful?