Pregled bibliografske jedinice broj: 1082207
There's No Time, The Problem of Conceptualising Time
There's No Time, The Problem of Conceptualising Time // Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS, vol.12300 / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro (ur.).
Cham: Springer, 2020. str. 61-68 doi:10.1007/978-3-030-62077-6_5 (ostalo, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 1082207 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
There's No Time, The Problem of Conceptualising
Time
Autori
Ban Kirigin, Tajana ; Perak, Benedikt
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS, vol.12300
/ Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro - Cham : Springer, 2020, 61-68
ISBN
978-3-030-62077-6
Skup
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (ScedrovFest65), 2020.
Mjesto i datum
Philadelphia (PA), Sjedinjene Američke Države, 30.07.2020
Vrsta sudjelovanja
Ostalo
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Real time ; Multiset Rewriting ; Conceptualization ; Ontological Categories
Sažetak
Among his numerous collaborations, over the last decade, Andre Scedrov has formed quite a stable research group. This would not have been possible without his leading scientific role, which has been equally measured by his generous personality, hospitality, and kindness. Among the obtained results and mathematical solutions, the group is particularly fond of real-time abstractions, called Circle- Configurations, which provide a way of handling both density as well as infinity of time in the model. Having in mind the broadness and variety of Andre Scedrov's interests, we hope to offer here yet another view on these constructions and formal timed models, enriched with the cognitive science perspective.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo, Filologija
POVEZANOST RADA
Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
NadSve-Sveučilište u Rijeci-uniri-human-18-243 - Jezično izražavanje emocija: Razvoj računalnih metoda identifikacije i ontološkog modeliranja komunikacije psiholoških stanja u hrvatskom jeziku (EmoCNet) (EmoCNet) (Perak, Benedikt, NadSve - UNIRI Sredstva potpore znanstvenim istraživanjima) ( CroRIS)
Ustanove:
Filozofski fakultet, Rijeka,
Sveučilište u Rijeci, Fakultet za matematiku
Citiraj ovu publikaciju:
Časopis indeksira:
- Scopus