Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Longo, Cristiano"'
Autor:
Bella, Giampaolo, Cantone, Domenico, Longo, Cristiano, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
Publikováno v:
In D. Camacho et al. (eds.), Intelligent Distributed Computing XIV, Studies in Computational Intelligence 1026, 2021
Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital certificates secured on blockchain, called tokens. As a consequence,
Externí odkaz:
http://arxiv.org/abs/2109.02899
Autor:
Cantone, Domenico, Longo, Cristiano, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic $\mathcal{DL}\langle 4LQS^R\rangle(\D)$--adm
Externí odkaz:
http://arxiv.org/abs/1505.02075
Autor:
Cantone, Domenico, Longo, Cristiano
Publikováno v:
EPTCS 96, 2012, pp. 224-237
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field of knowled
Externí odkaz:
http://arxiv.org/abs/1210.2461
Autor:
Cantone, Domenico, Longo, Cristiano
Publikováno v:
In Theoretical Computer Science 4 December 2014 560 Part 3:307-325
Publikováno v:
Revista Psicologia em Foco; v. 12, n. 17 (2020): REVISTA PSICOLOGIA EM FOCO, V. 12, N. 17; 15-27
Psicologia em Foco (Aracaju)
Faculdade Pio Décimo (FPD)
instacron:FPD
Psicologia em Foco (Aracaju)
Faculdade Pio Décimo (FPD)
instacron:FPD
Este estudo objetivou realizar uma revisão de literatura sintética referente à elaboração do luto nos profissionais de enfermagem frente ao processo de morte e morrer dos pacientes sob seus cuidados. A coleta de dados foi realizada no segundo qu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::02da18c4258680ceea7af651fbf5caf1
https://revistas.fw.uri.br/index.php/psicologiaemfoco/article/view/3776
https://revistas.fw.uri.br/index.php/psicologiaemfoco/article/view/3776
Autor:
Cantone, Domenico1 cantone@dmi.unict.it, Longo, Cristiano1 longo@dmi.unict.it, Nicolosi-Asmundo, Marianna1 nicolosi@dmi.unict.it
Publikováno v:
Fundamenta Informaticae. 2017, Vol. 150 Issue 1, p49-71. 23p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Longo, Cristiano1 cristianolongo@libero.it, Leo, Lucia1 lucia.leo67@yahoo.it, Leone, Antonella1 antonella.leone@ispa.cnr.it
Publikováno v:
International Journal of Molecular Sciences. Apr2012, Vol. 13 Issue 4, p4233-4254. 22p. 1 Color Photograph, 2 Charts, 6 Graphs.
Autor:
Longo, Cristiano
The decision problem in set theory has been intensively investigated in the last decades, and decision procedures or proofs of undecidability have been provided for several quantified and unquantified fragments of set theory. In this thesis we study
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2357::147fb213381a072e59e077097cc8271f
https://hdl.handle.net/10761/1031
https://hdl.handle.net/10761/1031
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.